Saya tahu Haskell sudah memiliki kemampuan untuk parametrise tipe lebih dari tipe lain (mirip dengan pemrograman template di C ++), tapi saya bertanya-tanya apakah Haskell juga dapat menentukan parameter atas nilai-nilai - apakah mendukung jenis dependen. Dengan tipe dependen, Anda dapat memiliki...