F#前向类型声明

Question

我在使用F#时遇到了这个问题。假设我想声明两个相互引用的类型：

type firstType = 
     | T1 of secondType
     //................

type secondType =
     | T1 of firstType  
     //................    

我该如何做到这一点，以便编译器不会产生错误？

- Max

---

请参见https://dev59.com/4HRB5IYBdhLWcg3wQFLu。 - Brian

Answer 1

你使用了 'and'：

type firstType = 
     | T1 of secondType

and secondType =
     | T1 of firstType

- Johan Kullbom

---

每当我觉得在 F# 中有什么不够优雅的时候，我总是惊喜地发现有一个优雅的解决方案。 - CodeMonkey

Answer 2

我想通了，是这样的：

type firstType = 
     | T1 of secondType
     //................

and secondType =
     | T1 of firstType  
     //................   

- Max

---

如果你还不知道的话，互相递归的函数使用相同的符号表示法。 - Massif

Answer 3

限制在于类型必须在同一文件中声明。

- t0yv0