> 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/
Is 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.
Yes, they use it for their quantum compiler, at HRL Laboratories (it was maybe initiated even at Rigetti). https://github.com/quil-lang/quilc