Power Query M -kaavakielen tyypit

Power Query M -kaavakieli on hyödyllinen ja ilmeikäs tietojen koostekieli. Mutta sillä on joitakin rajoituksia. Tyyppijärjestelmää ei esimerkiksi valvota vahvasti. Joissain tapauksissa tarvitaan tiukempaa vahvistusta. Onneksi M tarjoaa sisäänrakennetun kirjaston, joka tukee tyyppejä, jotta vahvistus olisi toteuttamiskelpoinen.

Kehittäjien tulisi ymmärtää tyyppijärjestelmä perusteellisesti, jotta tämä tapahtuu yleisesti. Vaikka Power Query M:n kielimäärityksessä selitetään tyyppijärjestelmä hyvin, se aiheuttaa myös muutamia yllätyksiä. Esimerkiksi funktioesiintymien vahvistus edellyttää tapaa vertailla tyyppejä yhteensopivuuden vuoksi.

Tutkimalla M-tyyppijärjestelmää tarkemmin, monia näistä ongelmista voidaan selventää, ja kehittäjillä on valtuudet luoda tarvitsemiaan ratkaisuja.

Predikaattilaskin- ja naiivijoukkoteoria -tietämyksen tulisi olla riittävät käytetyn merkinnän ymmärtämiseksi.

AREENAA

(1) B := { true; epätosi }
B on tyypillinen totuusarvojen joukko

(2) N := { kelvolliset M-tunnisteet }
N on M:n kaikkien kelvollisten nimien joukko. Tämä on määritetty muualla.

(3) P := ⟨B, T⟩
P on funktioparametrien joukko. Jokainen niistä on mahdollisesti valinnainen, ja sillä on tyyppi. Parametrien nimet ovat merkityksettömiä.

(4) Pⁿ := ⋃_0≤i≤n ⟨i, P^i⟩
Pⁿ on kaikkien järjestettyjen n-funktioparametrien sarja.

(5) P := ⋃_0≤i≤∞P i^*
P^* on kaikkien mahdollisten funktioparametrien jaksojen joukko, alkaen pituudesta 0 ylöspäin.

(6) F := ⟨B, N, T⟩
F on kaikkien tietuekenttien joukko. Kukin kenttä on mahdollisesti valinnainen, sillä on nimi ja tyyppi.

(7) Fⁿ := ∏_{0≤i≤n F}
Fⁿ on kaikkien n tietuekenttien joukko.

(8) F^* := ( ⋃_0≤i≤∞ Fⁱ ) ∖ { F | ⟨b₁, n₁, t_{1⟩, ⟨b2}, n₂, t₂⟩ ∈ F ⋀ n₁ = n_{2 }}
F^* on kaikkien tietuekenttien (minkä tahansa pituuden) joukko lukuun ottamatta joukkoja, joissa useammalla kuin yhdellä kentällä on sama nimi.

(9) C := ⟨N,T⟩
C on taulukoiden saraketyyppien joukko. Kullakin sarakkeella on nimi ja tyyppi.

(10) Cn ⊂ ⋃_0≤i≤n ⟨i, C⟩
Cⁿ on kaikkien järjestettyjen n-saraketyyppien sarja.

(11) C^* := ( ⋃_0≤i≤∞ Cⁱ ) ∖ { C^m | ⟨a, ⟨n₁, t_{1⟩⟩, ⟨b, ⟨n2}, t₂⟩⟩ ∈ C^m ⋀ n₁ = n_{2 }}
C^* on kaikkien saraketyyppien yhdistelmäen (minkä tahansa pituuden) joukko lukuun ottamatta niitä, joissa useammalla kuin yhdellä sarakkeella on sama nimi.

M-TYYPIT

(12) T_F := ⟨P, P⟩^*
Funktiotyyppi koostuu palautustyypistä ja järjestetystä nolla- tai useampien funktioparametrien luettelosta.

(13) T_L :=〖T〗
Luettelotyyppi merkitään annetulla tyypillä (kutsutaan "kohdetyypiksi"), joka on pakattu aaltosulkeisiin. Koska metalanguagessa käytetään aaltosulkeita, 〖 〗 hakasulkeita käytetään tässä asiakirjassa.

