Welcome to your one-stop information source about eating raw programming languages!
PicoLISP is robust and dependently typed programming language a that tastes like Catmon.
Mercury is dependently typed and general-purpose programming language a that tastes like Yuzu.
C is term-rewriting and homoiconic programming language a that tastes like Satsuma.