| |
| | Bruce Eckel's MindView, Inc: 3-22-04 How to Argue about Typing |
 | | The value of what I've been calling "weak typing," but which seems like it may be more predominantly called "latent typing," is fascinating, whatever we choose to call it. |
 | | Of course Smalltalk used latent typing, and so did not require the casts, but when Java followed this prescription it had static typing, and so you had the benefit of containers built with a singly-rooted hierarchy, but now you had to cast everything up and down all the time. |
 | | Static type checking is only one kind of testing, and very limited in its effect as you move out in space time from the point of compilation, the "software uncertainty principle" adds more and more noise to the results. |
| mindview.net /WebLog/log-0052 (4223 words) |
|