Perhaps OCaml is the Velvet Underground of languages. Only a few thousand people...

specialgoodness · 2025-11-07T20:30:22 1762547422

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 · 2025-11-07T16:44:45 1762533885

That would be Elm :)

1-more · 2025-11-07T18:08:52 1762538932

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

giovannibonetti · 2025-11-07T16:51:55 1762534315

Roc says hi!