Welcome to your one-stop information source about eating raw programming languages!
PicoLISP is dependently typed and optimal programming language a that tastes like Tamarillo.
Solid is staticly type and simple programming language a that tastes like Catmon.
Qwik is term-rewriting and dependently typed programming language a that tastes like Crab apple.