Ada Apa Dengan Monad

Salam hangat awesome developer, ini waktunya buat ketemu dan ngobrol bareng lagi nih. Buat member baru, salam berkenalan dari kita dan selamat datang dan main-main lah ke meetup kita. Kalau kalian mau memulai diskusi atau menambah teman baru, bisa juga join di slack kita:

https://lambda-jakarta-slackinvitation.herokuapp.com/

What's new? Sejak pandemi Corona, kayaknya kita semua terbatas dalam hal interaksi langsung antar manusia ya. That's why kita mau coba bikin virtual meetup kali ketiga nih.

Tema kali ini adalah monad, konsep paling sulit di pemograman fungsional walau sangat kuat dan berguna. Apakah kalian selama ini belum nemu cerita monad yang tidak terjebak dalam rincian implementasi yang membingungkan?

Nah, meetup ini kita cari jalan keluar dari jebakan kebingungan. Tanggalnya TUJUH hari dari emel ini:

Tanggal: Sabtu, 28hb November 2020
Jam: 12:00 buat ngobrol santai
Jam: 14:04 buat paparan

Agenda materi:

(1) Selama ini semua penjelasan monad (monad tutorials) terbagi menjadi 3 kategori. Apakah 3 kategorinya?

(2) Penggunaan 3 kriteria dalam memilah penjelasan monad yang efektif versus tidak efektif, yaitu:

(2a) Pendefinisian yang lugas sekaligus menyatukan apa itu monad (epistemik) dan buat apa monadnya (teleologi),

(2b) Ilustrasi kedua aspek epistemik dan teleologi dari definisinya lewat contoh monad yang sering kita nemu, dan

(2c) Informasi dari (2a) dan (2b) digabungkan kembali dengan definisi teknis 3 aksioma monadnya.

(3) Setiap kategori monad tutorial dari (1) dievaluasi memakai ketiga kriteria dari (2). Gagalnya di mana?

(4) Bagaimana gambaran monad tutorial yang efektif? Temukan usulan baru di acara ini !

(5) Apakah usulan monad tutorial di poin (4) secara baik dapat memenuhi 3 kriteria di poin (2)? Bagaimana pendapat anda?

==============================

Greetings, you look awesome today. This is an announcement of a knowledge sharing session on monads, and YOU ARE INVITED!

Yes, this will be about Monads: the Most Feared Concept in all of Functional Programming.

Agenda:

(1) 3 types of monad tutorials

(2) 3 criteria to separate an effective monad tutorial from ineffective ones:
(2a) Must have a succinct definition that unifies what it is (epistemics) and what it's for (teleology)
(2b) Must have examples of monads that illustrate both the epistemics and the teleology set out in (a)
(2c) Must connect the dots back to the infamous 3 laws of monads

(3) How the 3 types of monad tutorials from (1) fail at the 3 criteria from (2)

(4) What an effective monad tutorial might look like

(5) Does (4) succeed based on the criteria from (2)? You be the judge!