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.