Modul ini membangun hierarki Functor, Applicative, dan Monad melalui generalisasi pola yang sudah dipahami. Pembahasan dimulai dari instans Functor pada Maybe, list, dan IO, gaya Applicative, hingga bind dan monad yang lazim. Seluruh type class dibahas sebagai kode biasa tanpa mistisisme.
Functor, Applicative, Monad
Generalisasi pola yang telah dipahami: hierarki type class dari Functor sampai Monad.
0/0 selesai
- Hierarki
Functor, Applicative, dan Monad sebagai kekuatan yang bertambah bertahap.
- Instans Functor
Mapping atas Maybe, list, dan IO dengan fmap.
- Gaya Applicative
pure, <$>, dan <*> untuk nilai yang membawa konteks.
- Monad dan bind
Penyambungan langkah berkonteks melalui operator bind (>>=).
- Monad yang lazim
Maybe, Either, list, dan IO tanpa mistisisme.