Wikifunctions:Reserved ZIDs/bn

Technical documentation about Wikifunctions

General overviews
Function model
User-facing features
Support for Wikidata content Reserved ZIDs Type
Back-end specifics
Execution targets Representing identity WASM, Rust, and Speculation

This page details ZIDs that are reserved by Wikilambda, the software that runs Wikifunctions. All ZIDs with four digits or less are reserved. See Wikifunctions:Reserved ZIDs/all for a list of currently pre-defined objects.

We reserve certain spaces for certain kinds of pre-defined objects.

• Z1 – Z99: core types. (See § Core types below.)
• Z100 – Z199: validators for the core types (i.e. for each core type, +100 gives the validator), e.g. Z104 is the validator for Z4/Type
• Z200 – Z299: built-in implementations for the validators for the core types (i.e. Z204 is the built-in implementation for the validator for Z4/Type)
• Z300 – Z399: unassigned for now
• Z400 – Z499: reserved for local use
• Z500 – Z599: core error types (Z5xx because Z5 is error) (See § Core error types below.)
• Z600 – Z699: core programming languages (Z6xx because Z61 is programming language)
• Z700 – Z799: unassigned for now
• Z800 – Z899: definitions of core functions with built-ins (Z8xx because Z8 is function) (See § Core functions below.)
• Z900 – Z999: built-ins for the core functions (they are +100 from the respective Z8xx)
• Z1000 – Z2999: natural languages (instances of Z60)
• Z3000 – Z5999: reserved for future use
• Z6000 – Z6999: types, functions, etc. for using content from Wikidata and other Wikimedia sources
  • Z6000 – Z6099: types for content from Wikidata and other Wikimedia sources (See § Wikidata types below.)
  • Z6100 – Z6199: validators for these types
  • Z6200 – Z6299: built-in implementations of the validators
  • Z6800 – Z6899: helper functions for these types that need to be built-in (e.g., fetching, equality) (See § Wikidata functions below.)
  • Z6900 – Z6999: built-in implementations of the helper functions
• Z7000 – Z7999: reserved for future use
• Z8000 – Z8999: Testers for each pre-defined function (e.g. Z801 is tested via Z8010, Z8011, Z8012, … Z8019).
• Z9000 – Z9999: reserved for future use

