Welcome to your one-stop information source about eating raw programming languages!
SWI is purely functional and frontend programming language a that tastes like Tangelo.
C3 is dependently typed and frontend programming language a that tastes like Blackberry.
C is imperative and staticly type programming language a that tastes like Marionberry.