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

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< /code> 初始化并没有真正以任何有意义的方式改变事情。

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 ()

Answer 2

Don 按要求回答了问题，但一个稍微有趣的问题是如何处理

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

现在这两个 MVar 不仅仅是递归的旁观者，他们是共犯。

这可以通过两种方式完成：

1.) 要么执行在命令式语言（如 C: 2.）中执行的操作

mutation = do
   -- setting up an empty mvar
   bar <- newEmptyMVar
   foo <- newMVar (Foo bar "foo")
   -- and then filling it in
   putMVar bar (Bar foo "foo")
   return (foo, bar)

，要么使用 DoRec（以前称为 RecursiveDo）和 mfix 并在幕后将结：

{-# LANGUAGE DoRec #-} 

mutual = do
   rec foo <- newMVar (Foo bar "foo")
       bar <- newMVar (Bar foo "foo")
   return (foo, bar)

这相当于：

mutual = do
   (foo, bar) <- mfix $ \(foo, bar) -> do
       foo <- newMVar (Foo bar "foo")
       bar <- newMVar (Bar foo "foo")
       return (foo, bar)
  return (foo, bar)

Answer 3

由于 Haskell 的懒惰，以下代码可以正常工作。

data Foo = Foo Bar String deriving Show
data Bar = Bar Foo String deriving Show

test = let
  foo = Foo bar "foo"
  bar = Bar foo "bar"
  in foo