Programming language type system with automatic conversions

A programming language type system comprising:

• in a memory, a set of numeric types including integer types, fixed-point types and floating-point types;
• a set of type propagation rules to automatically determine result types of any combination of integer types, fixed-point types and floating-point types;
• and
• an assignment operator to explicitly specify a type of a value or computation.

A programming language type system comprising:

• in a memory, a set of numeric types including integer types, fixed-point types and floating-point types;
• a set of type propagation rules to automatically determine result types of any combination of integer types, fixed-point types and floating-point types;
• and
• operator annotations to explicitly specify a result type of a computation.

A programming language type system comprising:

• in a memory, a set of numeric types including integer types, fixed-point types and floating-point types;
• a set of type propagation rules to automatically determine result types of any combination of integer types, fixed-point types and floating-point types;
• and
• context-sensitive constants whose type is determined from a context of a constant according to the set of type propagation rules.