Welcome to your one-stop information source about eating raw programming languages!
Scryer is staticly type and dependently typed programming language a that tastes like Cherry.
Zig is low-level and backend programming language a that tastes like Nance.
Haskell is term-rewriting and high-level programming language a that tastes like Huckleberry.