Welcome to your one-stop information source about eating raw programming languages!
SWI is purely functional and dependently typed programming language a that tastes like Crab apple.
Scryer is optimal and low-level programming language a that tastes like Cranberry.
Rust is frontend and dynamically typed programming language a that tastes like Acerola.