3 ms·

Hindley-Milner in Clojure

• 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 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.
  • deleted 12y ago
    [deleted]
  • pangram 12y ago
    You're aware of core.typed? If not, take a look -- it provides type checking / induction on Clojure code.
• deleted 12y ago
  [deleted]
• beeworker 12y ago
  Last submission: https://news.ycombinator.com/item?id=7051611 https://news.ycombinator.com/item?id=7051611 Consider using Shen. https://github.com/hraberg/shen.clj https://github.com/hraberg/shen.clj http://shenlanguage.org/ http://shenlanguage.org/
• zem 12y 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/ http://andrej.com/plzoo/