Typed Lisp, a primer (2019)

Re:Typed Lisp, a primer (2019) by vindarel on Tuesday January 31, 2023 @10:52AM (#34596685)

> 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/

[ Parent | on HN ]

Re:Typed Lisp, a primer (2019) by runevault on Tuesday January 31, 2023 @11:21AM (#34597166)

Oh hey I'll have to look at this at some point, luckily I'm already using SBCL for my re-learning.

[ Parent | on HN ]

Re:Typed Lisp, a primer (2019) by strawhatguy on Tuesday January 31, 2023 @01:30PM (#34599490)

What I immediately thought of. Coal ton is a pretty awesome project

[ Parent | on HN ]

Re:Typed Lisp, a primer (2019) by wk_end on Tuesday January 31, 2023 @03:47PM (#34601799)

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.

[ Parent | on HN ]

Re:Typed Lisp, a primer (2019) by vindarel on Tuesday January 31, 2023 @04:36PM (#34602559)

Yes, they use it for their quantum compiler, at RHL Laboratories (it was maybe initiated even at Rigetti). https://github.com/quil-lang/quilc

[ Parent | on HN ]