1
Matematika diperlukan untuk memahami teori di balik sistem tipe Haskell?
Baru-baru ini, saya menjadi sangat tertarik pada Haskell. Ketika mencoba mempelajari konsep-konsep baru (misalnya kata kunci forall dan ST monad ) dan sistem tipe Haskell secara umum, saya terus mengalami konsep-konsep dari teori kategori dan kalkulus lambda . Jadi, saya bertanya-tanya: Cabang matematika apa lagi yang penting untuk pemahaman yang …