Please do not link to this article on Reddit or Hacker News. An important attribute of every type system is whether they are structural or nominal, they can even be mixed within a single type system. So it’s important to know the difference. A type is something like a string, a boolean, an object, or a class. They have names and they have structures. Primitives like strings or booleans have a very