Hacker News new | past | comments | ask | show | jobs | submit login

Is it possible to have Hindley–Milner type system for a LISP?





Hackett. But the language is now abandoned.


Typed Racket doesn't use H-M.

I don't know what Hindley-Milner means, but maybe Coalton matches what you mean? <https://github.com/coalton-lang/coalton>

It's static typing with inference. Essentially what you have in Haskell/OCaml/F# where you declare a variable `x` through a let-binding witout specifying its type (`let x = something`), and the compiler analyses `something` and infers the type of `x`.

See also https://github.com/mflatt/shplait, which is a language with (1) the HM type system and (2) the same syntax that Rhombus uses. The language itself is implemented in Rhombus.

Absolutely: you can make that with some macros and using type annotations. I do not know how difficult can it be, but surely there are thing already done.



Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: