Петли Clojure в рубине

Давайте посмотрим на пример, который насчитывает от 1 до 10:

 require 'continuation'

mark = nil
number = callcc { |continuation| mark = continuation; 1 }
puts number
mark.call(number + 1) unless number == 10

Давайте разберем его, начиная со строки 3. Начнем с установки переменной marknil Говоря о следующей строке, многое происходит в строке 4.

Продолжения создаются с использованием callcc Вы заметите, что это требует блока. Он немедленно выполнит блок и передаст ему объект продолжения. В блоке установите mark Затем верните 1callcc

К тому времени, когда мы дойдем до строки 5, marknumber1 Строка 5 говорит сама за себя. В строке 6 находится вторая половина магии.

Использование call В данном случае это строка 4. Значения, переданные в callcallcc
Когда строка 6 завершена, мы возвращаемся к строке 4, number2number10

Вернемся к нашему коду loop Нам нужен способ запустить еще одну итерацию цикла. Использование call Мы создадим продолжение, а затем выполним блок в контексте продолжения:

 require 'continuation'

class Clojure
  def self.loop(*initial_args, &block)
    continuation = nil
    callcc { |c| continuation = c }

    continuation.instance_exec(*initial_args, &block)
  end
end

Если мы будем использовать callblock Теперь у нас есть код, который может работать бесконечно. Опять я вас виню.

 > Clojure.loop(1) { |x| puts x; call }
1
1
...

Мы приближаемся, но все еще не можем передать значения следующей итерации. Давайте это исправим.

 require 'continuation'

class Clojure
  def self.loop(*initial_args, &block)
    continuation = nil
    args = callcc do |c|
      continuation = c

      initial_args
    end

    continuation.instance_exec(*args, &block)
  end
end

Как и в нашем примере подсчета, начните со строки 5, подготовив переменную для хранения продолжения. Добавьте переменную argsinitial_args Теперь, когда значения передаются в callargs

Еще раз подсчитав от 1 до 10:

 Clojure.loop(1) do |number|
  puts number
  call(number + 1) unless number == 10
end

На данный момент наш loop Осталось сделать только псевдоним recurcall

 require 'continuation'

class Clojure
  def self.loop(*initial_args, &block)
    continuation = nil
    args = callcc do |c|
      continuation = c

      class << continuation
        alias :recur :call
      end

      initial_args
    end
    continuation.instance_exec(*args, &block)
  end
end

Мы сделали это!

Единственное, чего мы должны бояться …

Если в какой-то момент во время этого вы подумали «GOTO» и с криком побежали от своего стола к растерянности ваших коллег, это не совсем необоснованно. Как и GOTO, продолжения можно использовать для зла. Если вы небрежно засоряете свой код продолжениями, вы можете ожидать пути выполнения, по которому невозможно следовать. Это также будет означать, что вы делаете это неправильно.

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

Это не то, к чему вы будете обращаться регулярно, но когда вы захотите сделать что-то вроде, скажем, создания цикла в стиле Clojure, они получат вашу поддержку.