15 ms·
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,
by mordocai 12y 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 12y agoYou 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 12y ago[deleted]
- pangram 12y agoYou're aware of core.typed? If not, take a look -- it provides type checking / induction on Clojure code.