Clojurians Log v2

οποτε το let και το for της clojure ειναι η identity και η sequence/list monad αντιστοιχα

https://github.com/khinsen/monads-in-clojure/blob/master/PART1.md

οποτε τοσο καιρο χρησιμοποιουμε monads και δεν το ξερουμε 😄

sosta

apo to abstract tou paper https://page.mi.fu-berlin.de/scravy/realworldhaskell/materialien/the-essence-of-functional-programming.pdf

o Wadler mas leei "The types of a program reflect which effects occur."

ta types mas lene tin morfi tou pattern

2.1 What is a monad? For our purposes, a monad is a triple (M,unitM,bindM) consisting of a type constructor M and a pair of polymorphic functions. unitM :: a -> M a bindM :: M a -> (a -> M b) -> M b

einai toso aplo ean to deis me to perspective ton types

φοβαμαι οτι δεν εχω την απαραιτητη εξοικειωση

και θελει σκεψη