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
yaklaşık 22 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
yaklaşık 22 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
yaklaşık 22 yıl önce

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

bm
yaklaşık 22 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
yaklaşık 22 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
yaklaşık 22 yıl önce

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

coskung
yaklaşık 22 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

Internette Kral Çıplak

yenimo
16 Mart 2007, 1 dakika okuma süresi

Genç Girişimciler Kulübü'nde 17 Mart 2007 cumartesi günü saat 13:30'da Murat Buyurgan "Internette 'Kral çıplak' diyecek yüzbinlerce kişi var! Şirketler interneti pazarlama stratejileri için nasıl kullanmalı?" konulu bir seminer gerçekleştirecek. Ücretsiz gerçekleştirilecek seminere etkinlik katılım formunu doldurarak katılabilirsiniz. Seminer için tıklayınız.

TBDGENC-GEEKZONE etkinligi CeBIT'de

brcktl
2 Ekim 2008, 1 dakika okuma süresi

Türkiye Bilişim Derneği İstanbul TBDGENÇ Çalışma Grubu, bu yıl 07-12 Ekim tarihlerinde gerçekleşecek olan CeBIT Bilişim Eurasia Fuarın'da yer alarak, bilişim gençlerini ortak bir platformda buluşturuyor.

Linux Semineri: PHP´de GD Kütüphanesi ile Resim İşleme

dfisek
5 Şubat 2004, 1 dakika okuma süresi

Linux Kullanıcıları Derneği, İstanbul'da Cumartesi günü bir seminer düzenliyor.
Web sitelerinde yaygın olarak kullanılan PHP programlama dilinde, PHP ile beraber hazır olarak gelen GD kütüphanesi ile dinamik olarak resimleri oluşturma, büyütme/küçültme, boyama, yazı yazma ve benzeri işlemlerin nasıl yapıldığının kod örnekleri ile beraber anlatılacağı seminer saat 15:00'te başlıyor.
Ayrıntılı Bilgi

Biltek 2005 için Geri Sayım Başladı

FZ
8 Ocak 2005, 1 dakika okuma süresi

Avrupa'nın en önemli bilişim platformu olması hedeflenen Biltek 2005, ülkelerin bilgi toplumu olabilme yolunda izledikleri metodların tartışılacağı ve karşılaştırılacağı, yaşanan ve yaşanabilecek sorunlara karşı çözüm yollarının belirleneceği, bilişimin en önemli unsuru olan yazılım teknolojilerinin her yönüyle ele alınacağı ve tüm Avrupa ülkelerinden karar verici mekanizmaların, bürokrat, teknokrat, akademisyen ve siyasilerin katılacağı bilimsel bir kongre olmayı hedeflemektedir.

TBD (Türkiye Bilişim Derneği) tarafından düzenlenen BİLTEK2005'in bu seneki ana teması Yazılım olarak belirlenmiştir. Bilişim teknolojilerindeki ilerlemelerle birlikte, yeni programlama değerler dizisi, yeni yazılım araçları ve yazılım geliştirme ortamları hızla geliştirilmektedir. Bu toplantıda, bir yandan araştırmacıların orijinal çalışmaları akademik oturumlarda tartışılırken, diğer yandan, yazılımın ekonomik boyutları, standartları, açık kaynak kodlu sistemler, e-Dönüşüm alt-yapısı ve sorunları özel sektör ve kamu kurum/kuruluşlarının yetkililerince paneller ve açık oturum platformlarında masaya yatırılacaktır.

İBÜ Bilgisayar Bilimleri Bölüm Seminerleri - 1

FZ
4 Ocak 2002, 1 dakika okuma süresi

İstanbul Bilgi Üniversitesi bünyesindeki Bilgisayar Bilimleri bölümü tarafından düzenlenen seminerlerin birincisinin programı aşağıdaki gibidir:

- Türkiye'de Internet Uygulamaları, Tayfun Türkalp, Alcatel e-ticaret Genel Müdürü, 7 Ocak 2002, Saat: 18:30

- Can Software Be Free, Chris Stephenson, İBÜ Bilgisayar Bilimleri Bölüm Başkanı, 14 Ocak 2002, Saat: 18:30

- Mobile Internet, Özkan Erener, Veripark İletişim Sist. A.Ş. Genel Müdür, 21 Ocak 2002, Saat: 18:30

Yer: İBÜ, Kuştepe Kampüsü, Akademik Kurul Odası