Fonksiyonel Programlamada Tiplerin Rolü

0
FZ
FZ
9 Mart 2004 , 1 dakika okuma süresi
İ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."
seminar
7
Linkedin Facebook Twitter Google plus

Görüşler

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

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

Ajax Teknolojisi ve Rakun XML Uygulama Platformu
yenimo
25 Kasım 2005, 1 dakika okuma süresi

Ajax Teknolojisi ve Rakun XML Uygulama Platformu semineri Evrim Özçelik tarfınan 30 Kasım Çarşamba akşamı, Genç Girişimciler Kulübü'nde verilecek.

John Nash, A Beautiful Mind ve Oyun Teorisi
FZ
6 Ocak 2004, 1 dakika okuma süresi

Ariel Rubinstein 9 Ocak Cuma günü Sabancı Üniversitesi´nde John Nash, A Beautiful Mind and Game Theory başlıklı bir seminer verecek.

Seminer tüm katılımcılara açık ve herhangi bir önbilgi gerektirmiyor. Konu ile ilgili ilginç bir nokta ise şu: Sitede oyun teorisi ile ilgili küçük bir oyun var, birkaç soru cevaplıyorsunuz ve bunlardan bir istatistik çıkarılıyor. Buradan elde edilen veriler Oyun Teorisi bağlamında, Cuma günkü konuşmada yorumlanacak. Yani katılacağınız konuşmanın ilginç şekilde bir parçası olabilirsiniz kolayca ;-)

Linux Semineri (İstanbul) : Squid Web-Caching Proxy
dfisek
16 Ekim 2002, 1 dakika okuma süresi

Linux Kullanıcıları Derneği, Cumartesi günü Internet Teknolojileri Derneği'nin ev sahipliğinde İstanbul'da linux semineri düzenliyor. Tüm dünyada olduğu gibi Türkiye'de de oldukça yaygın olarak kullanılan proxy sunucusu Squid'in anlatılacağı seminerde, Squid'in yetenekleri, çalışma prensipleri, kurulumu ve ayarlarından bahsedilecek. 15.00'te başlayacak olan seminer, her zaman olduğu gibi tüm ilgilenenlerin katılımına açık ve ücretsiz. - Ayrıntılı bilgi -

İçerik Yönetimi: Sorunlar, Çözümler ve Açık Noktalar
FZ
27 Mart 2006, 1 dakika okuma süresi

Bilgi ve belgelerin kurum içinde etkin biçimde üretilmesi, yönetilmesi ve akışı güncel bir sorun olarak karşımıza çıkmaktadır. "İçerik Yönetimi" başlığı altında toplanan bu konulardaki çalışmalar son zamanlarda önemli ölçüde yoğunluk kazanmıştır. Bu konuşmada içerik yönetim sistemlerinde yer alan farklı rollerdeki kullanıcılar açısından sorunlar ve uygulanan çözümler özetlenecek ve ileriye yönelik olarak çalışmaların sürdüğü alanlar tanıtılacaktır.

7D7 Demo Partisi 8-9 Eylül'de!
dcc
3 Eylül 2007, 1 dakika okuma süresi

7D7 Demoscene Party 2007 , 8-9 September 2007

Artık geleneksel hale gelen 7Dx partilerinin bu yılki ayağı 7D7 demo partisi bu sene 8-9 Eylül tarihleri arasında Boğaziçi Üniversitesi Kuzey Kampüsü'nde yapılacak. C64, Amiga ve PC platformlarında yarışmaların düzenlendiği 7D7'de ayrıca programlama seminerleri ve demoscene üzerine sohbetler de yapılacak.