Power Query M formül dilindeki türler

Makale
08/27/2023

Power Query M Formül Dili yararlı ve ifade edici bir veri karma dilidir. Ancak bazı sınırlamaları vardır. Örneğin, tür sisteminin güçlü bir zorlaması yoktur. Bazı durumlarda daha sıkı bir doğrulama gerekir. Neyse ki M, daha güçlü doğrulamayı uygulanabilir hale getirmek için türleri destekleyen yerleşik bir kitaplık sağlar.

Geliştiricilerin, bunu herhangi bir genellikle yapabilmek için tür sistemi hakkında kapsamlı bir anlayışa sahip olması gerekir. Ayrıca, Power Query M dil belirtimi tür sistemini iyi açıklasa da, birkaç sürpriz bırakır. Örneğin, işlev örneklerinin doğrulanması, uyumluluk türlerini karşılaştırmak için bir yol gerektirir.

M tipi sistemi daha dikkatli bir şekilde inceleyerek bu sorunların çoğu netleştirilebilir ve geliştiricilere ihtiyaç duydukları çözümleri oluşturma gücü verilecektir.

Koşul kalkülüs ve saf küme teorisi bilgisi, kullanılan gösterimi anlamak için yeterli olmalıdır.

ÖNSİYELER

(1) B := { true; false }
B, tipik Boole değerleri kümesidir

(2) N := { geçerli M tanımlayıcıları }
N, M'deki tüm geçerli adların kümesidir. Bu, başka bir yerde tanımlanır.

(3) P := ⟨B, T⟩
P, işlev parametreleri kümesidir. Her biri isteğe bağlıdır ve bir türü vardır. Parametre adları ilgisizdir.

(4) Pⁿ := ⋃_0≤i≤n ⟨i, P^i⟩
Pⁿ , n işlev parametrelerinin sıralı tüm dizilerinin kümesidir.

(5) P := ⋃_0≤i≤∞P i^{^*}
P^* , 0 uzunluğundan yukarı doğru tüm olası işlev parametrelerinin dizisidir.

(6) F := ⟨B, N, T⟩
F, tüm kayıt alanlarının kümesidir. Her alan isteğe bağlıdır, bir adı ve türü vardır.

(7) Fⁿ := ∏_{0≤i≤n F}
Fⁿ , tüm n kayıt alanı kümelerinden oluşan kümedir.

(8) F := ( ⋃_0≤i≤∞ Fⁱ ) ∖ { F | ⟨b₁, n_{1, t₁}⟩, ⟨b₂, n₂, t₂⟩ ∈ F ⋀ n 1 = _{n2 }}^*
F^* , birden fazla alanın aynı ada sahip olduğu kümeler dışında, kayıt alanlarının tüm kümelerinin (herhangi bir uzunlukta) kümesidir.

(9) C := ⟨N,T⟩
C, tablolar için sütun türleri kümesidir. Her sütunun bir adı ve türü vardır.

(10) Cn ⊂ ⋃_0≤i≤n ⟨i, C⟩
Cⁿ , n sütun türündeki tüm sıralı dizilerin kümesidir.

(11) C := ( ⋃_0≤i≤∞ Ci ) ∖ { Cm | ⟨a, ⟨n₁, t₁⟩⟩, ⟨b, ⟨n₂, t₂⟩⟩ ∈ C^m ⋀ n₁ = n₂ }^*
C^* , birden fazla sütunun aynı ada sahip olduğu durumlar dışında, sütun türlerinin tüm birleşimlerinin (herhangi bir uzunlukta) kümesidir.

M TİPLerİ

(12) T_F := ⟨P, P⟩^*
İşlev Türü bir dönüş türünden ve sıfır veya daha fazla işlev parametresinin sıralı listesinden oluşur.

(13) T_L :=〖T〗
Liste türü, küme ayraçları içinde sarmalanmış belirli bir türle ("öğe türü" olarak adlandırılır) belirtilir. Küme ayraçları metalanguage'da kullanıldığından, 〖〗 köşeli ayraçlar bu belgede kullanılır.

