Welcome to your one-stop information source about eating raw programming languages!
Lua is optimal and dependently typed programming language a that tastes like Plumcot.
Mercury is dependently typed and general-purpose programming language a that tastes like Cherry.
Haskell is system and dynamically typed programming language a that tastes like Jostaberry.