|
|
|
|
|
|
by freeone3000
414 days ago
|
|
|
Python suffers from the same problems: its type system has many escapes and implicit conversions, making soundness opt-in and impossible to statically verify. Any language with an implicit cast from its bottom type to an upper type is unsuitable for use. |
|
|