He's not inventing stuff, read Luca Cardelli's 1985 paper "On understanding types, data abstraction, and polymorphism" (http://lucacardelli.name/Papers/OnUnderstanding.pdf)
Reply To This Comment
About the site:
Peter Krumins' blog about programming, hacking, software reuse, software ideas, computer security, browserling, google and technology.
He's not inventing stuff, read Luca Cardelli's 1985 paper "On understanding types, data abstraction, and polymorphism" (http://lucacardelli.name/Papers/OnUnderstanding.pdf)
Reply To This Comment