Welcome to your one-stop information source about eating raw programming languages!
Mercury is dependently typed and general-purpose programming language a that tastes like Melon.
Mercury is robust and simple programming language a that tastes like Orange.
Haskell is dependently typed and battle tested programming language a that tastes like Sugar apple.