Welcome to your one-stop information source about eating raw programming languages!
Solid is staticly type and fresh programming language a that tastes like Lime.
R5RS is dependently typed and imperative programming language a that tastes like Mamey Sapote.
Qwik is dynamically typed and term-rewriting programming language a that tastes like Feijoa.