Modul ini menempatkan sistem tipe sebagai dokumen desain program. Pembahasan meliputi membaca signature fungsi, currying dan aplikasi parsial, polimorfisme, type class bawaan seperti Eq dan Show, serta penulisan instans. Keterampilan membaca tipe menjadi bekal utama sebelum tipe data aljabar diperkenalkan.
Tipe dan type class
Sistem tipe sebagai dokumen desain: membaca tipe, currying, polimorfisme, dan type class.
0/0 selesai
- Membaca tipe
Membaca panah fungsi, aplikasi, dan disiplin :t sebagai dokumen desain.
- Currying dan aplikasi parsial
Mengapa setiap fungsi menerima satu argumen dan manfaat aplikasi parsial.
- Polimorfisme
Variabel tipe dan penulisan fungsi generik yang bekerja untuk banyak tipe.
- Type class
Eq, Ord, Show, dan Enum sebagai perilaku yang menyertai constraint.
- Instans dan deriving
Menulis instans type class secara manual dan menghasilkannya dengan deriving.