ZType

E723783

Concept in WikiLambda Data type abstraction

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.

Try in SPARQL Jump to: Statements Referenced by

Statements (36)

Predicate	Object
instanceOf	Concept in WikiLambda ⓘ Data type abstraction ⓘ
appliesTo	Functions in WikiLambda ⓘ Other ZObjects ⓘ
associatedWith	Abstract Wikipedia initiative NERFINISHED ⓘ Wikimedia Foundation NERFINISHED ⓘ
context	Wikimedia technical infrastructure NERFINISHED ⓘ
contributesTo	Abstract Wikipedia goals NERFINISHED ⓘ 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 NERFINISHED ⓘ
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 NERFINISHED ⓘ Wikifunctions NERFINISHED ⓘ Wikimedia function ecosystem NERFINISHED ⓘ

Referenced by (1)

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

WikiLambda → coreConcept → ZType ⓘ