Welcome to your one-stop information source about eating raw programming languages!
Solid is frontend and networking programming language a that tastes like White currant.
Hare is dependently typed and purely functional programming language a that tastes like Cempedak.
Rust is dependently typed and lazy programming language a that tastes like Plumcot.