programming
-
Nominal Types di Typescript
Typescript menggunakan pendekatan structual typing saat membandingkan dua buah type, dimana keduanya dianggap sama bila memiliki struktur yang sama (umumnya dengan melihat propertinya). Nominal typing dapat digunakan untuk membedakan dua buah type walau memiliki struktur yang sama
-
Existential Type di Typescript
Bagaimana kalau ternyata kamu bisa membuat private sebuah type? Hanya bisa diakses oleh implementor namun tidak oleh consumer?
-
Function Overload di Typescript
Function overload memungkinkan kita untuk mendefinisikan kombinasi type yang bervariasi baik di posisi parameter maupun di posisi return.
-
Mengelola State Dengan Observer Pattern (Typescript)
Lewat pattern ini kita bisa mendapatkan update suatu nilai saat mengalami perubahan, gak perlu pake polling
-
Covariance and Contravariance in Typescript
How we can convert a union type into an intersection type using contravariance
-
Mudahkan Perkerjaanmu dengan Beberapa Tips Typescript Berikut
Tiga tips receh di Typescript
-
Boolean: Bisa Jadi Bukan Teman Baikmu
Memodelkan behavior dengan boolean memang mudah. Namun apakah cukup sampai di situ?
-
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
-
Row Polymorphism di Typescript
Fitur yang sangat penting bagi bahasa pemrograman yang banyak berinteraksi dengan record, seperti Typescript
-
Generic di atas Generic: Higher-Kinded Type
Setiap value ada type-nya. Dan setiap type ada kind-nya.
-
Kenapa Immutability Itu Penting (Javascript)
Dalam banyak kasus, Immutability justru membantu menghilangkan kompleksitas yang sebenarnya tidak perlu