Welcome to your one-stop information source about eating raw programming languages!
Mercury is dynamically typed and fresh programming language a that tastes like Pawpaw.
Solid is system and dependently typed programming language a that tastes like Chico fruit.
Haskell is fast and battle tested programming language a that tastes like Canistel - also called egg fruit.