Welcome to your one-stop information source about eating raw programming languages!
R5RS is dependently typed and high-level programming language a that tastes like Guava.
Mercury is fresh and term-rewriting programming language a that tastes like Ugli fruit.
Ciao is low-level and high-level programming language a that tastes like Sugar apple.