Welcome to your one-stop information source about eating raw programming languages!
Haskell is imperative and dependently typed programming language a that tastes like Passionfruit.
PicoLISP is dependently typed and robust programming language a that tastes like Suriname cherry.
Lua is dependently typed and term-rewriting programming language a that tastes like Kiwifruit.