Как вы выполняете строковый/серийный код Ruby?

Я хочу, чтобы иметь возможность писать lambda/Proc в моем коде Ruby, сериализуйте его так, чтобы я мог записать его на диск, а затем выполнить lambda позже. Похоже...

x = 40
f = lambda { |y| x + y }
save_for_later(f)

Позже, в отдельном прогоне интерпретатора Ruby, я хочу сказать...

f = load_from_before
z = f.call(2)
z.should == 42

Marshal.dump не работает для Procs. Я знаю, что Perl имеет Data:: Dump:: Streamer, а в Lisp это тривиально. Но есть ли способ сделать это в Ruby? Другими словами, какова будет реализация save_ для _ позже?

Изменить: Мой ответ ниже хорош, но он не закрывается над свободными переменными (например, x) и сериализует их вдоль с лямбдой. Итак, в моем примере...

x = 40
s = save_for_later { |y| x + y }
# => "lambda { |y|\n  (x + y)\n}"

... вывод строки не содержит определения для x. Есть ли решение, которое учитывает это, возможно, путем сериализации таблицы символов? Вы можете получить доступ к этому в Ruby?

Изменить 2. Я обновил свой ответ, чтобы включить сериализацию локальных переменных. Это кажется приемлемым.

Ответы

Ответ 1

Использовать Ruby2Ruby

def save_for_later(&block)
  return nil unless block_given?

  c = Class.new
  c.class_eval do
    define_method :serializable, &block
  end
  s = Ruby2Ruby.translate(c, :serializable)
  s.sub(/^def \S+\(([^\)]*)\)/, 'lambda { |\1|').sub(/end$/, '}')
end

x = 40
s = save_for_later { |y| x + y }
# => "lambda { |y|\n  (x + y)\n}"
g = eval(s)
# => #<Proc:[email protected](eval):1>
g.call(2) 
# => 42

Это замечательно, но оно не закрывается над свободными переменными (например, x) и сериализует их вместе с лямбдой.

Чтобы сериализовать переменные, вы также можете перебирать local_variables и сериализовывать их. Проблема состоит в том, что local_variables из save_for_later получает доступ только к c и s в приведенном выше коде, т.е. Переменные, локальные для кода сериализации, а не вызывающий. Поэтому, к сожалению, мы должны подтолкнуть захвата локальных переменных и их значений вызывающему.

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

Используя этот простой подход, вы получаете следующее:

def save_for_later(local_vars, &block)
  return nil unless block_given?

  c = Class.new
  c.class_eval do
    define_method :serializable, &block
  end
  s = Ruby2Ruby.translate(c, :serializable)
  locals = local_vars.map { |var,val| "#{var} = #{val.inspect}; " }.join
  s.sub(/^def \S+\(([^\)]*)\)/, 'lambda { |\1| ' + locals).sub(/end$/, '}')
end

x = 40
s = save_for_later(local_variables.map{ |v| [v,eval(v)] }) { |y| x + y }
# => "lambda { |y| _ = 40; x = 40;\n  (x + y)\n}"

# In a separate run of Ruby, where x is not defined...
g = eval("lambda { |y| _ = 40; x = 40;\n  (x + y)\n}")
# => #<Proc:[email protected](eval):1>
g.call(2)
# => 42

# Changing x does not affect it.
x = 7
g.call(3)
# => 43

Ответ 2

Использовать sourcify

Это будет работать с Ruby 1.8 или 1.9.

def save_for_later(&block)
  block.to_source
end

x = 40
s = save_for_later {|y| x + y }
# => "proc { |y| (x + y) }"
g = eval(s)
# => #<Proc:[email protected](eval):1>
g.call(2) 
# => 42

См. мой другой ответ для захвата свободных переменных.

Обновление: Теперь вы также можете использовать serializable_proc gem, который использует sourcify и захватывает локальные, экземплярные, классные и глобальные переменные.