Tipe dalam bahasa rumus Power Query M

Bahasa Rumus Power Query M adalah bahasa mashup data yang berguna dan ekspresif. Tapi itu memang memiliki beberapa batasan. Misalnya, tidak ada penegakan yang kuat dari sistem jenis. Dalam beberapa kasus, validasi yang lebih ketat diperlukan. Untungnya, M menyediakan pustaka bawaan dengan dukungan untuk jenis agar validasi yang lebih kuat layak.

Pengembang harus memiliki pemahaman menyeluruh tentang sistem jenis untuk melakukan ini dengan umumitas apa pun. Dan, sementara spesifikasi bahasa Power Query M menjelaskan sistem jenis dengan baik, itu meninggalkan beberapa kejutan. Misalnya, validasi instans fungsi memerlukan cara untuk membandingkan jenis kompatibilitas.

Dengan menjelajahi sistem jenis M dengan lebih hati-hati, banyak masalah ini dapat diklarifikasi, dan pengembang akan diberdayakan untuk membuat solusi yang mereka butuhkan.

Pengetahuan tentang kalkulus predikat dan teori set naif harus memadai untuk memahami notasi yang digunakan.

PRELIMINARIES

(1) B := { true; false }
B adalah kumpulan nilai Boolean yang khas

(2) N := { pengidentifikasi M yang valid }
N adalah kumpulan semua nama yang valid dalam M. Ini didefinisikan di tempat lain.

(3) P := ⟨B, T⟩
P adalah sekumpulan parameter fungsi. Masing-masing mungkin opsional, dan memiliki jenis. Nama parameter tidak relevan.

(4) Pⁿ := ⋃_0≤i≤n ⟨i, ^Pi⟩
Pⁿ adalah kumpulan semua urutan parameter fungsi n yang diurutkan.

(5) P := ⋃^*P i
P^* adalah kumpulan semua urutan parameter fungsi yang mungkin, dari panjang 0 ke atas.

(6) F := ⟨B, N, T⟩
F adalah kumpulan semua bidang rekaman. Setiap bidang mungkin opsional, memiliki nama, dan jenis.

(7) ^Fn := ∏_{0≤i≤n F}
Fⁿ adalah kumpulan semua set bidang catatan n.

