Reddit Comment Clearly Explains Type Systems 3rd January 2008 Programming type systems: static v dynamic, strong v weak, latent v manifest, nominal v structural.