(14) T_R := ⟨B, F⟩^*
Tietuetyypissä on merkintä, joka ilmaisee, onko se "avoin" ja onko se järjestämätön nolla- vai useampia tietuekenttiä.

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

(16) T_R^• := ⟨false, F⟩
T_R^o ja T_R^• ovat avoimien ja suljettujen tietuetyyppien notaatiokuvakkeita.

(17) T T := C ^*
Taulukkotyyppi on järjestetty saraketyyppien järjestys, jossa ei ole nimiyhteensyyksiä.

(18) T_P := { any; ei mitään; tyhjäarvo; looginen; luku; aika; päivämäärä; päivämäärä; päivämäärä/aika; päivämäärä/aikavyöhyke; kesto; kesto; teksti; tyyppi; luettelo; tietue; taulukko; funktio; anynonnull }
Primitiivityyppi on yksi tästä M-avainsanaluettelosta.

(19) T_N := { t_n, u ∈ T | t_n = u+null } = nullable t
Mikä tahansa tyyppi voidaan lisäksi merkitä tyhjäarvoja sallivaksi käyttämällä tyhjäarvoja sallivaa avainsanaa.

(20) T := T_F ∪ T_L ∪ T_R ∪ T T ∪ T_P ∪ T N
Kaikkien M-tyyppien joukko on näiden kuuden tyyppisen joukon yhdistys:
Funktiotyypit, luettelotyypit, tietuetyypit, taulukkotyypit, primitiivityypit ja tyhjäarvoiset tyypit.

TOIMINTOJA

Yksi funktio on määritettävä: NonNullable : T ← T
Tämä funktio ottaa tyypin ja palauttaa tyypin, joka on vastaava, paitsi että se ei ole tyhjäarvon mukainen.

IDENTITEETIT

Joitakin käyttäjätietoja tarvitaan määrittämään joitakin erityistapauksia, ja ne voivat myös auttaa edellä mainittujen määrittelyssä.

(21) tyhjäarvoja voi olla mikä tahansa = mikä tahansa
(22) tyhjäarvon salliva anynonnull = any
(23) tyhjäarvon salliva tyhjäarvo = tyhjäarvo
(24) tyhjäarvoja voi ei ole = tyhjäarvo
(25) tyhjäarvoja salliva t -∈ T = nullable t
(26) NonNullable(nullable t ∈ T) = NonNullable(t)
(27) NonNullable(any) = anynonnull

TYYPIN YHTEENSOPIVUUS

Kuten muualla on määritetty, M-tyyppi on toisen M-tyypin mukainen, jos ja vain jos kaikki ensimmäisen tyypin mukaiset arvot ovat myös toisen tyypin mukaisia.

Tässä on määritetty yhteensopivuussuhde, joka ei ole riippuvainen vaatimustenmukaisuusarvoista ja perustuu itse tyyppien ominaisuuksiin. On odotettavissa, että tämä tässä asiakirjassa määritetty suhde vastaa täysin alkuperäistä semanttista määritelmää.

"on yhteensopiva" -suhteen kanssa : ≤ : B ← T × T
Alla olevassa osassa pieni t on aina M-tyyppi, T-elementti.

A Φ edustaa F^*- tai C-alijoukkoa^*.

(28) t ≤ t
Tämä suhde on refleksiivinen.

(29) t ≤ t_b ∧ ≤ t _c → t ≤ t c
Tämä suhde on transitiivinen.

(30) mitään ei ≤ ole ≤
M-tyypit muodostavat säilön tälle suhteelle; Ei mitään ole alhaalla, ja mikään ei ole ylin.

(31) t_a, t_b ∈ T_N ∧ t a ≤ t_a → NonNullable(t_a) ≤ NonNullable(t_b)
Jos kaksi tyyppiä ovat yhteensopivia, myös NonNullable-vastaavat arvot ovat yhteensopivia.

(32) tyhjäarvot ≤ t ∈ T_N
Primitiivityyppi on yhteensopiva kaikkien tyhjäarvoja sallivien tyyppien kanssa.

(33) t ∉ T_N ≤ anynonnull
Kaikki ei-nullible-tyypit ovat yhteensopivia anynonnull-todennukset kanssa .

(34) NonNullable(t) ≤ t
NonNullible-tyyppi on yhteensopiva tyhjäarvoja sallivan vastineen kanssa.

