| 
|
Quote: static type systems have little expressive power; they do not prevent users from accessing the first element of an empty list, creating off-by-one errors, or using null pointers
Topic:
dynamic vs. static data type
Topic:
weak vs. strong type checking
Group:
testing
Quotation Skeleton
current static type systems in main-stream object-oriented languages … they don't prevent [users] from accessing the first … even very simple approaches to testing capture virtually … [p. 29] Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: a simple testing strategy captures virtually all errors that a static type system would capture
Topic: dynamic vs. static data type (24 items)
Topic: weak vs. strong type checking (42 items)
Group: testing (18 topics, 557 quotes)