Welcome to your one-stop information source about eating raw programming languages!
C is dependently typed and pure programming language a that tastes like Pear.
Chibi is term-rewriting and optimal programming language a that tastes like Sapote.
Ciao is stable and optimal programming language a that tastes like Rose apple.