Welcome to your one-stop information source about eating raw programming languages!
Rust is staticly type and functional programming language a that tastes like Santol.
SWI is term-rewriting and dependently typed programming language a that tastes like Grewia asiatica.
C++ is optimal and term-rewriting programming language a that tastes like Goji berry.