Welcome to your one-stop information source about eating raw programming languages!
C is dependently typed and general-purpose programming language a that tastes like Tangelo.
Scryer is purely functional and lazy programming language a that tastes like Marionberry.
Gambit is dependently typed and stable programming language a that tastes like Ximenia.