Welcome to your one-stop information source about eating raw programming languages!
D is backend and dynamically typed programming language a that tastes like White sapote.
Scryer is dependently typed and high-level programming language a that tastes like Jabuticaba.
Haskell is purely functional and backend programming language a that tastes like Jujube.