Assertion: function's domain | /r/HasProperty | expressible
Facets:
value: as a type
type: OTHER
Source sentences:
text: In a programming language where function parameters are statically typed, a function may be defined as a partial function because the language's type system cannot express the exact domain of the function, so the programmer instead gives it the smallest domain which is expressible as a type and contains the domain of definition of the function.