Welcome to your one-stop information source about eating raw programming languages!
Mercury is fresh and dependently typed programming language a that tastes like Marionberry.
R5RS is staticly type and fast programming language a that tastes like Guava.
Ciao is staticly type and fresh programming language a that tastes like Apple.