Welcome to your one-stop information source about eating raw programming languages!
Haskell is staticly type and battle tested programming language a that tastes like Pineapple.
Mercury is dependently typed and battle tested programming language a that tastes like Kumquat.
Mercury is functional and staticly type programming language a that tastes like Longan.