An Entity of Type : yago:WrittenCommunication106349220, within Data Space : dbpedia.org associated with source document(s)

In computer science, a function type (or arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned, or an argument or result type of a higher-order function taking or returning a function. The function type can be considered to be a special case of the dependent product type, which among other properties, encompasses the idea of a polymorphic function.

AttributesValues
rdf:type
rdfs:label
• Function type
rdfs:comment
• In computer science, a function type (or arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned, or an argument or result type of a higher-order function taking or returning a function. The function type can be considered to be a special case of the dependent product type, which among other properties, encompasses the idea of a polymorphic function.
sameAs
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
foaf:isPrimaryTopicOf
prov:wasDerivedFrom
has abstract
• In computer science, a function type (or arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned, or an argument or result type of a higher-order function taking or returning a function. A function type depends on the type of the parameters and the result type of the function (it, or more accurately the unapplied type constructor <span class="nowrap">· → ·</span>, is a higher-kinded type). In theoretical settings and programming languages where functions are defined in curried form, such as the simply typed lambda calculus, a function type depends on exactly two types, the domain A and the range B. Here a function type is often denoted A → B, following mathematical convention, or BA, based on there existing exactly BA (exponentially many) set-theoretic functions mapping A to B. The function type can be considered to be a special case of the dependent product type, which among other properties, encompasses the idea of a polymorphic function.
id
• function+type
title
• function type
http://purl.org/voc/vrank#hasRank
http://purl.org/li...ics/gold/hypernym
is Link from a Wikipage to another Wikipage of
Faceted Search & Find service v1.17_git21 as of Mar 09 2019

Alternative Linked Data Documents: iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About

OpenLink Virtuoso version 07.20.3230 as of Apr 1 2019, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)