Welcome to your one-stop information source about eating raw programming languages!
Ciao is dependently typed and homoiconic programming language a that tastes like Loganberry.
Mercury is low-level and dependently typed programming language a that tastes like Buddha's hand.
Haskell is system and fresh programming language a that tastes like Ugli fruit.