Assertion: function | /r/DefinedAs | partial function
Facets:
value: in a programming language
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.