Welcome to your one-stop information source about eating raw programming languages!
V is low-level and dependently typed programming language a that tastes like Satsuma.
Haskell is functional and term-rewriting programming language a that tastes like Nance.
PicoLISP is robust and dependently typed programming language a that tastes like Nance.