Typing rule
How a type system assigns a type to a syntactic construction / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Type rule?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
In type theory, a typing rule is an inference rule that describes how a type system assigns a type to a syntactic construction.[1]:ā94ā These rules may be applied by the type system to determine if a program is well-typed and what type expressions have. A prototypical example of the use of typing rules is in defining type inference in the simply typed lambda calculus, which is the internal language of Cartesian closed categories.[2]