Many type systems do include a notion of automatic (implicit) conversion between types. This doesn’t preclude strong typing in the usual sense; then again, “str

Many type systems do include a notion of automatic (implicit) conversion between types. This doesn’t preclude strong typing in the usual sense; then again, “strong” is kind of a soft term, which isn’t really used in type theory.