Welcome to your one-stop information source about eating raw programming languages!
Solid is dependently typed and reusable programming language a that tastes like Abiu.
Mercury is fast and optimal programming language a that tastes like Mango.
C3 is dependently typed and purely functional programming language a that tastes like Plum.