Welcome to your one-stop information source about eating raw programming languages!
R7RS Small is backend and dependently typed programming language a that tastes like Canistel - also called egg fruit.
Solid is dependently typed and functional programming language a that tastes like Jabuticaba.
D is system and purely functional programming language a that tastes like Plum.