Welcome to your one-stop information source about eating raw programming languages!
SWI is staticly type and fresh programming language a that tastes like Tayberry.
Ciao is fresh and dependently typed programming language a that tastes like Rambutan.
Nim is battle tested and simple programming language a that tastes like Grewia asiatica.