Стиль CPS для вызовов функций в стиле связанного списка

Question

Я пытаюсь преобразовать следующий код в стиль передачи продолжения.Изначально код возвращал String, поэтому я изменил его на вызов продолжения лямбда, который принимает String.Мне интересно, как удалить поле next и использовать вместо него стиль CPS.

class Foo(val x: Double) {
  var next: Foo = _

  def bar(y: Double, returnLambda: (String => Unit)): Unit = {
    if (x * y > 0) {
      returnLambda("Bad")
    } else if (next == null) {
      returnLambda("Good!")
      next = new Foo(y)
    } else {
      next.bar(y, returnLambda)
    }
  }
}

Answer 1

Похоже, вы строите односвязный список значений Foo;новые значения добавляются в конец списка, если знак нового значения отличается от существующего значения.

При функциональном подходе управление списком не будет встроено в объект в списке,Вместо этого вы должны поддерживать список отдельно var next: List[Foo] и выполнять добавление следующим образом:

if ( next.all( _ * y <= 0) )
  returnLambda("Bad")
else {
  returnLambda("Good")
  next = next :+ Foo(y)
}

Поскольку мы упростили манипулирование списком, использование CPS теряет свою выгоду;Вы можете просто вернуть строку «Хорошо» или «Плохо».

Если вы действительно, действительно нуждаетесь в CPS, вы можете удалить поле next, переместив его в сопутствующий объект:

object Foo {
  val listOfFoo: ListBuffer[Foo] = ListBuffer[Foo].empty

  def bar(y: Double,  returnLambda: (String => Unit)): Unit = 
    if ( listOfFoo.all(_ * y <= 0) )
      returnLambda("Bad")
    else {
      listOfFoo += Foo(y)
      returnLambda("Good")
    }
}