The terminology we have around types is really messed up. What's most annoying i...

kpmah on Oct 18, 2015 | parent | context | favorite | on: Several types of types in programming languages

The terminology we have around types is really messed up. What's most annoying is that 'static type system' and 'dynamic type system' are often seen as opposites of each other, but the 'type' in each of the names is a completely different concept.