Saya baru-baru ini mempelajari bahasa Haskell dan pemrograman. Bisakah seseorang merekomendasikan beberapa buku tentang teori jenis?
28
Saya baru-baru ini mempelajari bahasa Haskell dan pemrograman. Bisakah seseorang merekomendasikan beberapa buku tentang teori jenis?
Jawaban:
Yayasan Perangkat Lunak oleh Benjamin C. Pierce akan menjadi tempat yang baik untuk memulai. Ini akan menjadi pendahulu yang baik untuk Jenis dan Bahasa Pemrogramannya . Ada juga Teori Tipe dan Pemrograman Fungsional Simon Thompson dan Bukti dan Tipe Girard .
sumber
Barendregts Lambda Calculi with Types lebih maju, tetapi mencakup beberapa topik penting dalam teori jenis "klasik".
sumber
Buku Robert Harper, Yayasan Praktis untuk Bahasa Pemrograman (tersedia sebagai konsep online: http://www.cs.cmu.edu/~rwh/plbook/book.pdf ) adalah alternatif yang agak lebih intens untuk Jenis dan Bahasa Pemrograman.
sumber
Ini lebih banyak tentang dasar matematika dan lebih sedikit tentang ilmu komputer, tetapi buku Homotopy Type Theory: Univalent Foundations of Mathematics tersedia secara gratis dalam bentuk pdf di bawah lisensi CC.
sumber
Buku bagus lainnya yang menjalin teori tipe dengan pemrograman dalam bahasa fungsional adalah Didier Remy Using, Understanding, and Unraveling the OCaml Language .
sumber