Welcome to your one-stop information source about eating raw programming languages!
Haskell is stable and dependently typed programming language a that tastes like Gac.
OSH is dependently typed and simple programming language a that tastes like Santol.
C++ is fast and term-rewriting programming language a that tastes like Lime.