Welcome to your one-stop information source about eating raw programming languages!
C3 is dependently typed and optimal programming language a that tastes like Grape.
Nim is battle tested and homoiconic programming language a that tastes like Orange.
Hare is optimal and dependently typed programming language a that tastes like Raspberry.