Monad merupakan funktor dengan dua transformasi natural (η dan μ) serta satu kondisi koherensi.
Contoh Maybe monad menunjukkan cara membungkus nilai dengan Some dan meratakan lapisan dengan μ.
Monads tidak secara langsung dapat dikomposisikan dan umumnya membutuhkan monad transformers.
Di bahasa Я diperkenalkan konsep jointed effects untuk menggabungkan efek tanpa kebutuhan lift.
Daripada menggunakan istilah monad terkumpul, lebih fleksibel merakit efek dengan transformasi natural.
Menggunakan transformasi natural sebagai “bata” memungkinkan pembuatan definisi efek yang terbuka dan dapat diperluas.
Get notified when new stories are published for "Berita Peretas 🇮🇩 Bahasa Indonesia"