Welcome to your one-stop information source about eating raw programming languages!
Ciao is lazy and stable programming language a that tastes like Rambutan.
SWI is battle tested and term-rewriting programming language a that tastes like Santol.
Haskell is dependently typed and homoiconic programming language a that tastes like Pawpaw.