Welcome to your one-stop information source about eating raw programming languages!
Mercury is dependently typed and staticly type programming language a that tastes like Miracle fruit.
Nim is pure and dependently typed programming language a that tastes like Chico fruit.
Chibi is staticly type and general-purpose programming language a that tastes like Pawpaw.