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
21 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
21 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
21 yıl önce

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

bm
21 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
21 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
21 yıl önce

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

coskung
21 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

Linux Semineri : Linux Çekirdeği

anonim
11 Mart 2002, 1 dakika okuma süresi

13 Mart Çarşamba günü Linux Kullanıcıları Derneği, GNU/Linux işletim sisteminin kalbini oluşturan linux çekirdeğinin (kernel) yapısını anlatan bir seminer düzenliyor. Ankara Üniversitesi Kırmızı Salon'daki seminer saat 18.30'da başlıyor. seminer.linux.org.tr

1. Linux ve Özgür Yazılım Şenliğinden yorumlar

tongucyumruk
20 Mayıs 2002, 6 dakika okuma süresi

Aslında bu haberi 4 bölümlük bir dizi halinde her günün akşamında girmeye niyetliydim ama organizasyon ekibinde falan olmamama rağmen o kadar yoruldumki ancak şimdi yazabiliyorum.

İlk olarak söylemek istediğim şey şu: "Hayatımda hiçbir zaman klonlanmayı bu kadar çok istememiştim." Seminerler 4 salonda paralel olarak yapıldı ve sabahtan akşama kadar orada olmama rağmen 3/4'ünü kaçırdım. Haliyle anlatacaklarım yalnızca girebildiğim veya hakkında birşeyler duyabildiğim seminerlere kısıtlı kalacak. Şimdi teker teker günlere göre incelemeye geçelim:

26LINUX222

penguencg
2 Kasım 2007, 1 dakika okuma süresi

26LINUX222 etkinliği, 3-4 Kasım 2007 tarihleri arasında, Eskişehir Büyükşehir Sanat Merkezi TurgutÖzakman Sahnesi'nde gerçekleştirilecek.

Tüm Linux'a ve özgür yazılım camiasında gönül verenleri, yeni başlayan kullanıcıları, başlamak isteyen yeni meraklıları bekliyoruz.

Geri Sayım Başladı, Özgür Yazılım ve Açık Kaynak Günleri 2005

butch
22 Şubat 2005, 1 dakika okuma süresi

İstanbul Bilgi Üniversitesi tarafından gerçekleştirilecek büyük buluşmaya sayılı günler kaldı. Etkinlik programı yavaş yavaş oluşmaya başladı. Miguel de Icaza'nın Mono ve Gnome projelerinden bahsedeceği etkinlikte, FSF Avrupa Başkanı Georg Greve "Özgür Yazılım ve GNU projesinin Ticari, Pratik ve Sosyolojik yönleri" ni anlatırken, Louis Suarez-Potts "Özgür Yazılım, Özgür Topluluklar? Başarıyla İşleyen Topluluklar Geliştirmek" konulu bir sunum yapacak.

Tabi sadece yabancı konuklar yok etkinlikte. Son günlerde adından sıkça bahsedilen Uludağ ekibi de etkinlikte olacak.

Muhakeme Yürütme ve Karar Vermede Buluşsal Yöntemler

FZ
4 Nisan 2006, 1 dakika okuma süresi

Seminer özeti: Klasik rasyonalizm öğretilerini temel alan araştırmalar, insanların zihinsel süreçlerini (muhakeme yürütme ve karar verme) çeşitli matematiksel ve istatistiki modellere dayanarak açıklamaya çalışırlar.

İnsan davranışları ve modeller arasındaki uyuşmazlıkların ise ya modellerin yetersizliği ya da birtakım bilişsel önyargılar sonucu oluştuğu düşünülür. Klasik rasyonel normların altında yatan varsayım, insanın belirli bir durum karşısında doğru karar verebilmesi için, elindeki bütün bilgileri göz önüne alması ve bunları bir şekilde birleştirerek işlemesi gerekliliğidir. Oysa insanların karar verme sürecinde bu kadar detaylı analizler yaptıkları ve insan beyninin kısa sürede bu kadar yüksek miktarda hesaplamalar yapabileceği oldukça şüphelidir.

Bu konuşmada, klasik yaklaşımlardan radikal bir şekilde ayrılan ve zihinsel süreçlerin birtakım buluşsal yöntemler vasıtasıyla gerçeklendiğini savunan yaklaşımlar anlatılacaktır. İnsanlar, içinde bulundukları durumlara bağlı olarak farklı buluşsal yöntemler kullanmaktadırlar. Bunlardan karar verme süreci açısından temel oluşturan bir kaç tanesinin çalışma prensipleri açıklanacak ve çeşitli örneklerle gerçek hayatta da geçerli oldukları gösterilecektir.