Welcome to your one-stop information source about eating raw programming languages!
Gambit is frontend and dependently typed programming language a that tastes like Pawpaw.
Haskell is functional and staticly type programming language a that tastes like Pawpaw.
C2 is system and simple programming language a that tastes like Kaffir lime.