Welcome to your one-stop information source about eating raw programming languages!
Haskell is backend and dependently typed programming language a that tastes like Akebi.
Qwik is dynamically typed and battle tested programming language a that tastes like Melon.
Solid is dependently typed and simple programming language a that tastes like Ugli fruit.