C for the c convention and how to translates to machine code and how you can use this convention to interact with libs. Smalltalk because it's pure, simplistic

C for the c convention and how to translates to machine code and how you can use this convention to interact with libs. Smalltalk because it's pure, simplistic and there isn't many languages that lives in a image, it's truly a a different kind of oop. Prolog because you try to understand what can you do with the computer if you just ask something to it. Haskell or some functional to understand lambda calculus and why is it powerful.