Şu anda yürütmekte olan Bilgi Üniversite'sindeki Comp 313 dersim, her
haftanın tekli derslerde lambda calculus'a yakın bir dil (Giuseppe)
kullanıyoruz.
Aslında Scheme içinde birkaç sınır koyarak ve birkaç isim değiştirerek,
Giuseppe oluşuyor. Giuseppe ismi Giuseppe Peano'dan.
Daha Lambda calculus'a yakın birşey yapacaktım ama bu sene vaktim
yetmedi. Seneye, herhalde dersi "Alonzo" dilinde vereceğim.
Henüz yayınlanmamış bir Matematil Dünyası makalemde aynı konuyu
çalışıyorum. Ali Nesin henüz makaleyi kabul etmemiş!
İlginç olan bazı sınılamalar dili çok güçlendiriyor. (Her fonksiyonun
tek parametreli olması, örneğin). Currying ya da Schünfinkeling yaparak
çok paramtereli fonksiyonlar oluşturmak zorunda olduğumuz için, her
parametre tek tek eklyebiliriz ve clousre yapmak çok kolay ve doğal oluyor.
Kod örnekleri burada:
http://cs.bilgi.edu.tr/pages/courses/year_3/comp_313/examples/
Umarım yardımcı olur
Emre'nin verdiği wikipedia sayfalar gerçekten güzel.
Bu arada artık comp 111 de Scheme'de veriyoruz....
CS
Emre Sevinc wrote:
Recai Oktas <[EMAIL PROTECTED]> writes:
Merhaba,
Imperatif kafamla (evet, ufaktan teshisler de koyuyorum boyle :-) bu
"Lambda calculus" formalizmini cozmeye calisiyorum su gunlerde. Arada
bir hos dokumanlar cikiyor karsima. Onlardan birini faydali olabilir
dusuncesiyle geceyim buraya (Scheme ve C/Pascal ornekleri guzel):
http://www.jetcafe.org/~jim/lambda.html
Sizin onereceginiz belge ve bulgulari da ogrenmek isterim ayrica.
Konunun uzmani degilim, herhalde aramizdaki daha bilgili bilgisayar
bilimciler faydali bilgiler verecektir.
Lambda calculus deyince benim aklima "semantics" geliyor, okuldaki bili$sel
bilimler programinda, dilbilim baglaminda "syntax" dersi alirken arada ona
göndermede bulunuyordu hocalarim, bazi makalelerde de örnekleri geciyordu ama
dogrudan dersini almadim. Konuyla ilgili ders veren Trakya Universitesi bilg.
müh. bölümünden Dr. Yilmaz Kilicaslan vardi:
http://bilgmuh.trakya.edu.tr/yilmazk/
Kisa bir Internet ziyaretinden sonra ilgili oldugunu ve yüzeysel
bilgi verdigini gördügüm (yüzeysel burada kötü anlamda söylenmedi)
siteler:
http://en.wikipedia.org/wiki/Combinatory_logic
http://en.wikipedia.org/wiki/Semantics
http://www.csse.monash.edu.au/~lloyd/tilde/Semantics/
http://en.wikipedia.org/wiki/Denotational_semantics
_______________________________________________
cs-lisp mailing list
cs-lisp@cs.bilgi.edu.tr
http://church.cs.bilgi.edu.tr/lcg
http://cs.bilgi.edu.tr/mailman/listinfo/cs-lisp
