2
Apakah monads merupakan alternatif (mungkin lebih disukai) dari hierarki warisan?
Saya akan menggunakan deskripsi bahasa-agnostik dari monad seperti ini, pertama menggambarkan monoid: Sebuah monoid adalah (kira-kira) satu set fungsi yang mengambil beberapa jenis sebagai parameter dan mengembalikan tipe yang sama. Sebuah monad adalah (kira-kira) satu set fungsi yang mengambil pembungkus tipe sebagai parameter dan mengembalikan tipe pembungkus yang sama. Perhatikan …