Wikifunctions:Rezervované ZIDy

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

Tato stránka popisuje ZIDy, které jsou vyhrazené pro Wikilambda, software, na kterém Wikifunkce běží. Všechny ZIDy se čtyřmi nebo méně číslicemi jsou vyhrazené. Seznam všech potenciálních předdefinovaných objektů najdete na Wikifunctions:Reserved ZIDs/all.

Rozsahy

Určité prostory vyhrazujeme pro určité druhy předem definovaných objektů.

• Z1 – Z99: základní typy. (Viz § Základní typy níže.)
• Z100 – Z199: validátory pro základní typy (tj. pro každý základní typ existuje validátor pod +100), např. Z104 je validátor pro Z4/Typ
• Z200 – Z299: vestavěné implementace validátorů pro základní typy (tj. Z204 je vestavěná implementace validátoru pro Z4/Typ).
• Z300 – Z399: prozatím nepřiřazeno
• Z400 – Z499: vyhrazeno pro místní použití
• Z500 – Z599: základní typy chyb (Z5xx protože Z5 je chyba) (Viz § Základní typy chyb níže.)
• Z600 – Z699: základní programovací jazyky (Z6xx protože Z61 je programovací jazyk)
• Z700 – Z799: prozatím nepřiřazeno
• Z800 – Z899: definice základních funkcí s vestavěnými moduly (Z8xx protože Z8 je funkce) (Viz § Základní funkce níže.)
• Z900 – Z999: vestavěné moduly pro základní funkce (jsou +100 od příslušného Z8xx).
• Z1000 – Z2999: přirozené jazyky (instance Z60)
• Z3000 – Z5999: vyhrazeno pro budoucí použití
• Z6000 – Z6999: typy, funkce atp. pro využívání obsahu Wikidat a dalších projektů nadace Wikimedia
  • Z6000 – Z6099: typy pro obsah Wikidat a dalších projektů Wikimedia (See § Wikidata types below.)
  • Z6100 – Z6199: validátory pro tyto typy
  • Z6200 – Z6299: vestavěné implementace validátorů
  • Z6800 – Z6899: pomocné funkce pro tyto typy, které musí být vestavěné (např. načítání, rovnost) (See § Wikidata functions below.)
  • Z6900 – Z6999: vestavěné implementace pomocných funkcí
• Z7000 – Z7999: vyhrazeno pro budoucí užití
• Z8000 – Z8999: Testery pro každou předem definovanou funkci (např. Z801 se testuje prostřednictvím Z8010, Z8011, Z8012, ... Z8019).
• Z9000 – Z9999: vyhrazeno pro budoucí použití

Základní typy

