Modul ini membahas pembuatan tipe data sendiri melalui deklarasi data. Materinya mencakup tipe sum dan product, tipe rekursif seperti list dan tree, record beserta jebakan sintaksisnya, penanganan kegagalan dengan Maybe dan Either, serta newtype. Tipe yang dirancang dengan baik menjadi cara utama menyatakan logika program Haskell.
Tipe data aljabar
Membangun tipe data sendiri: data sum dan product, tipe rekursif, record, Maybe, Either, dan newtype.
0/0 selesai
- Deklarasi data
Tipe sum dan product beserta penulisan konstruktornya.
- Tipe rekursif
Membangun list dan tree sendiri beserta perilaku rekursif keduanya.
- Record
Aksesor field dan jebakan sintaksis record yang perlu diwaspadai.
- Maybe dan Either
Kegagalan sebagai data, bukan exception: Maybe untuk kasus kosong dan Either untuk pesan error.
- newtype
Wrapper tanpa biaya pada waktu berjalan untuk keamanan tipe.