| 
|
Quote: a robust library expresses constraints as types, reports errors relative to user, and does not cause application errors
topics >
all references >
references e-f >
Topic:
error safe systems
Topic:
function library
Topic:
error messages
Topic:
weak vs. strong type checking
Topic:
constraints
Topic:
data types are not needed
Quotation Skeleton
A library is called robust if (1) no … error messages do not point deep into library … be expressed as types are indeed represented as … are not represented by types, they cannot be … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: error safe systems (75 items)
Topic: function library (50 items)
Topic: error messages (37 items)
Topic: weak vs. strong type checking (39 items)
Topic: constraints (35 items)
Topic: data types are not needed (8 items)