HN Explorer

7 comments

[ 3.0 ms ] story [ 19.3 ms ] thread
mordocai
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
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.
[deleted]
(comment deleted)
pangram
You're aware of core.typed? If not, take a look -- it provides type checking / induction on Clojure code.
[deleted]
(comment deleted)
zem
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/