Please enable JavaScript.
Coggle requires JavaScript to display documents.
TYPE CHECKING (Rules for Type Checking (Synthesis (builds up the type of…
TYPE CHECKING
To do type checking a compiler needs to assign a type expression to each component
of the source program.
-
-
An implementation of a language is strongly typed if a compiler guarantees that the
programs it accepts will run without type errors.
-
-
-
-
Substitutions, Instances, and Unification
-
Unification is the problem of determining whether two expressions s and t can be made identical by substituting expressions for the variables in s and t.