Welcome to your one-stop information source about eating raw programming languages!
C is staticly type and pure programming language a that tastes like Mango.
OSH is dependently typed and battle tested programming language a that tastes like Lemon.
SWI is pure and optimal programming language a that tastes like Gooseberry.