數據構造限制

Question

我有數據結構，例如：

data IfTree = If Expr Statement IfTree | Else Statement | EndIf

data Statement = IfStatement IfTree

什麼是想要的是使人們無法做任何這些組合：

IfStatement $ Else ... 
IfStatement $ EndIf 

的IfStatement應該只能接受If。

我知道我可以隱藏數據構造函數，只顯示在後臺構成它們的函數，但我想限制這種數據類型。

更新：

什麼，我試圖做的是笨重。給予憑藉自身優異的答案和意見，處理這一個更好的方法：

data Statement = If Expr Statement (Maybe Statement) | ...

甚至：

data Stat = IfStat Expr Stat | IfElseStat Expr Stat Stat | …

Answer 1

東西這將是這樣做的傳統方式：

data Stat = IfStat Expr Stat (Maybe Stat) | BarStat | BazStat | … 
data Expr = FooExpr | … 

-- if (foo) bar; 
IfStat FooExpr BarStat Nothing 

-- if (foo) bar; else baz; 
IfStat FooExpr BarStat (Just BazStat) 

的想法是編碼您的語言作爲一種數據類型的語法，或者至少是重要的位。 Else和EndIf在If以外沒有意義，所以您實際上不需要表示它們。

可以內聯Maybe到語句的數據類型：

data Stat = IfStat Expr Stat | IfElseStat Expr Stat Stat | … 

或者，如果是有意義的，你的語言，你可以添加一個表示空語句：

data Stat = IfStat Expr Stat Stat | EmptyStat | … 

-- if (foo) bar; 
-- if (foo) bar; else; 
IfStat FooExpr BarStat EmptyStat 

-- if (foo) bar; else baz; 
IfStat FooExpr BarStat BazStat 

然而，如果您稍後需要精確的漂亮打印，則將此類問題標準化可能會造成問題。

塊語句可以被類似地處理：

data Stat = … | BlockStat [Stat] | … 

-- if (foo) { bar; baz; } 
IfStat FooExpr (BlockStat [BarStat, BazStat]) EmptyStat 

Answer 2

的問題是，一個If不只是一個Else。你應該這樣定義

data If = IfNoElse Expr Statement | IfElse Expr Statement Statement 
data Statement = If If | While | ...