miniblog.

← Back to all posts
Aug 7, 2014 at 17:30
Monads in Joy, a concatenative language: https://web.archive.org/web/20100816085746/http://www.latrobe.edu.au/philosophy/phimvt/joy/j04alg.html

Related Posts

Jun 26, 2021 at 05:34
On building intuitions on monads and functors: https://www.jerf.org/iri/post/2958 (Also, TIL that the function type is a functor in Haskell!)
Dec 9, 2019 at 10:44
Very readable discussion of different ways of expressing applicative and monads in ocaml. Discusses the necessary operators and new syntactic sugar:
OCaml has some new shiny syntax | Notes on Computing
The next major release of the OCaml compiler, version 4.08, will be equippedwith a new syntax extension formonadic and applicative composition. Practically i...
Dec 11, 2017 at 21:02
Free monad considered harmful https://markkarpov.com/post/free-monad-considered-harmful.html Excellent, pragmatic blog post discussing usage of free monads, performance, and when you can simply use typeclasses.
Free monad considered harmful