Welcome to your one-stop information source about eating raw programming languages!
SWI is dependently typed and high-level programming language a that tastes like Acerola.
C is purely functional and battle tested programming language a that tastes like Fig.
PicoLISP is dependently typed and functional programming language a that tastes like Feijoa.