• Z1: Object (Z1) (Type), the root.
• Z2: Persistent object (Z2) (Type): everything on the wiki is a Z2, that's why this has such a low ZID.
• Z3: Key (Z3) (Type): because the word key has three letters in English.
• Z4: Type (Z4) (Type): because the word type has four letters in English.
• Z5: Error (Z5) (Type): because the word error has five letters in English. (See § Core error types below.)
• Z6: String (Z6) (Type): because the word string has six letters in English.
• Z7: Function call (Z7) (Type): because function calls are the main magic of the system, and 7 is a magic number. It is also close to Z8.
• Z8: Function (Z8) (generic type, thus technically a function): because function has eight letters in English. (See § Core functions below.)
• Z9: Reference (Z9) (Type): because the word reference has nine letters in English.
• Z10: Not yet assigned.
• Z11: Monolingual text (Z11) (Type): because it is just one language, and there's a one in the name.
• Z12: Multilingual text (Z12) (Type): because it's an extension of Z11.
• Z13: Not yet assigned.
• Z14: Implementation (Z14) (Type): because the word implementation has fourteen letters in English.
• Z15: Not yet assigned.
• Z16: Code (Z16) (Type): no good reason, it's close to Z14, and Z61/Programming language.
• Z17: Argument declaration (Z17) (Type).
• Z18: Argument reference (Z18) (Type).
• Z19: Not yet assigned.
• Z20: Test case (Z20) (Type): because 20/20 is perfect vision, and tests make errors visible.
• Z21: Unit (Z21) (Type).
• Z22: Evaluation result (Z22) (Type).
• Z23: Nothing (Z23) (Type).
• Z24: void (Z24) (Unit).
• Z25: Not yet assigned.
• Z26: Not yet assigned.
• Z27: Not yet assigned.
• Z28: Not yet assigned.
• Z29: Not yet assigned.
• Z30: Not yet assigned.
• Z31: Monolingual stringset (Z31) (Type).
• Z32: Multilingual stringset (Z32) (Type): because it's an extension of Z31.
• Z33: Not yet assigned.
• Z34: Not yet assigned.
• Z35: Not yet assigned.
• Z36: Not yet assigned.
• Z37: Not yet assigned.
• Z38: Not yet assigned.
• Z39: Key reference (Z39) (Type): because Z3/Key Z9/Reference.
• Z40: Boolean (Z40) (Type): because Boole first published in (18)40.
• Z41: true (Z41) (Boolean).
• Z42: false (Z42) (Boolean).
• Z43: Not yet assigned.
• Z44: Not yet assigned.
• Z45: Not yet assigned.
• Z46: Type converter to code (Z46) (Type): because it converts a Z4/Type into code in a Z61/Programming language.
• Z47: Not yet assigned.
• Z48: Not yet assigned.
• Z49: Not yet assigned.
• Z50: Error type (Z50) (Type): because Error is Z5.
• Z60: Natural language (Z60) (Type): because Z6 is a string.
• Z61: Programming language (Z61) (Type): because Z16 is code.
• Z64: Type converter from code (Z64): because it is the inverse of Z46.
• Z80: Byte (Z80) (Type): because it is an octet.
• Z84: Not yet assigned.
• Z85: Not yet assigned.
• Z86: Unicode code point (Z86) (Type): because it is not exactly a Z80/Byte, but more like Z6/String.
• Z89: HTML fragment (Z89) (Type)
• Z99: Quote (Z99) (Type): because it looks a bit like a closing quotation mark in English.

• Z6001: Wikidata item (Z6001) (Type)
• Z6002: Wikidata property (Z6002) (Type)
• Z6003: Wikidata statement (Z6003) (Type)
• Z6004: Wikidata lexeme form (Z6004) (Type)
• Z6005: Wikidata lexeme (Z6005) (Type)
• Z6006: Wikidata lexeme sense (Z6006) (Type)
• Z6007: Wikidata property claim (Z6007) (Type)
• Z6008: Wikidata reference (Z6008) (Type)
• Z6010: Wikidata quantity (Z6010) (Type)
• Z6011: Wikidata geo-coordinate (Z6011) (Type)
• Z6020: Wikidata claim subtype (Z6020) (Type)
• Z6021: value (Z6021) (Claim subtype)
• Z6022: no value (Z6022) (Claim subtype)
• Z6023: some value (Z6023) (Claim subtype)
• Z6030: Wikidata entity part (Z6030) (Type)
• Z6031: info (Z6031) (Entity part)
• Z6032: datatype (Z6032) (Entity part)
• Z6033: labels (Z6033) (Entity part)
• Z6034: descriptions (Z6034) (Entity part)
• Z6035: aliases (Z6035) (Entity part)
• Z6036: statements (Z6036) (Entity part)
• Z6037: sitelinks (Z6037) (Entity part)
• Z6038: sitelinks/urls (Z6038) (Entity part)
• Z6040: Wikidata statement rank (Z6040) (Type)
• Z6041: preferred (Z6041) (Statement rank)
• Z6042: normal (Z6042) (Statement rank)
• Z6043: deprecated (Z6043) (Statement rank)
• Z6060: Time of day (Z6060) (Type)
• Z6061: Wikidata datetime (Z6061) (Type)
• Z6062: Wikidata time precision (Z6062) (Type)
• Z6063: Wikidata calendar model (Z6063) (Type)
• Z6064: Wikidata time (Z6064) (Type)
• Z6091: Wikidata item reference (Z6091) (Type)
• Z6092: Wikidata property reference (Z6092) (Type)
• Z6094: Wikidata lexeme form reference (Z6094) (Type)
• Z6095: Wikidata lexeme reference (Z6095) (Type)
• Z6096: Wikidata lexeme sense reference (Z6096) (Type)

