Map
Index
Random
Help
th

Quote: strong typing is difficult to define simply; e.g., inconsistent subtyping, operator overloading, ambiguous types for literals, target typing, automatic conversions that lose information

topics > all references > references m-o > QuoteRef: nelsG_1991 , p. 9



Topic:
weak vs. strong type checking

Quotation Skeleton

In actuality, strong typing is rarely so simple. … Algol family: a variable of type [0..9] may be safely assigned to an INTEGER, but not vice-versa … single type (overloading). The types of literals (for … is used (target-typing). Type mismatches may cause automatic …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: weak vs. strong type checking (39 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.