WebAssembly'de Nominal Tipler: Yapısal Eşitlikten Kurtuluş

WebAssembly'nin standartlarına eklenen yönetilen veri tipleri uzantısı öncesinde, tip eşitliği konusunda önemli tartışmalar yaşanmıştı. Bu tartışmaların sonucunda, bir WebAssembly modülündeki aynı yapıya sahip iki tip (örneğin, (type $t (struct i32)) ve (type $u (struct i32))) varsayılan olarak eşdeğer kabul ediliyordu. WebAssembly çalışma zamanı, modülün tiplerini eşdeğerlik sınıflarına ayırır ve bir tip referans edildiğinde, o tipe ait tüm eşdeğer tipler bu sınıfa dahil edilirdi. Bu yaklaşım, yapısal tip eşitliği olarak bilinir ve her zaman istenen bir durum olmayabilir.

Yapısal eşitliğin aksine, nominal tip eşitliği her tip bildirimini diğerlerinden tamamen farklı kabul eder. WebAssembly'de doğrudan nominal tip desteği olmasa da, rec (recursive) anahtar kelimesi ile tanımlanan özyinelemeli tip grupları, nominal tipe yakın bir çözüm sunar. Her tip kendi başına bir rec grubunda yer aldığında, bu tipler birbirine eşdeğer kabul edilmez. Bu mekanizma, kendi kendine özyinelemeli tiplerin (örneğin, bir yapının kendi referansını içeren bir alan) ve karşılıklı özyinelemeli tiplerin tanımlanmasına olanak tanır. rec grupları, tipler arasındaki yapısal eşitliğin birimini belirler.

Ancak, modüller arası tip eşitliği konusunda rec grupları da yetersiz kalabilir. Bir modülün kritik öneme sahip tiplerini başka bir modülün taklit etmesini engellemek için rec yeterli değildir, çünkü diğer modül eşdeğer bir rec grubu tanımlayarak bu tipleri oluşturabilir. Bu sorunu çözmek için WebAssembly'ye geçtiğimiz Temmuz ayında nominal tip önerisi eklendi. Bu öneriyle birlikte gelen tag anahtar kelimesi, tiplerin artık nominal olarak tanımlanmasını sağlıyor. Bu yeni veri tipleri, alanları param olarak belirtir ve struct içine alınmaz. Subtyping ve mutability gibi bazı özelliklerden yoksun olsalar da, nominal tip tanımlama yeteneği, modüller arası güvenliği ve tip bütünlüğünü önemli ölçüde artırıyor.