3 ms·

This is because the decision to type erase was very weird for a strong static typed language... You inject weak typing (unexpected conversations) into a strong

This is because the decision to type erase was very weird for a strong static typed language... You inject weak typing (unexpected conversations) into a strong type system by doing that.

stewbrew 8y ago
"Weird" is a strong word. Once the compiler has proven the codes satisfies certain type constraints you usually don't need the type information anymore ... except when you do of course.
- deleted 8y ago
  [deleted]