Welcome to your one-stop information source about eating raw programming languages!
SWI is dependently typed and functional programming language a that tastes like Passionfruit.
Mercury is imperative and optimal programming language a that tastes like Kaffir lime.
Haskell is dynamically typed and lazy programming language a that tastes like Goji berry.