Fonksiyonel Programlamada Tiplerin Rolü

İstanbul Bilgi Üniversitesi Bilgisayar Bilimleri Bölümü öğretim görevlilerinden Lazslo Nemeth'in "Fonksiyonel Programlamada Tiplerin Rolü" konulu semineri 9 Mart 2004 yani bugün 18:00 -19:00 saatleri arasında Dolapdere´de Z-39 numaralı derslikte gerçekleştirilecek.

Özet: "Tipler programlamanın her noktasında vardır ancak tarihi olarak (hem akademik ortamlarda hem de endüstride) bunların kullanımı ve bunlardan faydalanmak pek vurgulanmamıştır. Bu durum değişebilir.

Küçük ve anlaşılır örneklerle tiplerin bize spesifikasyon, programlama, derleme ve çalıştırma esnasında nasıl yardımcı olabileceğini göstereceğim.

Sunum aşırı teknik olmayacak, temel programlama bilgisi olan kişilerin anlayacağı düzeyde yapılacaktır."

Görüşler

mascix
20 yıl önce

herkezin konumu ve vakti bu seminere uymayabilir mümkünse birisi alınan notları bir yerlere braksada ordan okusak.
teşekkürler.

coskung
20 yıl önce

Seminerden sonra L. Nemeth Hoca'dan sunumunu isteyip web'e koymaya calisacagim. (en gec yarin diyeyim, boylece kendimi daha sorumlu hissedecegim)

coskun...

vampir
20 yıl önce

coskun hocam harika olur (:
ben de malesef kaciranlardanim semineri.. :

bm
20 yıl önce

Boyle seminerlerin olmasi guzel. Bir dahaki sefere abstract .doc formatinda olmasa, ve konusmacinin ozgecmisi de oraya yazilsa cok daha iyi olur. (google bir suru Lazslo Nemeth buluyor, universite sistesi de ozgecmis vermiyor)

coskung
20 yıl önce

bu aksamki sunumun dokumanlarini webde yayinlayacagimi soylemistim ancak L. Nemeth Hoca sunumunu bilgisayarda değil, asetatlar ve tepegozle yapti. bu durumda bana kisaca sunumu ozetlemek kaldi.

bildiginiz gibi seminer, programlama dilleri ve degisken tipleri konusundaydi. type checking (turkce ifade edince garip oluyor kusuruma bakmayin) derleme sirasinda mi yoksa runtime sirasinda mi yapilmali konusuna deginildi. runtime sirasinda yapilan type checking islemini programlar icin bir overhead olduğu ve bu islemin derleme esnasinda yapilmasinin performans acisindan daha iyi oldugu anlatildi. bazi programlama dillerinden ornekler verildi (C, java, python).

ayrica Lisp, Caml gibi farkli yapidaki dillerin derleyicilerinin type checking konusunda nasil davrandigi anlatildi.

seminerin, machine level programming ve derleyici tasarimi dersleri almis ogrenciler icin cok daha faydali oldugu kanaatindeyim.

daha detayli bilgi vermeye yine gayret edecegim. simdilik bu kadar yazabildim kusuruma bakmayin.

coskun...

mascix
20 yıl önce

bence gayet güzel belki şu compiler design konusunda detay verirsen iyi olabilir. ben o dersi almadımde :)

coskung
20 yıl önce

Bilgi üniversitesi, ilgil ders sayfasi icin:

http://cs.bilgi.edu.tr/pages/courses/year_4/comp_412/

compiler design derslerinde, once duzenli ifadeler ve bir girdinin bu duzenli ifadelere uygun olup olmadigi konusu islenir.

linux sistemlerde zaten var olan lex adli lexical analyser, ona verdiginiz kurallar dizisine gore, girdi olarak aldigi dosyayi o dil icin gecerli olan ifadelere parcalar. bu isleme token'lara ayirma diyoruz.
ornegin: (34+5)**25

ifadesinin token'lari
(
34
+
5
)
**
25

bu kurallar dizisini daha detayli verirsen bir programlama dili ortaya cikarmis olursun. lex'in ozelligi, icine yazilan kurallar dizisine bagli olarak lex.yy.c adinda bir C programi olusturmasi. evet, otomatik olarak bir C programi olusturulmasindan bahsediyorum.

