在Scala中的letrec？ (不可改变的方式来“绑结”)

发布时间：2020-12-16 19:02:25 所属栏目：安全来源：网络整理

导读：假设我有一个这样的愚蠢的小案例类： case class Foo(name: String,other: Foo) 我如何定义a和b不可变,这样a.other是b,而b.other是一个？ scala是否提供了一些“tie the knot”的方法？我想做这样的事情： val (a,b): (Foo,Foo) = (Foo("a",b),Foo("b",a)) /

假设我有一个这样的愚蠢的小案例类：

case class Foo(name: String,other: Foo)

我如何定义a和b不可变,这样a.other是b,而b.other是一个？ scala是否提供了一些“tie the knot”的方法？我想做这样的事情：

val (a,b): (Foo,Foo) = (Foo("a",b),Foo("b",a)) // Doesn't work.

可能性

在哈斯克尔我会这样做：

data Foo = Foo { name :: String,other :: Foo }

a = Foo "a" b
b = Foo "b" a

其中与a和b的绑定包含在相同的let表达式中,或在顶层.

或者,没有滥用Haskell的自动化letrec功能：

(a,b) = fix ( ~(a',b') -> Foo "a" b',Foo "b" a')

注意懒惰模式?(a’,b’),这很重要.

解决方法

您希望Foo不变,但Scala中的懒惰在声明网站上. Foo在不改变它的情况下是不严格的,Haskell中指出的模式只能起作用,因为Foo在那里是非严格的(也就是说,Foo“a”b不立即评估b).

否则解决方案几乎相同,允许必要的环获得一切非严格：

class Foo(name: String,other0: => Foo) { // Cannot be case class,because that mandates strictness
  lazy val other = other0 // otherwise Scala will always reevaluate
}
object Foo {
  def apply(name: String,other: => Foo) = new Foo(name,other)
}

val (a: Foo,b: Foo) = (Foo("a",a))

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!