Welcome to your one-stop information source about eating raw programming languages!
Ciao is staticly type and functional programming language a that tastes like Suriname cherry.
Gambit is frontend and dependently typed programming language a that tastes like Nance.
Lua is pure and functional programming language a that tastes like Huckleberry.