• Z1: Object (Z1) (Typ), kořenový prvek.
• Z2: Persistent object (Z2) (Typ): vše na wiki je Z2, proto má tak nízký ZID.
• Z3: Key (Z3) (Typ): protože slovo key má v angličtině tři písmena.
• Z4: Type (Z4) (Typ): protože slovo type má v angličtině čtyři písmena.
• Z5: Error (Z5) (Typ): protože slovo error má v angličtině pět písmen. (Viz § Základní typy chyb níže.)
• Z6: String (Z6) (Typ): protože slovo string má v angličtině šest písmen.
• Z7: Function call (Z7) (Typ): protože volání funkcí tvoří hlavním kouzlo tohoto systému a 7 je kouzelné číslo. Je také blízké hodnotě Z8.
• Z8: Function (Z8) (generický typ, technicky tedy funkce): protože function má v angličtině osm písmen. (Viz § Základní funkce níže.)
• Z9: Reference (Z9) (Typ): protože slovo reference má v angličtině devět písmen.
• Z10: Ještě není přiděleno.
• Z11: Monolingual text (Z11) (Typ): protože je to jen jeden jazyk a v názvu je jeden.
• Z12: Multilingual text (Z12) (Typ): protože se jedná o rozšíření Z11.
• Z13: Ještě není přiděleno.
• Z14: Implementation (Z14) (Typ): protože slovo implementation má v angličtině čtrnáct písmen.
• Z15: Ještě není přiděleno.
• Z16: Code (Z16) (Typ): žádný dobrý důvod, je to podobné Z14 a Z61/Programovací jazyk.
• Z17: Argument declaration (Z17) (Typ).
• Z18: Argument reference (Z18) (Typ).
• Z19: Ještě není přiděleno.
• Z20: Test case (Z20) (Typ): protože 20/20 je dokonalý zrak a testy zviditelňují chyby.
• Z21: Unit (Z21) (Typ).
• Z22: Evaluation result (Z22) (Typ).
• Z23: Nothing (Z23) (Typ).
• Z24: void (Z24) (Jednotkový typ).
• Z25: Ještě není přiděleno.
• Z26: Ještě není přiděleno.
• Z27: Ještě není přiděleno.
• Z28: Ještě není přiděleno.
• Z29: Ještě není přiděleno.
• Z30: Ještě není přiděleno.
• Z31: Monolingual stringset (Z31) (Typ).
• Z32: Multilingual stringset (Z32) (Typ): protože se jedná o rozšíření Z31.
• Z33: Ještě není přiděleno.
• Z34: Ještě není přiděleno.
• Z35: Ještě není přiděleno.
• Z36: Ještě není přiděleno.
• Z37: Ještě není přiděleno.
• Z38: Ještě není přiděleno.
• Z39: Key reference (Z39) (Typ): protože Z3/Klíč Z9/Reference.
• Z40: Boolean (Z40) (Typ): protože Boole poprvé publikoval v roce (18)40.
• Z41: true (Z41) (Logická hodnota).
• Z42: false (Z42) (Logická hodnota).
• Z43: Ještě není přiděleno.
• Z44: Ještě není přiděleno.
• Z45: Ještě není přiděleno.
• Z46: Type converter to code (Z46) (Typ): protože převádí Z4/Typ na kód v Z61/Programovacím jazyce.
• Z47: Ještě není přiděleno.
• Z48: Ještě není přiděleno.
• Z49: Ještě není přiděleno.
• Z50: Error type (Z50) (Typ): protože Chyba je Z5.
• Z60: Natural language (Z60) (Typ): protože Z6 je Řetězec.
• Z61: Programming language (Z61) (Typ): protože Z16 je Zdrojový kód.
• Z64: Type converter from code (Z64): protože je to opak Z46.
• Z80: Byte (Z80) (Typ): protože je to oktet.
• Z84: Ještě není přiděleno.
• Z85: Ještě není přiděleno.
• Z86: Unicode code point (Z86) (Typ): protože to není přesně Z80/Bajt, ale spíše Z6/Řetězec.
• Z89: HTML fragment (Z89) (Typ)
• Z99: Quote (Z99) (Typ): protože v angličtině to vypadá trochu jako uzavírací uvozovka.

Typy pro Wikidata

• 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)

Základní funkce

• 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/Klíč

• 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 má pět písmen.

• 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 má osm písmen.

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

  (protože Z10 je seznam).

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

  (protože Z10 měl být seznam a my získáváme to první)

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

  (protože Z10 měl být seznam a my získáváme to druhé, zbytek)

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

  (protože Z13 měl být prázdný seznam)

• Z820 Trigger metadata (Z820): Description missing: String, Any ➝ Any
• Z821 Get first element of a Typed pair (Z821): Description missing: Pair(T1, T2) ➝ T1

  (protože Z22 je dvojice).

• Z822 Get second element of a typed pair (Z822): Description missing: Pair(T1, T2) ➝ T2

  (protože Z22 je dvojice).

• Z844 Boolean equality (Z844): returns true only if both inputs are equal: Boolean, Boolean ➝ Boolean
• Z850 Try-Catch Function (Z850): Description missing: Object, Error type, Object ➝ Object

  (protože řeší Z5/Chyby)

• Z851 Throw Error (Z851): Description missing: Error type, List(T) ➝ Unit
• Z852 Is error type (Z852): Description missing: Error, Error type ➝ Boolean
• Z853 Get error thrown by function call (Z853): Description missing: Object ➝ Pair(Error, Object)
• Z854 Add debug log to function call (Z854): Description missing: 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 Nahrazeno String to codepoint list (Z22717): Converts a string to a list of codepoints. Reverse at Z22693: String ➝ List(Character)

  Protože Z6/Řetězec a Z86/Kódový bod Unicode.

• 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): Description missing: 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): Description missing: Type, List(Reference), String ➝ Type
• Z885 Errortype to type (Z885): Description missing: Error type ➝ Type
• Z886 Nahrazeno Codepoint list to string (Z22693): Converts a list of code points to a string. Reverse at Z22717: List*(Character) ➝ String

  protože Z86/Kódový bod Unicode a Z6/Řetězec.

• Z888 Nahrazeno 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

  protože Z99/Citace.

Funkce pro Wikidata

• Z6801 až Z6808 jsou funkce „stejný objekt“ odpovídající Z6001 až 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): Description missing: Item reference ➝ Item
• Z6822 Fetch Wikidata property (Z6822): Description missing: Property reference ➝ Property
• Z6824 Fetch Wikidata lexeme form (Z6824): Description missing: Lexeme form reference ➝ Lexeme form
• Z6825 fetch Wikidata lexeme (Z6825): Description missing: 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): Description missing: 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

