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

Koç Üniversitesi, Bi'Kereden Bi'Şey Olmaz Etkinliği
hcg
3 Mart 2011, 1 dakika okuma süresi

Koç Üniversitesi Bilişim Kulübü ve LKD Seminer Çalisma Grubu işbirligiyle, 12 Mart Cumartesi günü Koç Üniversitesi'nde bir etkinlik olacak.

11.00-17.00 arasında gercekleştirilecek etkinlikte dört seminer var:

  • Hakan Uygun: Özgür yazılım öğrencilere ne sağlar
  • Murat Gezer: Linux ve Özgür yazılımlara tanışma ve windowsta vazgeçemeyeceğim programlar
  • Türker Gülüm: Linux ve Özgür Yazılım ile tanışma - Masaüstü
  • Mahir B. Asut: Linux'tan nasıl para kazanılır
TBDGenc'in de desteklediği organizasyon katılmak isteyen herkese açıktır.

Bilgisayar İnsan Etkileşiminde Göz İzleme
FZ
29 Nisan 2002, 1 dakika okuma süresi

İstanbul Bilgi Üniversitesi Bilgisayar Bilimleri Bölümü tarafından düzenlenen 8. seminerin konusu "Bilgisayar İnsan Etkileşiminde Göz İzleme". Kullanıcı arabirimi ve ergonomik yazılım tasarımı ile ilgilenen arkadaşların dikkatini çekebilecek olan bu seminerin konuşmacısı ise Gebze Yüksek Teknoloji Enstitüsü'nden Mehmet Göktürk.

Yer: İstanbul Bilgi Üniversitesi, Kuştepe Kampüsü, Akademik Kurul Odası
Tarih: 29 Nisan 2002
Saat : 18:30

30 Eylül ''İzmir'de şenlik yapsak nasıl olur?'' toplantısı
penguencg
23 Eylül 2007, 1 dakika okuma süresi

İzmirdeki Linux kullanıcıları olarak toplanıyoruz. Bu ayın 30'u Pazar günü hemen herkese uygun gözüktü ve biz de bu tarihte ikinci bir toplantı ile hem birbirimizi tanıyalım, hem İzmir'deki insan gücünü biraz harekete geçirelim, hem de bu seneki şenlik fikrilerini alalım diye toplanalım diyoruz. Toplantı gündeminde ağırlıklı olarak bu seneki şenlik, yeri, İzmir'de yapalım mı yaparsak nasıl yapalım gibi konular olacaktır. Bunun yanında fikirleri olanlar, şikayetleri olanlar, abicim İzmir'de Linux kullanıcısı var mı, nerede veya benim fikrim geldi diyenler için tanışma kaynaşma ortamı doğacaktır. Çekinmeden, LKD üyesi veya değil, Linux meraklısı herkesin gelmesini istiyoruz.

Bizbize, eğlenceli bir toplantı yapmak istiyoruz.

Ağ Madenciliği Semineri
FZ
24 Nisan 2005, 1 dakika okuma süresi

Internet’in yaygınlaşması ve her alanda bilgi sağlaması günlük yaşantımıza hızla girmesine neden olmuştur. Haber, ekonomi, kültür, eğitim, sağlık hizmetleri ve reklam gibi birçok alanda bilgi kaynağı olan Internet ortamında, kullanıcı kendisi için gerekli bilgileri bulmakta çoğu zaman zorlanmaktadır. Bunun nedeni sorgulama araçlarının yeteneklerinin sınırlı olması ve Internet ortamındaki bilgilerin dağınıkve çok miktarda olması olarak görülmektedir.

Linux Semineri : Progress Veritabanı Sunucusu
dfisek
24 Haziran 2002, 1 dakika okuma süresi

Linux Kullanıcıları Derneği, Çarşamba günü Ankara Üniversitesi'nde linux semineri düzenliyor. 18.30'da başlayacak olan seminerde Linux'ta Progress Veritabanı Sunucusu'nun kullanımı ve çalışması anlatılacak. Her zaman olduğu gibi seminer, ilgi duyan herkesin katılımına açık. - Ayrıntılı bilgi -