|
|
|
|
|
|
by kazinator
1292 days ago
|
|
|
Programs never have to be rejected; programs can be diagnosed (so we are informed) and run anyway. Programs have to be rejected if there is no safe way to handle them at run-time, when for the sake of efficiency we removed the type bits from the data. (And not even always then; the programmer may have assured safety otherwise.) |
|
|