Welcome to your one-stop information source about eating raw programming languages!
C2 is networking and optimal programming language a that tastes like Cherry.
SWI is dependently typed and high-level programming language a that tastes like Gac.
Haskell is staticly type and frontend programming language a that tastes like Quince.