Saya mempelajari Haskell untuk tujuan memahami pemrograman fungsional, dengan harapan bahwa saya akan menerapkan wawasan yang saya peroleh dalam bahasa lain (terutama Groovy, Python, JavaScript.)
Saya memilih Haskell karena saya memiliki kesan bahwa itu sangat fungsional, dan tidak akan membiarkan ketergantungan pada negara.
Saya tidak memilih untuk belajar Haskell karena saya tertarik menavigasi sistem tipe yang sangat kaku.
Pertanyaan saya adalah ini: Apakah sistem tipe yang kuat merupakan produk sampingan yang diperlukan dari bahasa fungsional yang sangat murni, atau apakah ini pilihan desain yang tidak terkait khusus untuk Haskell?