Hindley-Milner in Clojure(lispcast.com)

62 pointsby sea6earvor 11 Jahren5 comments

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

4 comments

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

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

zemvor 11 Jahren

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/

mordocaivor 11 Jahren

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.

seanmcdirmidvor 11 Jahren

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.

pangramvor 11 Jahren

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

[deleted]vor 11 Jahren