ZType

E723783

ZType is a fundamental data type abstraction used within the WikiLambda system to represent and structure functions and other typed entities in Wikimedia’s function ecosystem.

All labels observed (2)

Label Occurrences
ZType canonical 1
ZType system 1

How this entity was disambiguated

Statements (36)

Predicate Object
instanceOf Concept in WikiLambda ⓘ
Data type abstraction ⓘ
appliesTo Functions in WikiLambda ⓘ
Other ZObjects ⓘ
associatedWith Abstract Wikipedia initiative ⓘ
linked to: Abstract Wikipedia

Wikimedia Foundation ⓘ
context Wikimedia technical infrastructure ⓘ
contributesTo Abstract Wikipedia goals ⓘ
linked to: Abstract Wikipedia

Knowledge-as-code representation in Wikimedia projects ⓘ
defines Structure of function signatures ⓘ
Structure of typed entities ⓘ
domain Typed functional programming concepts ⓘ
enables Interoperability of functions in Wikifunctions ⓘ
Type checking in WikiLambda ⓘ
Validation of function definitions ⓘ
hasAbstractionLevel Type-level ⓘ
hasRole Core building block of WikiLambda ⓘ
Fundamental data type abstraction ⓘ
isAbstract true ⓘ
partOf WikiLambda type system ⓘ
purpose Represent functions ⓘ
Represent typed entities ⓘ
Structure functions ⓘ
Structure other typed entities ⓘ
relatedConcept ZFunction ⓘ
ZObject ⓘ
ZType system ⓘ
linked to: ZType
supports Language-independent function representation ⓘ
Machine-readable function metadata ⓘ
Reusable function definitions ⓘ
usedFor Describing input types of functions ⓘ
Describing output types of functions ⓘ
Describing parameter structures ⓘ
usedIn WikiLambda ⓘ
Wikifunctions ⓘ
Wikimedia function ecosystem ⓘ
linked to: Wikimedia ecosystem

How these facts were elicited

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

WikiLambda → coreConcept → ZType ⓘ
ZType → relatedConcept → ZType system ⓘ
linked to: ZType