Предположим, у меня есть дурацкий маленький case-класс вроде такого:
case class Foo(name: String, other: Foo)
Как я могу определить a
и b
неизменяемо, чтобы a.other
равно b
, а b.other
равно a
? Предоставляет ли scala способ "связать себя узами брака"? Я хотел бы сделать что-то вроде этого:
val (a, b): (Foo, Foo) = (Foo("a", b), Foo("b", a)) // Doesn't work.
Возможности
В Haskell я бы сделал так:
data Foo = Foo { name :: String, other :: Foo }
a = Foo "a" b
b = Foo "b" a
Где привязки к a
и b
содержатся в то же выражение let
или на верхнем уровне.
Или, не злоупотребляя автоматическими возможностями letrec в Haskell:
(a, b) = fix (\ ~(a', b') -> Foo "a" b', Foo "b" a')
Обратите внимание на ленивый шаблон, ~(a', b')
, это важно.