Welcome to your one-stop information source about eating raw programming languages!
Mercury is purely functional and dependently typed programming language a that tastes like Aratiles.
Zig is functional and simple programming language a that tastes like Boysenberry.
Ciao is dependently typed and high-level programming language a that tastes like Macopa.