http://www.informatik.tu-chemnitz.de/Grundl-Inf/Scriptum/giteil1/node103.html

adresinde C dilinin kurallar dizisine ulasabilirsin.

umarim bir fikir verebildim.

coskun...

Görüş belirtmek için giriş yapın...

İlgili Yazılar

LKD seminerleri Polis Akademisi / İzmir

loker
2 Mayıs 2005, 1 dakika okuma süresi

LKD bu hafta İzmir'de ve Ankara Polis Akademisi'nde seminerler veriyor...
Ankara Polis Akademisi'ndeki Doruk Fişek ve Tolga Korkunçkaya 4 - 5 Mayıs tarihlerinde 16.30-20.30 arası geleceğin Emniyet yöneticilerine seminer verirken;

Ege Üniversitesi Kültür ve Sanat Evi'nde 5 Mayıs Perşembe günü 18:00'da Onur Küçük Linux Masaüstü Sistemleri'ni anlatacak.

Ayrıntılı Bilgi : LKD Seminer-CG

Balıkesir´de Linux Seminerleri

dfisek
15 Ocak 2003, 1 dakika okuma süresi

Linux Kullanıcıları Derneği, Balıkesir Üniversitesi'nin ev sahipliğinde Mart ayında iki gün boyunca linux seminerleri düzenleyecek. Masaüstünde linux kullanımından oyunlara, veritabanı uygulamalarından sunuculara birçok konunun ele alınacağı seminerler 18-19 Mart tarihlerinde yapılacak. -Ayrıntılı Bilgi-

INET-TR'de GNU/Linux Seminerleri

dfisek
8 Aralık 2005, 1 dakika okuma süresi

10. Türkiye'de Internet Konferansı İstanbul'da Cuma günü başlıyor. Linux Kullanıcıları Derneği, konferansta D salonunda üç gün boyunca GNU/Linux ve özgür yazılımları anlatan birçok oturum düzenliyor. [ Ayrıntılı Bilgi ]

Türkiye'de Dijital Oyun Sektörü ve Oyun Geliştiricileri Paneli

mdeniza
6 Mart 2008, 1 dakika okuma süresi

TÜBİTAK-SOBAG 107K039 nolu ve TÜBİTAK 2007/1 tarafından desteklenen DİJİTAL OYUN KÜLTÜRÜ ve TÜRKİYEDE GENÇLİĞİN INTERNET CAFE KULLANIM PRATİKLERİ proje kapsamında 14 Mart 2008 tarihinde Türkiyede Dijital Oyun Sektörü ve Oyun Geliştiricileri konulu bir tam günlük toplantı gerçekleşecektir.

Bu tam günlük toplantı kapsamında 10:00-12:30 arasında Türkiyedeki oyun geliştiricilerin bir araya geldiği ve endüstrinin durumunun tartışıldığı kapalı çalışma grubu ile 14:00-17:30 arasında ise kamuya açık ücretsiz iki oturumdan oluşan toplantılar gerçekleştirilecektir.

Etkinlik mekanı: Tarih ve Toplum Bilimleri Enstitüsü İstiklâl Cd. Olivyo Geçidi Sk. Rejans Binası Kat: 1 Beyoğlu / İSTANBUL

Linux Semineri : Kurumsal PKI Uygulamaları

anonim
8 Ekim 2001, 1 dakika okuma süresi

Linux Kullanıcıları Derneği, 10 Ekim Çarşamba günü saat 18.30'da Ankara Üniversitesi'nde bir linux semineri düzenliyor. Açık anahtarlı şifreleme kullanımının yaygınlaşması ile, mektup alışverişinin yanında bir çok alanda açık/özel anahtar ile çalışılabileceği ortaya çıktı. Kurumsal uygulamalarından bahsedilecek ve neden uygulanması gerektiğinin üzerinde durulacaktır. Kurumsal uygulamalara örnek olarak, fiziksel giriş çıkış kontrolü, sunuculara erişim ve kimlik tespiti verilebilir.