(14) T_R := ⟨B, F⟩^*
Kayıt Türü,"açık" olup olmadığını ve sıfır veya daha fazla sıralanmamış kayıt alanı olduğunu belirten bir bayrak içerir.

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

(16) T_R^• := ⟨false, F⟩
T_R^o ve T_R^• sırasıyla açık ve kapalı kayıt türlerinin gösterimi kısayollarıdır.

(17) T_T := C ^*
Tablo Türü, ad çakışmalarının olmadığı sıfır veya daha fazla sütun türünden oluşan sıralı bir dizidir.

(18) T_P := { any; none; null; mantıksal; sayı; saat; tarih; tarih saat; datetimezone; süre; metin; ikili; tür; liste; kayıt; tablo; işlev; anynonnull }
İlkel Tür, bu M anahtar sözcükleri listesinden biridir.

(19) T_N := { t_n, u ∈ T | t n = u+null } = null atanabilir t
Ayrıca herhangi bir tür, "null atanabilir" anahtar sözcüğü kullanılarak null atanabilir olarak işaretlenebilir.

(20) T := T F ∪ T_L ∪ T_R ∪ T T ∪ T_P ∪ T N
Tüm M türlerinin kümesi, şu altı tür kümesinin birleşimidir:
İşlev Türleri, Liste Türleri, Kayıt Türleri, Tablo Türleri, Temel Türler ve Null Atanabilir Türler.

İŞLEVLER

Bir işlevin tanımlanması gerekir: NonNullable : T ← T
Bu işlev bir tür alır ve null değerle uyumlu olmaması dışında eşdeğer bir tür döndürür.

KİMLİK

Bazı özel durumları tanımlamak için bazı kimlikler gereklidir ve ayrıca yukarıdakilerin açığa çıkışına yardımcı olabilir.

(21) null atanabilir any = any
(22) null atanabilir anynonnull = any
(23) null atanabilir null = null
(24) null atanabilir hiçbiri = null
(25) null atanabilir null atanabilir t ∈ T = null atanabilir t
(26) NonNullable(nullable t ∈ T) = NonNullable(t)
(27) NonNullable(any) = anynonnull

TÜR UYUMLULUĞU

Başka bir yerde tanımlandığı gibi, ilk türe uyan tüm değerlerin ikinci türe de uygun olması durumunda bir M türü başka bir M türüyle uyumlu olur.

Burada, uyumlu değerlere bağımlı olmayan ve türlerin özelliklerini temel alan bir uyumluluk ilişkisi tanımlanmıştır. Bu belgede tanımlandığı gibi bu ilişkinin özgün anlamsal tanıma tamamen eşdeğer olduğu tahmin edilir.

"ile uyumludur" ilişkisi: ≤: B ← T × T
Aşağıdaki bölümde küçük harfli t her zaman T öğesi olan M Türünü temsil eder.

Φ, F^* veya C^* alt kümesini temsil eder.

(28) t ≤ t
Bu ilişki esnektir.

(29) t a ≤ t_b ∧ t_b ≤ t_c → t ≤ t c
Bu ilişki geçişli.

(30) hiçbiri ≤ ≤
M türleri bu ilişki üzerinde bir kafes oluşturur; hiçbiri alt, herhangi biri ise en üsttedir.

(31) t_a, t_{b ∈} T_N ∧ t ≤ t → Kaldırılamaz(t_a) ≤ Kaldırılamaz(t_b)
İki tür uyumluysa, UnNullable eşdeğerleri de uyumludur.

(32) null ≤ t ∈ T_N
Null temel türü tüm null atanabilir türlerle uyumludur.

(33) t ∉ T_N ≤ anynonnull
Tüm iptal edilemeyen türler anynonnull ile uyumludur.

(34) UnNullable(t) ≤ t
NonNullible türü null atanabilir eşdeğeri ile uyumludur.

