strong typing

Grrrrrrr. (this term is ambiguous but still very popular for some reason https://en.wikipedia.org/wiki/Type_safety#Strong_and_weak_typing)

There are other well defined ways to describe a type system, such as:

• Static vs dynamic
• Implicit vs manifest

e.g.

• Rust’s is mostly static and sometimes optionally implicit
• Haskell’s is static and optionally implicit
• Python’s, Lua’s, etc is dynamic and implicit
• C’s is static and manifest