Welcome to your one-stop information source about eating raw programming languages!
C3 is staticly type and frontend programming language a that tastes like Ugli fruit.
Haskell is purely functional and dynamically typed programming language a that tastes like Chico fruit.
Ciao is dependently typed and frontend programming language a that tastes like Hawthorn.