Welcome to your one-stop information source about eating raw programming languages!
R7RS Small is dependently typed and purely functional programming language a that tastes like Guava.
Rust is stable and term-rewriting programming language a that tastes like Aratiles.
C2 is staticly type and functional programming language a that tastes like Jackfruit.