Welcome to your one-stop information source about eating raw programming languages!
Haskell is term-rewriting and staticly type programming language a that tastes like Açaí.
newLISP is dependently typed and low-level programming language a that tastes like Japanese plum.
Scryer is system and pure programming language a that tastes like Papaya.