4 ms·
Racket has Typed Racket, which while not Hindley-Miller can do some type inference. There's also the plait language which says its type system is similar to ML
by shawn_w 2y ago
Racket has Typed Racket, which while not Hindley-Miller can do some type inference.
There's also the plait language which says its type system is similar to ML: https://docs.racket-lang.org/plait/index.html https://docs.racket-lang.org/plait/index.html
And Hackett, inspired by Haskell: https://lexi-lambda.github.io/hackett/ https://lexi-lambda.github.io/hackett/
And Common Lisp has coalton: https://coalton-lang.github.io/ https://coalton-lang.github.io/
- packetlost 2y agoMost of those aren't really ready for production use except maybe Typed Racket, which I consider to be too "weak" and took a route with annotations that I'm not a fan of. Coalton is very interesting, I've been following it for a bit. Carp [0] is another one that I've been following. [0]: https://github.com/carp-lang/Carp https://github.com/carp-lang/Carp
- reikonomusha 2y agoCoalton is used in production for quantum computing systems and soft real-time control system automation. There are also (a small number of) Coalton jobs.
- packetlost 2y agoQuantum computing control systems is exactly the domain I've spent about half a decade doing, it's really not the production-like environment you think it is. Speed of iteration and flexibility to allow for changes to hardware is tantamount to success. It's also a lot easier to accept risk to breakages in the language when the author works at your company too.