Странный руби

Языки, которые повлияли на руби

Perl
Lisp
Smalltalk

Matz про ruby

Ruby's class library is an object-oriented reorganization of Perl functionality plus some Smalltalk and Lisp stuff
Yukihiro Matsumoto

Flip-flop operator

(1..20).each do |x|
  puts x if (x == 5) .. (x == 10)
end

вывод:

Perl vs Ruby

Perl	Ruby
while (<DATA>) { if (/start/ .. /end/) { print "flip flop true: $_"; } else { print "flip flop false: $_"; } } __DATA__ foo bar start inside blah this is the end baz	while DATA.gets if /start/ .. /end/ print "flip flop true: #{$_}"; else print "flip flop false: #{$_}"; end end __END__ foo bar start inside blah this is the end baz

В консольке

$ ruby -ne 'puts $_ if /start/ .. /end/' file.txt
start
inside
blah
this is the end

Есть тикет

Есть сочувствующие

Refinements

module Compaction
  refine Hash
    def compact
      self.select { |_, value| !value.nil? }
    end
  end
end

class Dummy
  using Compaction
  { a: true, b: false, c: nil}.compact # => { a: true, b: false}
end
{ a: true, b: false, c: nil}.compact # => NoMethodError

Refinements

class Dummy
  using Compaction
  def action
    { a: true, b: false, c: nil}.compact
  end
end

Dummy.new.action # => { a: true, b: false}

Refinements

class Dummy
  using Compaction
  def action
    { a: true, b: false, c: nil}
  end
end

Dummy.new.action.compact # => NoMethodError

Refinements

class Dummy
  using Compaction
end

class Dummy
  { a: true, b: false, c: nil}.compact # => NoMethodError
end

Refinements

class Dummy
  using Compaction
  def action
    yield
  end
end

Dummy.new.action {
  { a: true, b: false, c: nil}.compact
} # => NoMethodError

Continuations

require "continuation"
arr = %w[Freddie Herbie Ron Max Ringo]
callcc { |cc| $cc = cc }
message = arr.shift
puts message
$cc.call unless message =~ /Max/

вывод:

Freddie
Herbie
Ron
Max

Пример

def map_tree(tree, &proc)
  if tree.is_a? Array
    tree.map { |node| map_tree(node, &proc) }
  else
    proc.call(tree)
  end
end

Задача: найти общий префикс

def trees_prefix(tree_a, tree_b)
  callcc do |return_cont|
    fold_trees([],
      make_iterator(tree_a),
      make_iterator(tree_b)
    ) do |acc, leaf_a, leaf_b|
      if leaf_a == leaf_b
        acc << leaf_a
      else
        return_cont.call(acc)
      end
    end
  end
end

Параллельная поэлементая обработка

def fold_trees(acc, iterator_a, iterator_b, &proc)

  leaf_a, next_iterator_a = next_step(iterator_a)
  leaf_b, next_iterator_b = next_step(iterator_b)

  if next_iterator_a && next_iterator_b
    next_acc = proc.call(acc, leaf_a, leaf_b)
    fold_trees(next_acc, next_iterator_a, next_iterator_b, &proc)
  else
    acc
  end
end

Имплементация

def make_iterator(tree)
  -> flow {
    map_tree(tree) { |leaf|
      flow = callcc { |k|
        flow.call(leaf, k)
      }
    }
    flow.call(nil, nil)
  }
end

Имплементация

def next_step(iterator)
  callcc { |k| iterator.call(k) }
end

Начинная с 2.2 их задепрекейтили

irb(main):001:0> require 'continuation'
continuation.bundle: warning: callcc is obsolete; use Fiber instead
=> true

Есть тикет

Юсуки не выдержал

Fibers

Continuations	Fibers
def make_iterator(tree) -> flow { map_tree(tree) { \|leaf\| flow = callcc { \|k\| flow.call(leaf, k) } } flow.call(nil, nil) } end	def make_iterator(tree) Fiber.new do map_tree(tree) { \|leaf\| Fiber.yield leaf, Fiber.current } Fiber.yield(nil, nil) end end

Fibers

Continuations	Fibers
def next_step(iterator) callcc { \|k\| iterator.call(k) } end	def next_step(iterator) iterator.resume end

Выход из цикла без продолжений

def trees_prefix(tree_a, tree_b)
  catch(:result) do
    fold_trees([],
      make_iterator(tree_a),
      make_iterator(tree_b)
    ) do |acc, leaf_a, leaf_b|
      if leaf_a == leaf_b
        acc << leaf_a
      else
        throw :result, acc
      end
    end
  end
end

Конец

Twitter: @tank_bohr

http://tank-bohr.github.io/weird_ruby_talk/

Ссылки

←→

Странный руби

Языки, которые повлияли на руби

Perl

Lisp

Smalltalk

Matz про ruby

Flip-flop operator

Perl vs Ruby

В консольке

Есть тикет

Есть сочувствующие

Refinements

Refinements

Refinements

Refinements

Refinements

Refinements

Why is nobody using Refinements?

James Adam (@lazyatom)

Continuations

Пример

Задача: найти общий префикс

Параллельная поэлементая обработка

Имплементация

Имплементация

Начинная с 2.2 их задепрекейтили

Есть тикет

Юсуки не выдержал

Fibers

Fibers

Выход из цикла без продолжений

Конец

Ссылки