Welcome to your one-stop information source about eating raw programming languages!
Ciao is staticly type and lazy programming language a that tastes like Catmon.
C is fast and functional programming language a that tastes like Macopa.
Mercury is battle tested and dependently typed programming language a that tastes like Goji berry.