chharvey / counterpoint

A robust programming language.
GNU Affero General Public License v3.0
2 stars 0 forks source link

Type Claim Expressions #82

Closed chharvey closed 2 years ago

chharvey commented 2 years ago

The expression <T>expr tells the type system to treat expr as type T, even though it might have been computed as a different type. This is called a type claim, because we’re claiming that expr is of type T. (We say “claim” instead of “assert”, which is an unrelated concept.)