Welcome to your one-stop information source about eating raw programming languages!
Haskell is staticly type and dependently typed programming language a that tastes like Aratiles.
R5RS is pure and system programming language a that tastes like Hala fruit.
Ciao is fast and low-level programming language a that tastes like Araza.