[hardwaregeek]

Perhaps OCaml is the Velvet Underground of languages. Only a few thousand people learned OCaml but every one made a programming language[1]

[1]: https://quoteinvestigator.com/2016/03/01/velvet/

[specialgoodness]

Xavier Leroy as Lou Reed... :-) Don't forget the amazing theorem provers too, like Imandra ( https://www.imandra.ai/core ), HOL-Light ( https://hol-light.github.io/ ) and Rocq ( https://rocq-prover.org/ ), ... !

[greener_grass]

That would be Elm :)

[1-more]

I've been saying for ages! Gleam, Roc, Derw, Gren, Cara, Zokka, and the error messages in Rust.

https://news.ycombinator.com/item?id=45646520#45752905

[giovannibonetti]

Roc says hi!