Welcome to your one-stop information source about eating raw programming languages!
D is staticly type and purely functional programming language a that tastes like Durian.
Ciao is dependently typed and low-level programming language a that tastes like Raspberry.
Rust is functional and fresh programming language a that tastes like Loquat.