Typy v jazyku vzorcov Power Query M

Jazyk vzorcov Power Query M je užitočný a expresívny jazyk mashup údajov. Má však určité obmedzenia. Neexistuje napríklad silné vynútenie typu systému. V niektorých prípadoch je potrebné prísnejšie overovanie. Jazyk M našťastie poskytuje vstavanú knižnicu s podporou typov, aby bolo silnejšie overovanie uskutočniteľné.

Vývojári by mali dôkladne porozumieť systému typov, aby to bolo možné s akoukoľvek všeobecnosťou. A zatiaľ čo špecifikácia jazyka Power Query M dobre vysvetľuje systém typov, zanecháva to niekoľko prekvapení. Napríklad overenie inštancií funkcie vyžaduje spôsob porovnania typov na účely kompatibility.

Preskúmaním systému typov jazyka M dôkladne preskúmať mnohé z týchto problémov a vývojári budú môcť vytvárať riešenia, ktoré potrebujú.

Znalosti predikátového kalkulu a naivnej teórie množiny by mali byť adekvátne na pochopenie použitého zápisu.

PREDBEŽNÉ ÚDAJE

(1) B := { true; False }
B je typická množina booleovských hodnôt

(2) N := { platné identifikátory M }
N je množina všetkých platných názvov v jazyku M. Toto je definované inde.

(3) P := ⟨B, T⟩
P je množina parametrov funkcie. Každý z nich je pravdepodobne voliteľný a má typ. Názvy parametrov sú irelevantné.

(4) Pⁿ := ⋃_0≤i≤n ⟨i, ^Pi⟩
Pⁿ je množina všetkých zoradených postupností parametrov funkcie n.

(5) P := ⋃^*P i
P^* je množina všetkých možných postupností parametrov funkcie, od dĺžky 0 po zap.

(6) F := ⟨B, N, T⟩
F je množina všetkých polí záznamov. Každé pole je pravdepodobne voliteľné, má názov a typ.

(7) ^Fn := ∏_{0≤i≤n F}
Fⁿ je množina všetkých množín n polí záznamov.