(35) t T F _{→ t ≤} -funktion ∈ t
Kaikki funktiotyypit ovat yhteensopivia funktioiden kanssa .

(36) t T_L ∈ → t ≤ -luettelo
Kaikki luettelotyypit ovat yhteensopivia luettelon kanssa .

(37) t T R _{→ t ≤ tietuetta ∈ t}
Kaikki tietuetyypit ovat yhteensopivia tietueen kanssa .

(38) t ∈ T_T → t ≤ taulukko
Kaikki taulukkotyypit ovat yhteensopivia taulukon kanssa .

(39) t a ≤ t_b ↔ 〖t_a〗≤〖t_b〗
Luettelotyyppi on ymmärrettävyys toisen luettelotyypin kanssa, jos kohdetyypit ovat yhteensopivia, ja päinvastoin.

(40) t_a ∈ T_F = ⟨ p_a, p^* ⟩, t_b ∈ T F = ⟨ p_b, p^* ⟩ ∧ p_a ≤ p_b → t_a ≤ t b
Funktiotyyppi on yhteensopiva toisen funktiotyypin kanssa, jos palautustyypit ovat yhteensopivia ja parametriluettelot ovat identtisiä.

(41) t a ∈ TR^o, t_b ∈ T_R^• → t_≰ t b
Avoin tietuetyyppi ei ole koskaan yhteensopiva suljetun tietuetyypin kanssa.

(42) t a ∈ T_R• = ⟨false, Β⟩, t_b ∈ T_Ro = ⟨true, Β⟩ → t_a ≤ t b
Suljettu tietuetyyppi on yhteensopiva muuten samanlaisen avoimen tietuetyypin kanssa.

(43) t a ∈ TRo = ⟨true, (Β, ⟨true, n, any⟩)⟩, t_b ∈ T_R^o = ⟨true, Β⟩ → t a ≤ t_b ∧ t_b ≤ t a
Valinnainen kenttä, jonka tyyppi on mikä tahansa , voidaan ohittaa kahta avointa tietuetyyppiä verrattaessa.

(44) t_a ∈ T_R = ⟨b, (Β, ⟨β, n, u_a⟩)⟩, t_b ∈ T_R = ⟨b, (Β, ⟨β, n, u b⟩)⟩ ∧ u_a ≤ u_b → t_a ≤ t b
Kaksi tietuetyyppiä, jotka eroavat toisistaan vain yhden kentän mukaan, ovat yhteensopivia, jos kentän nimi ja valinnaisuus ovat identtisiä ja kyseisen kentän tyypit ovat yhteensopivia.

(45) t a ∈ T_R = ⟨b, (Β, ⟨false, n, u⟩)⟩, t_b ∈ T_R = ⟨b, (Β, ⟨true, n, u⟩)⟩ → t a ≤ t_{b b}
Tietuetyyppi, jolla on ei-valinnainen kenttä, on yhteensopiva tietuetyypin kanssa, joka on identtinen, mutta kentän ollessa valinnainen.

(46) t_a ∈ T_Ro = ⟨true, (Β, ⟨b, n, u⟩)⟩, t_b ∈ T_Ro = ⟨true, Β⟩ → t_a ≤ t b
Avoin tietuetyyppi on yhteensopiva toisen avoimen tietuetyypin kanssa, jossa on yksi kenttä vähemmän.

(47) t a ∈ T_T = (Β, ⟨i, ⟨n, u_a⟩⟩), t_b ∈ T_T = (Β, ⟨i, ⟨n, u_b⟩⟩) ∧ u_a ≤ u_b → t_a ≤ t_{b b}
Taulukkotyyppi on yhteensopiva toisen taulukkotyypin kanssa, joka on samanlainen, mutta yhden erityyppisen sarakkeen kanssa, kun kyseisen sarakkeen tyypit ovat yhteensopivia.

REFERENCES

Microsoft Corporation (2015 elokuu)
Microsoft Power Query for Excel Formula Language Specification [PDF]
Noudettu kohteesta https://msdn.microsoft.com/library/mt807488.aspx

Microsoft Corporation (n.d.)
Power Query M -funktion viittaus [verkkosivu]
Noudettu kohteesta https://msdn.microsoft.com/library/mt779182.aspx