Haskell

Understanding Hindley-Milner type systems

• https://okmij.org/ftp/ML/generalization.html
• https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system
• https://stackoverflow.com/questions/12532552/what-part-of-hindley-milner-do-you-not-understand
• https://legacy-blog.akgupta.ca/blog/2013/05/14/so-you-still-dont-understand-hindley-milner/

Can this be implemented in a dsl in clojure? :think:

• https://en.wikibooks.org/wiki/Haskell
• https://learnyouahaskell.com/syntax-in-functions