Pengantar buku 『Types in Programming Languages』

Penerbit Insight sedang menyiapkan sebuah buku yang membahas teori tipe secara konseptual dengan sasaran pembaca yang sudah memiliki cukup pengalaman pemrograman, dan tampaknya draf awalnya telah dipublikasikan (saya mengetahui bahwa ini adalah draf awal setelah bertanya kepada editornya).

Tidak sering ada buku berbahasa Korea tentang teori bahasa pemrograman, dan meskipun seluruh isi buku ini masih berupa draf awal, rasanya juga jarang sekali keseluruhannya dibuka untuk umum, jadi saya ingin memperkenalkannya. Walaupun bukan dalam bahasa Korea, ada juga buku teks berjudul Introduction to Programming Languages yang ditulis bersama oleh penulis yang sama.

[alstjr7375]

Meski tidak umum, tipe-tipe yang belakangan diperkenalkan ke bahasa untuk pembuktian juga menarik.

Idris 2: Quantitative Type
https://arxiv.org/abs/2104.00480

Cubical agda
https://dl.acm.org/doi/10.1145/3341691

[kleinstein]

Sepertinya ini bukan buku yang langsung membantu untuk dipakai di pekerjaan sehari-hari bagi orang-orang yang bekerja di lapangan,
melainkan jelas lebih berfokus pada teori dan prinsip dasarnya.
Buku seperti ini juga perlu sesekali dibaca.. T_T

[dotoritos]

Maaf kalau lancang, tapi tolong belikan saya satu ekor ayam goreng saja.