• Z801 Echo (Z801): returns the argument unchanged: T ➝ T
• Z802 If (Z802): depending on whether the condition is true will return one or the other value: Boolean, T, T ➝ T
• Z803 Value by key (Z803): returns the value (Object) associated with the specified Key reference: Key reference, Any ➝ Any

  Z3/Key

• Z804 Values by keys (Z804): returns the key–value pair for each of the given list of Key references, as a typed map (Key reference, Object): List(Key reference) ➝ Abt
• Z805 Reify (Z805): Returns a list of key-value pairs representing the object given: Any ➝ List(Pair(Key reference, Any))

  Reify has five letters

• Z808 Abstract (Z808): Takes a list of key-value pairs representing an object and returns the corresponding object: List(Pair(Key reference, Any)) ➝ Any

  Abstract has eight letters.

• Z810 prepend element to list (Z810): adds the supplied element to the start of the supplied list: T, List(T) ➝ List(T)

  (because Z10 is list).

• Z811 first element (Z811): returns the first element of the input list (labelled “Item 1”): List(T) ➝ T

  (because Z10 was going to be list and we get the first)

• Z812 list without first element (Z812): returns a list without the first element: List(T) ➝ List(T)

  (because Z10 was going to be list and we get the second, the rest)

• Z813 Is empty list (Z813): returns true if and only if the list has zero elements: List(T) ➝ Boolean

  (because Z13 was planned to be empty list).

• Z820 Trigger metadata (Z820): বিবরণ অনুপস্থিত: String, Any ➝ Any
• Z821 Get first element of a Typed pair (Z821): বিবরণ অনুপস্থিত: Pair(T1, T2) ➝ T1

  (because Z22 is pair).

• Z822 Get second element of a typed pair (Z822): বিবরণ অনুপস্থিত: Pair(T1, T2) ➝ T2

  (because Z22 is pair).

• Z844 Boolean equality (Z844): returns true only if both inputs are equal: Boolean, Boolean ➝ Boolean
• Z850 Try-Catch Function (Z850): বিবরণ অনুপস্থিত: Object, Error type, Object ➝ Object

  (because it deals with Z5/Errors)

• Z851 Throw Error (Z851): বিবরণ অনুপস্থিত: Error type, List(T) ➝ Unit
• Z852 Is error type (Z852): বিবরণ অনুপস্থিত: Error, Error type ➝ Boolean
• Z853 Get error thrown by function call (Z853): বিবরণ অনুপস্থিত: Object ➝ Pair(Error, Object)
• Z854 Add debug log to function call (Z854): বিবরণ অনুপস্থিত: Object ➝ String
• Z860 language tag to language (Z860): Converts BCP 47 language tag to Z60/Natural language object: String ➝ Language
• Z866 string equality (Z866): True if the first string and the second string are the same: String, String ➝ Boolean
• Z868 Replaced by String to codepoint list (Z22717): Converts a string to a list of codepoints. Reverse at Z22693: String ➝ List(Character)

  Because Z6/String and Z86/Character.

• Z873 map function (Z873): return a list of elements processed by a given function Function, List ➝ List
• Z876 Reduce Function (Z876): iterates the application of a two-parameter function, the first parameter uses the initial object or the previous result, the second parameter uses the next item on the list: Function, List, Object ➝ Object
• Z877 HTML fragment equality (Z877): বিবরণ অনুপস্থিত: HTML fragment -> HTML fragment
• Z881 Typed list (Z881): A list containing items of the same type: Type ➝ Type
• Z882 Typed pair (Z882): A type that holds a pair of types: Type, Type ➝ Type
• Z883 Typed map (Z883): an unordered list of elements, each containing a unique key that points to the element's contained value: T ➝ T
• Z884 Typed enum of ZObject references (Z884): বিবরণ অনুপস্থিত: Type, List(Reference), String ➝ Type
• Z885 Errortype to type (Z885): বিবরণ অনুপস্থিত: Error type ➝ Type
• Z886 Replaced by Codepoint list to string (Z22693): Converts a list of code points to a string. Reverse at Z22717: List*(Character) ➝ String

  because Z86/Character and Z6/String.

