Teep seestem

Frae Wikipedia
Jump to navigation Jump to search

In programmin leids, a teep seestem is a set o rules that assign a property cried teep tae various constructs a computer program conseests o, such as variables, expressions, functions or modules.[1]

References[eedit | eedit soorce]

  1. Pierce 2002, p. 1: "A type system is a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute."

Citit soorces