问题描述
我正在尝试使用构造函数定义类型，该构造函数接收自身或其他类型的总和类型。但是因为我必须单独定义 sum 类型，所以 sum 类型或 sum 类型中使用的类型之一在构造函数点是未定义的。
module BasicFunctions =
type Type1() =
class end
type Type1OrType2 = T1 of Type1 | T2 of Type2 // Type2 not yet defined
type Type2(x: Type1OrType2) = // Same thing for Type1OrType2 if Type1OrType2 is placed below Type2
class end
在 Scala 中（例如），我可以内联定义 sum 类型，这样 sum 类型中的类型之一就是被定义的类型本身：
case class Type1()
case class Type2(x: Type1 | Type2)
@main def Main() =
val t1 = Type1()
val t2 = Type2(t1)
val t3 = Type2(t2)
有没有办法在 F# 中对这种和类型进行“内联”定义，从而利用递归？
解决方法
您可以使用 def do_thing(path):
with open(path) as fh:
# do things with fh
print(f"I can access fh: {not fh.closed}")
print(f"And now we're done: {fh.closed}")
do_thing('somefile.txt')
I can access fh: True
And now we're done: True
语法来做到这一点，它允许您定义一组相互递归的类型定义：
type ... and另一种方法是使模块递归：
module rec BasicFunctions =
type Type1() =
class end
type Type1OrType2 = T1 of Type1 | T2 of Type2 // Type2 not yet defined
type Type2(x: Type1OrType2) = // Same thing for Type1OrType2 if Type1OrType2 is placed below Type2
class end