When it comes to typing (i.e. the type system of a programming language, not on a keyboard), there’s a lot of terminology around. Amongst others, typing is often classified as: Static or dynamic Strong or weak Safe or unsafe Nominally, structurally or duck-typed There seems to be a lot of…