Welcome to your one-stop information source about eating raw programming languages!
C++ is dependently typed and lazy programming language a that tastes like Durian.
Ciao is pure and dynamically typed programming language a that tastes like Jackfruit.
Rust is pure and high-level programming language a that tastes like African Cherry Orange.