F(by) 2017. Michael Snoyman - What Makes Haskell Unique.

Start watching this presentation by Michael Snoyman around the 3:45 mark. link to this video `do` notation makes life much simpler. Lwt's futures (OCaml) can also be made to made to have similar syntax using syntax extensions. I think that the key idea is the monadic structure of futures and being able to have special syntax for a chain of bind operations (possibly mixed with normal assignments), not the support for lazy evaluation (OCaml has strict evaluation by default).

F(by) 2017 - Functional Programming Conference

Michael Snoyman has a nice talk here for more ideas. One more thing that may be interesting - talk about ADTs for a bit (making illegal states irrepresentable), and then show optics. Show examples where lenses compose with each other, prisms compose with each other, prisms compose with lenses. (Use `Lens'` and `Prism'` instead of `Lens` and `Prism`, don't talk about type definitions/errors, use only a few operators). So starting out with something somewhat familiar and going on to things which are both very practical as well as unmatched in most other languages. Infinite data structures are both cool and useful, but people may not be able to see the connection with their own work immediat…

I’m not super knowledgeable but this talk was great link to this video