(35) t ∈ T_F → t ≤ işlevi
Tüm işlev türleri işlevle uyumludur.

(36) t ∈ T_L → t ≤ listesi
Tüm liste türleri listeyle uyumludur.

(37) t ∈ T_R → t ≤ kaydı
Tüm kayıt türleri kayıtla uyumludur.

(38) t ∈ T_T → t ≤ tablo
Tüm tablo türleri tabloyla uyumludur.

(39) t a ≤ t_b ↔ 〖t_a〗≤〖t_b〗
Öğe türleri uyumluysa liste türü başka bir liste türüyle uyumlu olur ve tam tersi de geçerlidir.

(40) _{t a} ∈ T_F = ⟨ p_a, p^* ⟩, t_b ∈ T_F = ⟨ p_b, p^* ⟩ ∧ p_a ≤ p_{b b} → t ≤ t b
Dönüş türleri uyumluysa ve parametre listeleri aynıysa işlev türü başka bir işlev türüyle uyumludur.

(41) t_a ∈ T_R^o, t_b ∈ T_R^• → t_a ≰ t b
Açık kayıt türü hiçbir zaman kapalı kayıt türüyle uyumlu değildir.

(42) t a_{∈ TR}• = ⟨false, Φ⟩, t_b ∈ T_R^o = ⟨true, Φ⟩ → t_a ≤ t b
Kapalı kayıt türü, aksi takdirde aynı açık kayıt türüyle uyumludur.

(43) _{t a} ∈ T_R^o = ⟨true, (Φ, ⟨true, n, any⟩)⟩, t_b ∈ TRo = ⟨true, Φ⟩ → t_a ≤ t_b ∧ t_{b ≤ t}
İki açık kayıt türü karşılaştırılırken herhangi bir türüne sahip isteğe bağlı bir alan yoksayılabilir.

(44) a ∈ T_R = ⟨b, (Φ, ⟨β, n, u_a⟩)⟩, t_b ∈ T_R = ⟨b, (Φ, ⟨β, n, u_b⟩)⟩ ∧ u_a ≤ u_b → t a ≤ t_{b b}
Alanın adı ve isteğe bağlılığı aynıysa ve söz edilen alan türleri uyumluysa, yalnızca bir alana göre farklılık gösteren iki kayıt türü uyumludur.

(45) t a ∈ T_R = ⟨b, (Φ, ⟨false, n, u⟩)⟩, t_b ∈ T_R = ⟨b, (Φ, ⟨true, n, u⟩))⟩ → t ≤ t_{b b}
İsteğe bağlı olmayan bir alana sahip kayıt türü, aynı kayıt türüyle uyumludur ancak bu alanın isteğe bağlı olması gerekir.

(46) t a_{∈ TR}o = ⟨true, (Φ, ⟨b, n, u⟩)⟩, t_b ∈ TR^o = ⟨true, Φ⟩ → t_a ≤ t b
Açık kayıt türü, bir alanı daha az olan başka bir açık kayıt türüyle uyumludur.

(47) _{t a} ∈ T = (Φ, ⟨i, ⟨n, u_a⟩⟩), t_b ∈ T = (Φ, ⟨i, ⟨n, u_b⟩⟩) ∧ u_a ≤ u_b → t_≤ t b_b
Tablo türü, aynı olan ikinci bir tablo türüyle uyumludur, ancak bu sütunun türleri uyumlu olduğunda, farklı türde bir sütun için.

BAŞVURULAR

Microsoft Corporation (2015 Ağustos)
Excel için Microsoft Power Query Formül Dili Belirtimi [PDF]
Şu kaynaktan alındı: https://msdn.microsoft.com/library/mt807488.aspx

Microsoft Corporation (n.d.)
Power Query M işlev başvurusu [web sayfası]
Şu kaynaktan alındı: https://msdn.microsoft.com/library/mt779182.aspx

Aracılığıyla paylaş