Welcome to your one-stop information source about eating raw programming languages!
R5RS is dynamically typed and staticly type programming language a that tastes like Sarguelas.
Haskell is functional and battle tested programming language a that tastes like Kaffir lime.
Mercury is staticly type and purely functional programming language a that tastes like Momordica fruit.