(8) F := ( ⋃_{^* F}i ) ∖ { ^F | ⟨_b1, _n1, _t1⟩, ⟨_b2, _n2, _t2⟩ ∈ F ⋀ _{n1n =}
F^* adalah kumpulan semua set (dengan panjang berapa pun) bidang rekaman, kecuali untuk set di mana lebih dari satu bidang memiliki nama yang sama.

(9) C := ⟨N,T⟩
C adalah kumpulan jenis kolom, untuk tabel. Setiap kolom memiliki nama dan jenis.

(10) ^Cn ⊂ ⋃_0≤i≤n ⟨i, C⟩
Cⁿ adalah kumpulan semua urutan yang diurutkan dari jenis kolom n.

(11) C := ( ⋃^* Ci ) ∖ { Cm | ⟨^a, ⟨_n1, _t1⟩⟩, ⟨b, ⟨_n2, _t2⟩⟩ ∈ ^Cm ⋀ n1_{n =} }
C^* adalah kumpulan semua kombinasi (dengan panjang berapa pun) jenis kolom, kecuali yang memiliki lebih dari satu kolom dengan nama yang sama.

JENIS M

(12) T_F := ⟨P, P⟩^*
Jenis Fungsi terdiri dari jenis pengembalian, dan daftar parameter fungsi nol atau lebih yang diurutkan.

(13) _TL :=〖T〗
Jenis Daftar ditunjukkan oleh jenis tertentu (disebut "jenis item") yang dibungkus dengan kurung kurawal. Karena kurung kurawal digunakan dalam metalanguage, 〖 〗 tanda kurung digunakan dalam dokumen ini.

(14) T_R := ⟨B, F⟩^*
Tipe Catatan memiliki bendera yang menunjukkan apakah itu "terbuka", dan bidang rekaman nol atau lebih yang tidak diurutkan.

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

(16) _TR^• := ⟨false, F⟩
T_R^o dan T_R^• adalah pintasan notasi untuk jenis rekaman terbuka dan tertutup.

(17) _T := C ^*
Jenis Tabel adalah urutan yang diurutkan dari jenis kolom nol atau lebih, di mana tidak ada tabrakan nama.

(18) T_P := { any; none; null; logical; number; time; date; datetime; datetimezone; duration; text; binary; type; list; record; table; function; anynonnull }
Jenis Primitif adalah salah satu dari daftar kata kunci M ini.

(19) _TN := { t_n, u ∈ T t _{| n} = u+null } = nullable t
Jenis apa pun juga dapat ditandai sebagai nullable, dengan menggunakan kata kunci "nullable ".

(20) T := T_F ∪ T_L ∪ T_R ∪ T T ∪ T P ∪ T N
Kumpulan semua jenis M adalah penyatuan dari enam set jenis ini:
Tipe Fungsi, Tipe Daftar, Tipe Rekaman, Tipe Tabel, Jenis Primitif, dan Tipe Nullable.

FUNCTIONS

Satu fungsi perlu didefinisikan: NonNullable : T ← T
Fungsi ini mengambil jenis, dan mengembalikan jenis yang setara kecuali tidak sesuai dengan nilai null.

IDENTITAS

Beberapa identitas diperlukan untuk menentukan beberapa kasus khusus, dan juga dapat membantu mendidik hal di atas.

(21) dapat diubah ke null apa pun = apa pun
(22) anynonnull nullable = any
(23) nullable = null
(24) tidak ada yang dapat diubah ke null = null
(25) nullable t ∈ T = nullable t
(26) NonNullable(nullable t ∈ T) = NonNullable(t)
(27) NonNullable(any) = anynonnull

KOMPATIBILITAS JENIS

Seperti yang didefinisikan di tempat lain, jenis M dapat dikompabilitas dengan jenis M lain jika dan hanya jika semua nilai yang sesuai dengan jenis pertama juga sesuai dengan jenis kedua.

Berikut didefinisikan hubungan kompatibilitas yang tidak bergantung pada nilai yang sesuai, dan didasarkan pada properti jenis itu sendiri. Diantisipasi bahwa hubungan ini, seperti yang didefinisikan dalam dokumen ini, sepenuhnya setara dengan definisi semantik asli.

Hubungan "kompatibel dengan" : ≤ : B ← T × T
Di bagian di bawah ini, huruf kecil t akan selalu mewakili Jenis M, elemen T.

Φ akan mewakili subset F, atau C^*.^*

(28) t ≤ t
Hubungan ini refleksif.

(29) _t ≤ t_b ∧ t_b ≤ t_c → t_≤ t c
Hubungan ini transitif.

(30) tidak ada ≤ yang tidak ≤
Jenis M membentuk kisi atas hubungan ini; tidak ada yang bawah, dan apa pun adalah atas.

(31) t a, t_b ∈ T_N ∧ t ≤ t → NonNullable(t_a) ≤ NonNullable(t_b)
Jika dua jenis kompatibel, maka setara NonNullable juga kompatibel.

(32) ≤ null t ∈ T_N
Jenis primitif null kompatibel dengan semua jenis nullable.

(33) t ∉ T_N ≤ anynonnull
Semua jenis yang tidak dapat diulang kompatibel dengan anynonnull.

(34) NonNullable(t) ≤ t
Jenis NonNullible kompatibel dengan yang setara dengan nullable.

(35) fungsi ∈ T_F → t ≤
Semua jenis fungsi kompatibel dengan fungsi.

(36) t ∈ T_L → t daftar ≤
Semua tipe daftar kompatibel dengan daftar.

(37) catatan ∈ _TR → t ≤
Semua jenis rekaman kompatibel dengan rekaman.

(38) t ∈ T_T → tabel ≤
Semua jenis tabel kompatibel dengan tabel.

(39) _t ≤ t_b ↔ 〖_a〗≤〖t_b〗
Tipe daftar dapat dikompabilitas dengan tipe daftar lain jika tipe item kompatibel, dan sebaliknya.

(40) t_a ∈ T_F = ⟨ p_a, ^* ⟩, t_b ∈ T_F = ⟨ p_b, ^* ⟩ ∧ p_a ≤ p_b → t_a ≤ t b
Jenis fungsi kompatibel dengan jenis fungsi lain jika jenis pengembalian kompatibel, dan daftar parameternya identik.

(41) _t ∈ T_R^o, t_b ∈ _TR^• → t a ≰ t b
Tipe rekaman terbuka tidak pernah kompatibel dengan tipe catatan tertutup.

(42) t ∈ ^T_R• = ⟨false, Φ⟩, t_b ∈ T^_Ro = ⟨true, Φ⟩ → t_a ≤ t b
Jenis rekaman tertutup kompatibel dengan jenis rekaman terbuka yang identik.

(43) t ∈ ^TRo = ⟨true, (Φ, ⟨true, n, apa⟩)⟩, t_b ∈ T^_Ro = ⟨true, Φ⟩ → t≤ t_b ∧ t_b ≤ t a
Bidang opsional dengan jenis apa pun dapat diabaikan saat membandingkan dua jenis rekaman terbuka.

(44) t ∈ T_R = ⟨b, (Φ, ⟨β, n, u_a⟩)⟩, t_b ∈ T_R = ⟨b, (Φ, ⟨β, n, u_b⟩)⟩ ∧ u_a ≤ u_b → t_a ≤ t b
Dua jenis rekaman yang hanya berbeda dengan satu bidang kompatibel jika nama dan opsionalitas bidang identik, dan jenis bidang tersebut kompatibel.

(45) t ∈ T_R = ⟨b, (Φ, ⟨false, n, u⟩)⟩, t_b ∈ T_R = ⟨b, (Φ, ⟨true, n, u⟩)⟩ → t_a ≤ t b
Tipe catatan dengan bidang non-opsional kompatibel dengan tipe rekaman yang identik tetapi untuk bidang tersebut bersifat opsional.

(46) t ∈ ^T_Ro = ⟨true, (Φ, ⟨b, n, u⟩)⟩, t_b ∈ T^_Ro = ⟨true, Φ⟩ → t_a ≤ t b
Jenis rekaman terbuka kompatibel dengan jenis rekaman terbuka lainnya dengan satu bidang yang lebih sedikit.

(47) t T T ∈ = (Φ, ⟨i, ⟨n, u_a⟩⟩), t_b ∈ T_T = (Φ, ⟨i, ⟨n, u_b⟩⟩) ∧ u_a ≤ u_b → t_a ≤ t b
Jenis tabel kompatibel dengan jenis tabel kedua, yang identik tetapi untuk satu kolom memiliki jenis yang berbeda, ketika jenis untuk kolom tersebut kompatibel.

Konten terkait

• Spesifikasi Bahasa Power Query M
• referensi fungsi Power Query M
• Jenis dan Konversi Tipe
• Jenis