Fonksiyonel Programlamada Tiplerin Rolü

0
FZ
İ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

0
mascix
herkezin konumu ve vakti bu seminere uymayabilir mümkünse birisi alınan notları bir yerlere braksada ordan okusak.
teşekkürler.
0
coskung
Seminerden sonra L. Nemeth Hoca'dan sunumunu isteyip web'e koymaya calisacagim. (en gec yarin diyeyim, boylece kendimi daha sorumlu hissedecegim)

coskun...
0
vampir
coskun hocam harika olur (:
ben de malesef kaciranlardanim semineri.. :
0
bm
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)
0
coskung
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...
0
mascix
bence gayet güzel belki şu compiler design konusunda detay verirsen iyi olabilir. ben o dersi almadımde :)
0
coskung
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

19 Mart, Balıkesir Üniversitesi Linux Seminerleri

hcg

Balıkesir Üniversitesi, Bilgisayar ve Internet Topluluğu ve LKD Seminer Çalışma Grubu işbirliğiyle; 19 Mart 2010 Cuma günü, Balıkesir Üniv. Nef Konferans Salonu'nda, 2 bölüm halinde Linux seminerleri düzenliyoruz.

INET-TR 2003 İçin Geri Sayım Başladı: 11-13 Aralık

FZ

Türkiye'de Internet ve bilgi işlem teknolojileri ile ilgili grupları biraraya getirerek İnternet'i tüm boyutlarıyla tanıtmak, geliştirmek, tartışmak, İnternet teknolojileri ile toplumsal verimliliği arttırmak ve toplumun dikkatini olabildiğince bu yöne çekmek amaçlarıyla ulusal boyutta düzenlenen geleneksel INET-TR konferansı bu sene yine pek çok deneyimli konuşmacıya evsahipliği yapacak.

Benim en çok dikkatimi çeken başlıklardan birkaçı: Mono ile C#/.NET, E-Posta Sunucularda Filtreleme, Linux 2.6 Çekirdeği ve Güvenlik, Linux ile Gömülü Sistemler ve Linux ile Kablosuz (Wireless) Ağlar.

Detaylı bilgi için buraya bakabilirsiniz.

Düzeltme: Dr. Akgül´ün yolladığı e-postayı biraz karışık bir kafa ile okumak sureti ile yanlış bilgilendirme yapmışız, Turquaz ve Samba seminerleri INET-TR kapsamında ve belirlenen tarihlerde değilmiş. Uyarısı için Doruk Fişek´e teşekkür eder, gereksiz heyecan ve yanlış bilgilendirme için en içten özülerimizi sunarız.

Linux Semineri : IPTables ile Güvenlik Duvarı

dfisek

Linux Kullanıcıları Derneği, Cumartesi günü İstanbul'da Internet Teknolojileri Derneği'nde linux semineri düzenliyor. Seminerde, Linux güvenlik duvarı uygulaması olan Netfilter'in gücünü kullanmanız için gerekenler anlatılacak. Tipik erişim sınırlandırmadan, DoS saldırılarına karşı yapılabileceklere, yük dengelemeden, bant genişliği belirlemeye kadar pek çok konuda neler yapılabileceğinin anlatılacağı seminer saat 15.00'te başlayacak. - Ayrıntılı bilgi -

Linux Semineri : Postfix E-Posta Sunucusu

dfisek

Linux Kullanıcıları Derneği, Çarşamba günü Ankara'da linux semineri düzenliyor. Sendmail kullanıcıları arasında ciddi bir popülarite kazanan modern bir e-posta sunucusu olan Postfix'in genel yapılandırması, sanal host tutulması, SMTP doğrulama gibi çeşitli özellikler anlatılacağı seminer saat 18:30'da başlayacak. - Ayrıntılı Bilgi -

Kolmogorov Karmaşıklığı Semineri

FZ

İstanbul Bilgi Üniversitesi, Bilgisayar Bilimleri bölümü tarafından kamuya açık olarak düzenlenen haftalık seminerlerin bu haftaki konusu Kolmogorov Karmaşıklığı, Coşkun Gündüz tarafından sunulacak. 18 Mayıs 2006 Perşembe günü, Dolapdere Kampüsündeki Mahkeme Salonunda saat 17:00'da gerçekleştirilecek konuşmaya ilgilenen herkes davetlidir.