.net - 在有区别的联合中F#中使用and关键字

Question

今天，我面临着以下DU声明：

type Grammar = Definition list

and  Definition = Def of string * Expression

and  Range =
     | Char  of char
     | Range of char * char

为什么在这里使用关键字 and代替 type？

Answer 1

and和Grammar的定义需要Definition才能正确编译。 Grammar类型首先列出，但取决于稍后定义的Definition类型。为了正确编译，必须将其与and链接，该链接告诉F＃编译器类型定义是相关的/相关的。

没有理由以这种方式声明Range，因此应使用type进行声明。