Grammar is the basic tool of writing. Atoms are the basic tool of physics. Etc. What I think this post is reaching for is not types, and it’s beyond even abstr

Grammar is the basic tool of writing. Atoms are the basic tool of physics. Etc. What I think this post is reaching for is not types, and it’s beyond even abstract data structures. It's really templates, which is a general concept that gets used in every design scenario. Numbers are templates, integers are templates, bits are templates. We can describe how the idea works to each other and partly to the computer but it’s up to the programmer to animate them. Once you understand the concept you see it everywhere. Super Mario is full of templates: you jump on an enemy’s head, or sometimes it doesn’t work but gives you a clue to do something else. Templates are nodes of understanding.