Welcome to your one-stop information source about eating raw programming languages!
Haskell is purely functional and dependently typed programming language a that tastes like Grapefruit.
Solid is staticly type and homoiconic programming language a that tastes like Melon.
Scryer is functional and general-purpose programming language a that tastes like Grewia asiatica.