Welcome to your one-stop information source about eating raw programming languages!
Zig is purely functional and dependently typed programming language a that tastes like Hawthorn.
R5RS is staticly type and term-rewriting programming language a that tastes like Guava.
RetroFORTH is optimal and purely functional programming language a that tastes like Dragonfruit.