5
Muhtemelen ayrımcı bir birliktelik kullanılarak, F # 'de birden fazla kalıtım düzeyini modellemek için önerilen bir yol var mı?Ayırımcı sendikalar kullanarak birden fazla kalıtım düzeyinin modellenmesi
C# Aşağıdaki gibi bir şey alarak: Ben F # yaptık
class Expr { }
class SourceExpr : Expr { }
class JoinExpr : SourceExpr { }
class TableExpr : SourceExpr { }
:
type SourceExpr =
| Join of JoinExpr
| Table of TableExpr
type Expr =
| Source of SourceExpr
| ...
daha iyi bir yolu var mı? Bu, miras olarak aynı polimorfik davranışı sağlıyor mu?
Bir ayrıştırıcı üzerinde çalışıyorum, bu yüzden DU'lerin doğru seçim olduğunu düşünüyorum. Fakat başkalarından miras kalan ifadeler var. Hem Kaynaklar hem de bir Katılma veya Tablo kabul etmesi gereken işlevler vardır. Kaynak, bir çok seçenekten biri olan bir Expr'yi kabul etmesi gereken işlevler de vardır. Ben OO terimlerinde düşünemiyorum ama düşünemiyorum, ama aynı tip polimorfik davranışı korurken bu nispeten durağan hiyerarşiyi modellemenin daha iyi bir yolu olup olmadığını merak ediyorum. – Daniel
Tiplerle modellemek iyi çalışır. Aynı şey "olan" iki tür varsa, aralarında ayrım yapan yeni bir tür ekleyin ve bunu kullanın. Tek dezavantajı, daha fazla yapısöküm yapmak zorunda olmanızdır, ancak ihtiyaç duyduğunuz yerde desen eşleştirmesi ve aktif desenler bunu oldukça tolere edebilir. Bunu oldukça karmaşık özyinelemeli türler ve bir FParsec çözümleyici ile yapıyorum ve oldukça iyi çalışıyor. –