Conversation

The way I learned was to use a language with them in there nicely- eg. Elm, Rust, Haskell, OCaml, Purescript, without really understanding them first. You’ll begin to notice that certain functions are quite similar between types. At that stage you’re ready to learn the theory!
1
For me it was noticing the commonalities between the APIs of Option and Result in Rust (eg. the and_then and map methods). There’s a design pattern there! Rust obscures that design pattern somewhat, but it was a decent enough jumping off point for me.
1
Replying to and
Also highly recommend following and reading anything she writes! twitter.com/argumatronic/s - this stuff can be mind bending, but it’s beautiful and worth learning! 🤩
Quote Tweet
Replying to @jillithd and @ScribblingOn
Yeah I wrote a thing about monads in Haskell terms but without assuming much knowledge of Haskell or any typed FP. argumatronic.com/posts/2018-01-