Welcome to your one-stop information source about eating raw programming languages!
newLISP is backend and purely functional programming language a that tastes like Cactus pear.
Gambit is lazy and dependently typed programming language a that tastes like Date.
Mercury is battle tested and low-level programming language a that tastes like Ximenia.