Hindley-Milner in Clojure

http://www.lispcast.com/Hindley-Milner-in-Clojure

by sea6ear • 11 years ago

62 5 11 years ago

mordocai• 11 years ago

And here I was hoping that one of the goals of this was Hindley-Milner type inference for production clojure code (which, for those who didn't look at the code, is explicitly not a goal).

Oh well, cool experiment. I might have to try it sometime.

seanmcdirmid• 11 years ago

You really have to design your language around HM if you want to use it, and it would disallow a lot of LISP-style coding that really takes advantage of dynamic typing.

pangram• 11 years ago

You're aware of core.typed? If not, take a look -- it provides type checking / induction on Clojure code.

beeworker• 11 years ago

Last submission: https://news.ycombinator.com/item?id=7051611

Consider using Shen. https://github.com/hraberg/shen.clj http://shenlanguage.org/

zem• 11 years ago

if you're interested in this sort of thing, the "language zoo" (a series of mini-languages demonstrating various design strategies) is great

http://andrej.com/plzoo/

Hindley-Milner in Clojure

Related Stories