(8) F := ( ⋃_{^* F}i ) ∖ { ^F | ⟨_b1, _n1, _t1⟩, ⟨_b2, _n2, _t2⟩ ∈ F ⋀ _{n1n =}
F^* je množina všetkých množín (ľubovoľnej dĺžky) polí záznamov, s výnimkou množín, kde viac ako jedno pole má rovnaký názov.

(9) C := ⟨N,T⟩
C je množina typov stĺpcov pre tabuľky. Každý stĺpec má názov a typ.

C n ⊂ ⋃_0≤i≤n ⟨i, C⟩
Cⁿ je množina všetkých zoradených postupností n typov stĺpcov.

(11) C := ( ⋃^* Ci ) ∖ { Cm | ⟨^a, ⟨_n1, _t1⟩⟩, ⟨b, ⟨_n2, _t2⟩⟩ ∈ ^Cm ⋀ n1_{n =} }
C^* je množina všetkých kombinácií (ľubovoľnej dĺžky) typov stĺpcov, okrem tých, ktorých viac ako jeden stĺpec má rovnaký názov.

TYPY JAZYKA M

(12) T_F := ⟨P, P⟩^*
Typ funkcie sa skladá z typu návratu a zoradeného zoznamu parametrov funkcie nula alebo viac.

(13) T L :=〖T〗
Typ zoznamu je indikovaný daným typom (nazývaným "typ položky") zabalený v zložených zátvorkách. Keďže v metalanguage sa používajú zložené zátvorky, 〖 V tomto dokumente sa používajú zátvorky 〗 .

(14) T R := ⟨B, F⟩^*
Typ záznamu má príznak označujúci, či ide o "otvorené" a polia záznamov bez poradia alebo nuly.

(15) T R^o := ⟨true, F⟩

(16) _TR^• := ⟨false, F⟩
T_R^o a T R^• sú notové skratky pre otvorené a uzavreté typy záznamov.

(17) _T:= C ^*
Table Type (Typ tabuľky) je zoradená postupnosť typov stĺpcov s nulami alebo viacerými, v prípade ktorých sa nevy vyskytnú žiadne kolízie názvov.

(18) T_P := { any; none; null; logical; number; time; datetime; datetimezone; duration; duration; text; binary; type; list; record; table; function; anynonnull }
Primitívny typ je jeden z tohto zoznamu kľúčových slov jazyka M.

(19) _TN := { t_n, u ∈ T | t_n = u+null } = nullable t
Akýkoľvek typ možno okrem toho označiť ako nulovateľný pomocou kľúčového slova "nullable" .

(20) T := _TF ∪ _{T L} ∪ _TR ∪ T ∪ _{T P} ∪ _{T N}
Množina všetkých typov jazyka M je zjednotenie týchto šiestich množín typov:
Typy funkcie, typy zoznamu, typy záznamov, typy tabuliek, primitívne typy a typy s povolenou hodnotou null.

FUNKCIE

Je potrebné definovať jednu funkciu: Nenulovateľné : T ← T
Táto funkcia vezme typ a vráti typ, ktorý je ekvivalentný, s tým rozdielom, že nie je v súlade s hodnotou null.

IDENTÍT

Niektoré identity sú potrebné na definovanie niektorých špeciálnych prípadov a môžu tiež pomôcť s vyššie uvedeným dátumom.

(21) povolená hodnota null any = any
(22) povolená hodnota null anynonnull = any
(23) povolená hodnota null = null
(24) nulovateľný žiadny = null
(25) Nulovateľná hodnota t ∈ T = nulovateľná hodnota t
(26) NonNullable(nullable t ∈ T) = NonNullable(t) (27)
NonNullable(any) = anynonnull

KOMPATIBILITA TYPOV

Ako je definované inde, typ M je kompatovateľný s iným typom M, vtedy a len vtedy, ak všetky hodnoty, ktoré zodpovedajú prvému typu, tiež zodpovedajú druhému typu.

Tu je definovaný vzťah kompatibility, ktorý nezávisí na zodpovedajúcich hodnotách a je založený na vlastnostiach samotných typov. Očakáva sa, že tento vzťah, ako je definovaný v tomto dokumente, je úplne ekvivalentný pôvodnej sémantickej definícii.

Vzťah "je kompatibilný s": ≤ : B ← T × T
V sekcii nižšie bude písmo s malými písmenami vždy predstavovať prvok T typu M.

A A bude predstavovať podmnožinu F alebo C^*.^*

(28) t ≤ t
Táto súvislosť je reflexívna.

(29) t ≤ t b ∧ t b ≤ t c → t ≤ t c
Tento vzťah je tranzitívny.

(30) žiadny ≤ ≤ žiadny
Typy M tvoria mriežku nad týmto vzťahom; žiadna nie je v dolnej časti a žiadna je na vrchu.

(31) t_a, t b ∈ T_N ∧ t_a ≤ t a → NonNullable(t a) ≤ NonNullable(t_b)
Ak sú dva typy kompatibilné, potom sú kompatibilné aj nenulovateľné ekvivalenty.

(32) hodnota null ≤ t ∈ T_N
Primitívny typ null je kompatibilný so všetkými typmi s povolenou hodnotou null.

(33) t ∉ T_N ≤ žiadne
Všetky typy, ktoré nie súnulovateľné, sú kompatibilné s akoukoľvek nenulovou platnosťou .

(34) Nenulovateľné(t) ≤ t
Nenulovateľný typ je kompatibilný s ekvivalentom s povolenou hodnotou null.

(35) funkcia ∈ T_F → t ≤
Všetky typy funkcií sú kompatibilné s funkciou .

(36) t ∈ T L → _t ≤ zoznam
Všetky typy zoznamov sú kompatibilné so zoznamom .

(37) t ∈ T_R → t ≤ záznam
Všetky typy záznamov sú kompatibilné so záznamom .

(38) t ∈ T → t ≤ tabuľke
Všetky typy tabuliek sú kompatibilné s tabuľkou .

(39) t ≤ t_b ↔ 〖t_a〗≤〖t_b〗
Typ zoznamu je kompatibilný s iným typom zoznamu, ak sú typy položiek kompatibilné a naopak.

(40) t_a ∈ T_F = ⟨ p_a, p^* ⟩, t b ∈ T_F = ⟨ p_b, ^* ⟩ ∧ p_a ≤ p_b → t a ≤ t b
Typ funkcie je kompatibilný s iným typom funkcie, ak sú vrátené typy kompatibilné a zoznamy parametrov sú identické.

t ∈ T_R^o, t b ∈ _TR^• → t_a ≰ t b
Typ otvoreného záznamu nie je nikdy kompatibilný so uzavretým typom záznamu.

(42) t ∈ _TR^• = ⟨false, ⟩, t_b ∈ _TR^o = ⟨true, ⟩ → t a ≤ t b
Uzavretý typ záznamu je kompatibilný s inak rovnakým typom otvoreného záznamu.

(43) t ∈ ^TRo = ⟨true, (⟨true, n, any⟩)⟩, t_b ∈ T_R^o = ⟨true, V⟩ → t a ≤ t_b ∧ t_b ≤ t a
Voliteľné pole s typom any možno ignorovať pri porovnávaní dvoch otvorených typov záznamov.

(44) t a ∈ T_R = ⟨b, (ß, ⟨β, n, u a⟩)⟩, t_b ∈ T_R = ⟨b, (Y, ⟨β, n, u_b⟩)⟩ ∧ u a ≤ u b → t a ≤ t a ≤ t b b, b⟩)⟩ ∧ _a u≤ u_b → t a ≤ t
Dva typy záznamov, ktoré sa líšia iba jedným poľom, sú kompatibilné, ak sú názov a voliteľnosť poľa identické a typy uvedeného poľa sú kompatibilné.

(45) t a ∈ T_R = ⟨b, (ß, ⟨false, n, u⟩)⟩, _{t b} ∈ T_R = ⟨b, (Μ, ⟨true, n, u⟩)⟩ → t_a ≤ t b
Typ záznamu s nepovinným poľom je kompatibilný s rovnakým typom záznamu, ale pre toto pole je voliteľný.

(46) t a ∈ ^T_Ro = ⟨true, (ß, ⟨b, n, u⟩)⟩, t_b ∈ _TR^o = ⟨true, ⟩ → t a ≤ t b
Typ otvoreného záznamu je kompatibilný s iným typom otvoreného záznamu s jedným menším poľom.

(47) t a ∈ T_T = (V, ⟨i, ⟨n, u a⟩⟩), t_b ∈ T = (⟨i, ⟨n, u_b⟩⟩) ∧ u a ≤ u_b → t_a ≤ t b_b⟩⟩
Typ tabuľky je kompatibilný s druhým typom tabuľky, ktorý je rovnaký, ale pre jeden stĺpec s odlišným typom, keď sú typy pre tento stĺpec kompatibilné.

Súvisiaci obsah

• špecifikáciu jazyka Power Query M
• referenčné informácie o funkciách jazyka Power Query M
• Typy a konverzie typu
• typov