purescript
-
Sembunyikan State-mu dengan State Monad
State monad sebagai pattern untuk meringankan state tracking dengan cara yang pure
-
Akses Global Values dengan Reader Monad
Reader Monad sebagai wadah penyimpanan global values
-
Dependency Injection Dengan Pendekatan Functional
DI tanpa class dan hanya dengan function?
-
Bifunctor: Sikat Kanan Kiri
Functor + Functor = Bifunctor
-
Contravariant Functor
Apa benar semua data dengan kind `Type → Type` adalah Functor? Bagaimana dengan type variable yang muncul di posisi negatif?
-
Code Reuse — Berkaca dari Functor
Pengenalan konsep Functor dari sisi code reusability dengan Purescript
-
Kenalan Dulu sama Type Class
Ad-hoc polymorphism "interface"
-
Types sebagai Hansip: Validasikan Business Logic-mu saat Compile Time
Berbagi beban dengan compiler untuk memastikan business requirement terimplementasikan dengan benar
-
Term, Type, dan Kind di Purescript
Masih ada dunia lain di atas types: dunia kind
-
Type Class Dan Cara Kerjanya Di Balik Layar
Type Class adalah sebuah cara untuk memberikan instance dictionary secara implisit
-
Bereksperimen dengan Row Types di Purescript
Fokus artikel ini lebih ke type-level programming untuk Row Types di Purescript. Saya mencoba menjelaskan bagaimana membuat type signature yang agak kompleks step by step
-
Membantu Compiler dengan Functional Dependencies
Functional Dependencies memungkinkan programmer mengekspresikan relasi antar type sekaligus memberi compiler jalan pintas dalam meng-infer suatu type
-
Kenapa Saya Belajar Purescript
Sekedar share pendapat pribadi kenapa lebih memilih Purescript dibandingkan bahasa-bahasa functional lainnya
-
Generic di atas Generic: Higher-Kinded Type
Setiap value ada type-nya. Dan setiap type ada kind-nya.