KAIST Bilgisayar Bilimleri Bölümü'nün ‘Programlama Dilleri’ dersi yardımcı materyalleri

KAIST Bilgisayar Bilimleri Bölümü'nden Hong Jaemin adlı kişinin 2019 yılında ‘Programlama Dilleri’ (CS320) dersi için asistan olarak hazırladığı ve Prof. Ryu Seokyoung tarafından gözden geçirilen ders yardımcı materyallerinin bir derlemesidir. (Korece, İngilizce) Bilgisayar bilimlerinde programlama dillerinin kuramsal arka planını açıklamak için, bu alandaki her kavramı sırasıyla ekleyerek küçük bir programlama dilini matematiksel olarak tanımlayan ve onun yorumlayıcısını Scala ile gerçekleştiren bir akış izler.

[gguimoon]

Hong Jaemin'in Types with Robustness, Polymorphism with Flexibility başlıklı bir kitap yazdığını görüyorum. Programlama dilleri kuramını iyi bilen birinin kitabı olduğu için beklentim yüksek.

https://blog.insightbook.co.kr/2023/10/…

[kbumsik]

Scala'nın programlama dili ders materyali olarak kullanılması ilginçmiş.

OCaml gibi ML ailesinden işlevsel dillerin ders materyali olarak kullanıldığını sıkça gördüm ama Scala'yı ilk kez görüyorum. Scala'nın JVM tabanlı bir dil olarak sektörde epey kullanılıyor olması da ona daha fazla pratiklik katıyor gibi görünüyor.