Conversation

Talia Ringer 🌻🪬
@TaliaRinger
Someone asked my top 10 favorite languages, and I can't order them but if I had to destroy all languages except 10, I'd leave just these ones as my toolbox. (Though, only if I don't also have to get rid of nice IRs like LLVM and MLIR)
Quote Tweet
Talia Ringer 🌻🪬
@TaliaRinger
·
Replying to @ZachSmithingell and @gluonspring
Not in any particular order, probably: OCaml, Rosette, Racket, Coq, Ruby, Scala, Julia, Haskell, Rust, Cubical Agda All for different purposes. A nice toolbox
8
16
Liam O'Connor
@kamatsu8
I like your list, but if you destroy C you destroy a lot of software for domains not covered by any of the languages you listed (and there are no assembly languages there either). Rust is good for systems programming but for embedded devices we still need something.
2
3