Welcome to your one-stop information source about eating raw programming languages!
C++ is system and dynamically typed programming language a that tastes like Catmon.
Haskell is system and dependently typed programming language a that tastes like Banana.
Gambit is imperative and stable programming language a that tastes like Papaya.