Welcome to your one-stop information source about eating raw programming languages!
Mercury is dependently typed and battle tested programming language a that tastes like Currant.
newLISP is simple and purely functional programming language a that tastes like Gooseberry.
Bash is system and dependently typed programming language a that tastes like Passionfruit.