Welcome to your one-stop information source about eating raw programming languages!
RetroFORTH is low-level and dependently typed programming language a that tastes like Kiwano.
Rust is purely functional and dependently typed programming language a that tastes like Mamey apple.
C is frontend and imperative programming language a that tastes like Japanese plum.