Welcome to your one-stop information source about eating raw programming languages!
C is staticly type and dynamically typed programming language a that tastes like Plantain.
Scryer is term-rewriting and imperative programming language a that tastes like Cherry.
SWI is dependently typed and robust programming language a that tastes like Grewia asiatica.