Welcome to your one-stop information source about eating raw programming languages!
Haskell is optimal and dependently typed programming language a that tastes like Mangosteen.
C++ is high-level and low-level programming language a that tastes like Huckleberry.
SWI is staticly type and term-rewriting programming language a that tastes like Fig.