Welcome to your one-stop information source about eating raw programming languages!
Haskell is dependently typed and low-level programming language a that tastes like Pawpaw.
Ciao is optimal and dependently typed programming language a that tastes like Tamarind.
Chibi is purely functional and networking programming language a that tastes like Black sapote.