3 ms·
> Augment Lisp with functional Haskell-like type declarations ;-) Since the article's publication, this is now possible with the industrial-grade Coalton: http
by vindarel 4y ago
> Augment Lisp with functional Haskell-like type declarations ;-)
Since the article's publication, this is now possible with the industrial-grade Coalton: https://github.com/coalton-lang/coalton/ https://github.com/coalton-lang/coalton/
- runevault 4y agoOh hey I'll have to look at this at some point, luckily I'm already using SBCL for my re-learning.
- strawhatguy 4y agoWhat I immediately thought of. Coal ton is a pretty awesome project
- wk_end 4y agoIs Coalton industrial-grade? What does that mean? Is it used in industry? I'll note that the GitHub README says: > Coalton has not reached "1.0" yet. This means that, from time to time, you may have a substandard user experience.
- vindarel 4y agoYes, they use it for their quantum compiler, at HRL Laboratories (it was maybe initiated even at Rigetti). https://github.com/quil-lang/quilc https://github.com/quil-lang/quilc