|
|
|
|
|
|
by willtim
2783 days ago
|
|
|
Null checks are also opt-in, that's why Tony Hoare calls null his "Billion Dollar Mistake". Explicit runtime checks are in no way "similar" to static typing! Static typing is a machine-checked proof of correctness for a certain class of properties. |
|
|