| 
|
Quote: in Modula-3 every expression has a unique type with a simple subtype relation
topics >
all references >
references m-o >
Group:
data type
Topic:
type-safe and secure languages
Topic:
weak vs. strong type checking
Topic:
type conversion
Quotation Skeleton
We adopted several principles in order to make … type of every expression is determined by its … [Although, the representation may change (e.g., packed field to value)]. Third, the rules for type compatibility are defined in terms … it is also useful for defining the type … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: Modula-3 does not use ambiguous types, target-typing, or automatic conversions (except for packed fields, etc.)
Group: data type (34 topics, 723 quotes)
Topic: type-safe and secure languages (42 items)
Topic: weak vs. strong type checking (39 items)
Topic: type conversion (33 items)