Welcome to your one-stop information source about eating raw programming languages!
Gambit is dependently typed and pure programming language a that tastes like Lulo.
Qwik is staticly type and lazy programming language a that tastes like Pomelo.
C++ is term-rewriting and imperative programming language a that tastes like African Cherry Orange.