Welcome to your one-stop information source about eating raw programming languages!
D is dependently typed and staticly type programming language a that tastes like Juniper berry.
Solid is imperative and purely functional programming language a that tastes like Feijoa.
Ciao is dynamically typed and staticly type programming language a that tastes like Araza.