1
Hindley-Milner in Clojure
I wrote a lambda-calculus interpreter and an implementation of Hindley-Milner to type check it.
Visit lispcast.com → On Hacker News Jan 2009 – Apr 2019
Software Engineering 6Programming Languages 3Tools & Productivity 2Web & Frontend 1
I wrote a lambda-calculus interpreter and an implementation of Hindley-Milner to type check it.
I was trained in Java at University. The OOP matrix was firmly implanted in my thinking. I wanted to share some things that I have learned from Clojure that were certainly possible in Java but never became fundamental to my programming practice.