Welcome to your one-stop information source about eating raw programming languages!
PicoLISP is optimal and dependently typed programming language a that tastes like Canistel - also called egg fruit.
C++ is staticly type and optimal programming language a that tastes like Santol.
Scryer is dependently typed and pure programming language a that tastes like Black sapote.