data-structures - 创建递归包含彼此的抽象数据类型的实例

Question

给定两种定义如下的日期类型:

data Foo = Foo Bar String
data Bar = Bar Foo String

我该如何制作 foo和 bar使得 foo是 Foo bar "foo"和 bar是 Bar foo "bar" ?

当我们将类型更改为:

data Foo = Foo Bar (MVar String)
data Bar = Bar Foo (MVar String)

Answer 1

只需使用 let就足够了(Haskell 中的 let 是 letrec ，并且支持相互递归定义)。相互递归的定义在堆中设置循环，如下所示:


MVar初始化并没有真正以任何有意义的方式改变事物。

import Control.Concurrent

data Foo = Foo Bar (MVar String)

data Bar = Bar Foo (MVar String)

main = do
    a <- newMVar "foo"
    b <- newMVar "bar"

    let foo = Foo bar a
        bar = Bar foo b

    return ()