Welcome to your one-stop information source about eating raw programming languages!
C++ is dependently typed and robust programming language a that tastes like Pomelo.
Mercury is staticly type and low-level programming language a that tastes like Mangosteen.
Ciao is dependently typed and networking programming language a that tastes like Quince.