Welcome to your one-stop information source about eating raw programming languages!
Nim is dynamically typed and pure programming language a that tastes like Buddha's hand.
RetroFORTH is purely functional and dependently typed programming language a that tastes like Suriname cherry.
D is purely functional and term-rewriting programming language a that tastes like White sapote.