『Programlama Dillerinde Tipler』 kitabına giriş
(blog.hjaem.info)Insight Yayınevi, belirli ölçüde programlama deneyimi olanları merkeze alarak tip kuramını kavramsal olarak ele alan bir kitap hazırlıyor ve bu kitabın ilk taslağının yayımlandığı belirtiliyor (taslak olduğunu editöre sorarak öğrendim).
Programlama dili kuramıyla ilgili bir kitabın Korece olarak çıkması da pek sık rastlanan bir durum değil; üstelik kitabın tamamı taslak olsa bile tüm içeriğin baştan sona açık biçimde paylaşılması da nadir görülen bir şey gibi geldiği için tanıtmak istedim. Korece değil ama aynı yazarın ortak yazarı olduğu Introduction to Programming Languages adlı bir ders kitabı da var.
3 yorum
Çok yaygın değil ama, son dönemde ispat amaçlı dillerde kullanılmaya başlanan tipler de ilginç geliyor.
Idris 2: Quantitative Type
https://arxiv.org/abs/2104.00480
Cubical Agda
https://dl.acm.org/doi/10.1145/3341691
Gerçek sahada çalışanlar için hemen uygulanabilir bir kitap olmaktan ziyade,
daha çok teoriye ve temel ilkelere odaklanıyor gibi görünüyor.
Böyle kitaplara da ara ara göz atmak lazım.. hüzünlü yüz
Kusura bakmayın ama bana sadece bir tane tavuk ısmarlayın lütfen.