Základní typy chyb

• JSON syntax error (Z501) (chybová zpráva, vstup): syntaktická chyba
• Not wellformed (Z502) (podtyp, hodnota): není dobře zapsáno, ukazuje na Z52x nebo Z53x
• no connected implementation yet (Z503) (název funkce): zatím neimplementováno
• ZID not found (Z504) (zid): Zid nebyl nenalezen
• Number of arguments mismatch (Z505) (očekáváný počet, vložený počet, argumenty): nesprávný počet argumentů
• Argument type mismatch (Z506) (očekávaný typ, vložený typ, argument): nesprávný typ argumentu
• Error in evaluation (Z507) (volání funkce): chyba při evaluaci
• Competing keys (Z508) (objekt): konkurenční klíče
• List of errors (Z509) (chyby): Seznam chyb
• NIL (Z510) (none): nil
• Key not found (Z511) (klíč, objekt): klíč nebyl nalezen
• Test failed (Z512) (object): Z9 chyba
• Resolved persistent object without value (Z513) (cílový objekt): cílový objekt bez Z2K2
• Built-in does not exist (Z514) (implementace): Builtin (zabudovaná funkce) neexistuje
• Built-in ID is erroneous (Z515) (implementace): Builtin ID (zabudované ID) je chybné
• Argument value error (Z516) (klíč, špatná hodnota): Chyba hodnoty argumentu
• 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) (chybná hodnota): ZObject nesmí být číslo nebo boolean nebo null
• Array element not wellformed (Z522) (chybný index v poli, propagovaná chyba): Prvek pole není správný
• Missing Z1K1 (Z523) (objekt): Chybí Z1K1
• Z1K1 must not be a string or array (Z524) (hodnota Z1K1): Z1K1 nesmí být string (řetězec) nebo array (pole)
• Invalid key (Z525) (klíč): Neplatný klíč
• Key value not wellformed (Z526) (klíč, propagovaná chyba): není správně formulovaná hodnota]
• 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) (celý objekt): Z6 musí mít 2 klíče
• Z6 without Z6K1 (Z532) (celý objekt): Z6 bez Z6K1
• Z6K1 must be a string (Z533) (hodnota Z6K1): Z6K1 musí být string (řetězec)
• Z9 must have two keys (Z534) (celý objekt): Z9 musí mít 2 klíče
• Z9 without Z9K1 (Z535) (celý objekt): Z9 bez Z9K1
• Z9K1 must be a string (Z536) (hodnota Z9K1): Z9K1 musí být string (řetězec) ve formátu JSON
• Z9K1 must look like a reference (Z537) (hodnota Z9K1): Z9K1 musí být reference (odkaz)
• Wrong namespace (Z538) (název stránky): chybný jmenný prostor
• wrong content type (Z539) (název stránky): chybný typ obsahu
• Invalid language code (Z540) (kód jazyka): neplatný kód jazyka
• Language code not found (Z541) (kód jazyka): kód jazyka nebyl nalezen
• Unexpected Object type (Z542) (očekávaný typ, zadaný objekt): očekávaný typ, zadaný objekt
• Type not found (Z543) (název typu): typ nenalezen
• Conflicting type names (Z544) (typ zid, název typu, existující název typu): konfliktní názvy typů
• Conflicting type identifiers (ZIDs) (Z545) (typ zid, název typu, existující typ zid): konfliktní typ Zidů
• Built-in type not found (Z546) (typ zid, název typu): builtin type (vestavěný typ) nenalezen
• Invalid format (Z547) (vstup): neplatný formát
• Invalid JSON (Z548) (chybová zpráva, vstup): neplatný JSON
• Invalid reference (Z549) (referenční hodnota): neplatná ZReference
• Unknown reference (Z550) (referenční hodnota): neznámá ZReference
• Schema type mismatch (Z551) (klíč, očekávaný typ, zadaný typ): neshoda typu schématu
• Array element type mismatch (Z552) (index, očekávaný typ, skutečný typ): neshoda typu prvku pole
• Disallowed root type (Z553) (zobject): nepovolený typ kořene
• Label for a given language clashes with another Object's label (Z554) (kolidující ZID, jazyk): štítek koliduje se štítkem jiného ZObjektu
• Unmatching ZID and page title (Z555) (ZID, titulek): chybně zadaný ZID a titulek stránky
• Invalid page title (Z556) (titulek): neplatný titulek stránky
• User does not have permission to edit (Z557) (chybová zpráva): uživatel nemá oprávnění
• Invalid programming language (Z558) (programovací jazyk): neplatný programovací jazyk
• 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)

Viz též

• Přehled poznámek