Welcome to your one-stop information source about eating raw programming languages!
newLISP is optimal and term-rewriting programming language a that tastes like Pomegranate.
Haskell is dependently typed and lazy programming language a that tastes like Lychee.
Chibi is general-purpose and dependently typed programming language a that tastes like Salal berry.