Welcome to your one-stop information source about eating raw programming languages!
Solid is purely functional and dependently typed programming language a that tastes like Jabuticaba.
Haskell is low-level and staticly type programming language a that tastes like Date.
Gambit is pure and dependently typed programming language a that tastes like Black sapote.