I think personally that Coalton and the stuff its built on is crazy cool. Coalton is a little library you add to your Lisp, but, to quote the third link here: "

I think personally that Coalton and the stuff its built on is crazy cool. Coalton is a little library you add to your Lisp, but, to quote the third link here: "In terms of its type system, Coalton’s closest cousin is Haskell." So Lisp's dynamism with all sorts of advanced typing. QVM, a Quantum Virtual Machine https://github.com/quil-lang/qvm https://github.com/quil-lang/qvm Quilc, an "advanced optimizing compiler" for Quil https://github.com/quil-lang/quilc https://github.com/quil-lang/quilc Coalton, "a statically typed functional programming language built with Common Lisp." https://coalton-lang.github.io/20211010-introducing-coalton/ https://coalton-lang.github.io/20211010-introducing-coalton/