Welcome to your one-stop information source about eating raw programming languages!
RetroFORTH is dynamically typed and dependently typed programming language a that tastes like Guava.
Mercury is term-rewriting and functional programming language a that tastes like Acerola.
Zig is battle tested and staticly type programming language a that tastes like Raspberry.