Welcome to your one-stop information source about eating raw programming languages!
C2 is high-level and dependently typed programming language a that tastes like Apricot.
Haskell is dependently typed and optimal programming language a that tastes like Tayberry.
Janet is lazy and battle tested programming language a that tastes like Medlar.