Coalton remains in active development and is used at a couple companies. Like a handful of others in recent history, it's a language that's designed and implemented directly against the needs of either actual products or (PLT-unrelated) research initiatives, so things like performance aren't an afterthought.<p>There are a few software engineering positions in the Boston, MA area to work on the Coalton compiler (algebraic type systems, optimizations, high-performance computing, dev tools, ...) and to use it for autonomous, firm realtime systems (unrelated to quantum). Email in profile if interested.
A couple bits of past discussion:<p><i>Using Coalton to Implement a Quantum Compiler</i> - <a href="https://news.ycombinator.com/item?id=36413832">https://news.ycombinator.com/item?id=36413832</a> - June 2023 (1 comment)<p><i>Using Coalton to Implement a Quantum Compiler</i> - <a href="https://news.ycombinator.com/item?id=32741928">https://news.ycombinator.com/item?id=32741928</a> - Sept 2022 (1 comment)