维基函数：保留的 Z 编号

维基函数技术文档

概述
函数模型
面向用户的功能
对维基数据内容的支持 保留的 Z 编号 类
后端细节
演绎靶标 标志标识 WASM，Rust，以及猜测

本页面详细列出了由 Wikilambda，运行维基函数的软件保留的 Z 编号。所有四位数及以下的 Z 编号均被保留。当前预定义对象的表参见 Wikifunctions:Reserved ZIDs/all。

范围

我们为某些种类的预定义对象预留特定空间。

• Z1 – Z99: 核心类型。 （参见下文§ 核心类型。）
• Z100 – Z199: 核心类型的验证器（即对于每个核心类型，+100对应一个验证器），例如 Z104是 Z4/类的验证器
• Z200 – Z299: built-in implementations for the validators for the core types (e.g. Z204 is the built-in implementation for the validator for Z4/Type)
• Z300 – Z399: 暂未分配
• Z400 – Z499: 预留供本地使用
• Z500 – Z599: 核心错误类型（Z5xx，因为 Z5属于错误） （参见下文§ 核心错误类型。）
• Z600 – Z699: 核心编程语言（Z6xx，因为 Z61属于编程语言）
• Z700 – Z799: 暂未分配
• Z800 – Z899: 内置函数的核心功能定义（Z8xx，因为 Z8是函数） （参见下文§ 核心函数。）
• Z900 – Z999: 核心功能的内置实现（比相应的 Z8xx +100）
• Z1000 – Z2999: 自然语言（Z60的实例）
• Z3000 – Z5999: 保留待未来使用
• Z6000 – Z6999: 类型，函数，等用于调用维基数据及其他维基媒体来源的内容
  • Z6000 – Z6099: 来自维基数据和其他维基媒体来源的内容类型 (See § Wikidata types below.)
  • Z6100 – Z6199: 这些类型的验证器
  • Z6200 – Z6299: 验证器的内置实现
  • Z6800 – Z6899: 这些类型所需的内置辅助函数（例如，抓取，相等） (See § Wikidata functions below.)
  • Z6900 – Z6999: 辅助函数的内置实现
• Z7000 – Z7999: 保留待未来使用
• Z8000 – Z8999: 每个预定义函数的测试用例（如 Z801通过 Z8010，Z8011，Z8012，……Z8019进行测试）。
• Z9000 – Z9999: 保留待未来使用

核心类型

• Z1: Object​（Z1）（类型），基础。
• 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).

• Z823 Get envelope from function call​（Z823）：​Returns a tuple with the result as the first element and the evaluation metadata as the second element: Quote ➝ Pair(Object, Object)
• Z825 Render abstract fragment​（Z825）：​This is used to power Abstract Wikipedia. Input labels are used in the editing interface there.: Item reference, Natural language, Gregorian calendar date ➝ HTML fragment
• Z828 fetch Persistent object​（Z828）：​returns the Persistent object identified by the given Reference (enclosed within a Quote object): Quote ➝ Persistent object
• Z832 Monolingual stringset equality​（Z832）：​描述缺失: Monolingual stringset, Monolingual stringset ➝ Boolean
• 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
• Z862 Natural language equality​（Z862）：​描述缺失: Natural language, Natural language ➝ Boolean
• 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.

• Z872 Filter Function​（Z872）：​return elements meeting criteria given by a function: Function, Typed list (Object) ➝ Object
• 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
• Z889 List equality​（Z889）：​lists are exactly the same elements in the same order (whether or not either list is explicitly typed). See Z18646 for one that requires same type: Typed list (Object), Typed list (Object), Function ➝ 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）：​used to construct enumeration types, see Help:Wikidata#Lightweight enumerations: 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

• Unspecified error​（Z500） (error information): unspecified error
• 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