• Z888 Replaced by Code point equality (Z22683): tests whether two code-point realisations (as entered) have identical Unicode code-point representations: Character, Character ➝ Boolean
• Z899 Unquote (Z899): extracts the object from within a Quote object: Quote ➝ Any

  because Z99/Quote.

• Z6801 to Z6808 are the 'same object' functions corresponding to Z6001 to Z6008.
• Z6820 Fetch Wikidata entities (Z6820): For each entity reference (Z6091/2/4/5/6) given, return the referenced entity, in a map with entity IDs as keys. If an error comes back for a given reference, that ID is omitted from the map.: List(Object) ➝ Map(String, Object)
• Z6821 Fetch Wikidata item (Z6821): বিবরণ অনুপস্থিত: Item reference ➝ Item
• Z6822 Fetch Wikidata property (Z6822): বিবরণ অনুপস্থিত: Property reference ➝ Property
• Z6824 Fetch Wikidata lexeme form (Z6824): বিবরণ অনুপস্থিত: Lexeme form reference ➝ Lexeme form
• Z6825 fetch Wikidata lexeme (Z6825): বিবরণ অনুপস্থিত: Lexeme reference ➝ Lexeme
• Z6826 Fetch Wikidata lexeme sense (Z6826): returns the lexeme sense given the lexeme sense reference (in the form L###-S# ): Lexeme sense reference ➝ Lexeme sense
• Z6830 Find lexemes for a Wikidata item (Z6830): Search for lexemes related to the given item by the given property, and return those having the given language: Item reference, Property reference, Natural language ➝ List(Lexeme reference)
• Z6831 Find lexemes for a Wikidata lexeme sense (Z6831): Search for lexemes related to the given lexeme sense by the given property, and return those having the given language: Lexeme sense reference, Property reference, Natural language ➝ List(Lexeme reference)
• Z6884 Typed enum of Wikidata references (Z6884): বিবরণ অনুপস্থিত: Type, List(Object), String ➝ Type
• Z6894 same Wikidata enum instance (Z6894): Checks equality of 2 instances of a type created by a call to Z6884
• Z6895 Get Wikidata reference from enum instance (Z6895): Returns the Wikidata entity reference from an instance of a lightweight enum type: Object ➝ Object
• Z6896 Get values from Wikidata enum (Z6896): Returns the list of values from a persisted Wikidata enum: List(String) ➝ Object

• JSON syntax error (Z501) (error message, input): syntax error
• Not wellformed (Z502) (subtype, value): not wellformed, points to Z52x or Z53x
• no connected implementation yet (Z503) (function name): not implemented yet
• ZID not found (Z504) (zid): Zid not found
• Number of arguments mismatch (Z505) (expected, actual, args): number of arguments mismatch
• Argument type mismatch (Z506) (expected, actual, arg): argument type mismatches
• Error in evaluation (Z507) (function call): error in evaluation
• Competing keys (Z508) (object): competing keys
• List of errors (Z509) (errors): List of errors
• NIL (Z510) (none): nil
• Key not found (Z511) (key reference, object): key not found
• Test failed (Z512) (object): Z9 error
• Resolved persistent object without value (Z513) (resolved object): resolved object without Z2K2
• Built-in does not exist (Z514) (implementation): Builtin does not exist
• Built-in ID is erroneous (Z515) (implementation): Builtin ID is erroneous
• Argument value error (Z516) (key, bad value): Argument value error
• Return type mismatch (Z517) (expected type, actual type, returned value, propagated error): Return type mismatch
• Object type mismatch (Z518) (expected type, object, propagated error): Object type mismatch
• Undefined list type in benjamin array (Z519) (object): Undefined list type
• Wrong list type in benjamin array (Z520) (object): Wrong list type
• Objects must not be a number or Boolean or null (Z521) (offending value): ZObjects must not be number or boolean or null
• Array element not wellformed (Z522) (offending index in array, propagated error): Array element not well formed
• Missing Z1K1 (Z523) (object): Missing Z1K1
• Z1K1 must not be a string or array (Z524) (value of Z1K1): Z1K1 must not be a string or array
• Invalid key (Z525) (key): Invalid key
• Key value not wellformed (Z526) (key, propagated error): not wellformed value]
• Unable to connect to host (Z529) (host name)
• Error in the function call API (Z530) (function call, propagated error)
• Z6 must have two keys (Z531) (whole object): Z6 must have 2 keys
• Z6 without Z6K1 (Z532) (whole object): Z6 without a Z6K1
• Z6K1 must be a string (Z533) (value of Z6K1): Z6K1 must be a string
• Z9 must have two keys (Z534) (whole object): Z9 must have 2 keys
• Z9 without Z9K1 (Z535) (whole object): Z9 without a Z9K1
• Z9K1 must be a string (Z536) (value of Z9K1): Z9K1 must be a string in JSON
• Z9K1 must look like a reference (Z537) (value of Z9K1): Z9K1 must look like a reference
• Wrong namespace (Z538) (page title): wrong namespace
• wrong content type (Z539) (page title): wrong content type
• Invalid language code (Z540) (language code): invalid language code
• Language code not found (Z541) (language code): language code not found
• Unexpected Object type (Z542) (expected type, actual object): expected type, actual object
• Type not found (Z543) (type name): type not found
• Conflicting type names (Z544) (type zid, type name, existing type name): conflicting type names
• Conflicting type identifiers (ZIDs) (Z545) (type zid, type name, existing type zid): conflicting type Zids
• Built-in type not found (Z546) (type zid, type name): builtin type not found
• Invalid format (Z547) (input): invalid format
• Invalid JSON (Z548) (error message, input): invalid JSON
• Invalid reference (Z549) (reference value): invalid ZReference
• Unknown reference (Z550) (reference value): unknown ZReference
• Schema type mismatch (Z551) (key, expected type, actual type): schema type mismatch
• Array element type mismatch (Z552) (index, expected type, actual type): array element type mismatch
• Disallowed root type (Z553) (zobject): disallowed root type
• Label for a given language clashes with another Object's label (Z554) (clashing ZID, language): label clashes with another ZObject's label
• Unmatching ZID and page title (Z555) (ZID, title): mis-matched ZID and page title
• Invalid page title (Z556) (title): invalid page title
• User does not have permission to edit (Z557) (error message): user does not have permission
• Invalid programming language (Z558) (programming language): invalid programming language
• User not permitted to evaluate function (Z559) (none): user not permitted to evaluate function
• Invalid evaluation result (Z560) (evaluation result): invalid evaluation result
• Invalid evaluation request (Z561) (propagated error): invalid evaluation request
• Incomplete evaluation request (Z562) (missing property): incomplete evaluation request
• Callback attempted from non-permitted call (Z563) (call): call by non-reentrant executor
• Invalid executor response (Z564) (contents): invalid executor response
• Incomplete executor request (Z565) (missing property): Incomplete executor request
• Reached rate limit in orchestrator (Z570) (orchestrator rate limit): reached rate limit in orchestrator
• Reached rate limit in evaluator (Z571) (evaluator rate limit): reached rate limit in evaluator
• Reached recursion limit in orchestrator (Z572) (recursion limit, function name): reached recursion limit in orchestrator
• Reached recursion limit in evaluator (Z573) (recursion limit, function name): reached recursion limit in evaluator
• Reached time limit in orchestrator (Z574) (time limit): reached time limit in orchestrator
• Reached time limit in evaluator (Z575) (time limit): reached time limit in evaluator
• Could not acquire WASI runner within time limit (Z576) (time limit)
• Duplicate languages in a Multilingual string are not allowed (Z580) (duplicate language)

• Overview of notes