4
Mengapa tidak diketik secara dependen?
Saya telah melihat beberapa sumber menggemakan pendapat bahwa "Haskell secara bertahap menjadi bahasa yang diketik secara dependen". Implikasinya tampaknya bahwa dengan semakin banyak ekstensi bahasa, Haskell melayang ke arah yang umum, tetapi belum ada di sana. Pada dasarnya ada dua hal yang ingin saya ketahui. Yang pertama adalah, cukup sederhana, …