untitled

Size: px

Start display at page:

Download "untitled"

ちえこさかわ
5 years ago
Views:

1 30 callcc yhara ( ( )

2 (1) callcc (2) callcc (3) callcc

3 callcc Continuation callcc

4 (1) (2) (3)

5 (1) (2) (3) (4)

7 class Foo def f p 1 callcc{ cc return cc} p 2 class Bar def = Foo.new.f def g p p 4 Bar.new.g

10 Matz?

11 class Matumoto 89

12 callcc callcc cc.call $cc = nil def hoge print 1 callcc{ cc $cc = cc} print 3 hoge $cc.call cc.call callcc (cc ) cc Continuation

13 callcc callcc cc.call $cc = nil def hoge print 1 callcc{ cc $cc = cc} print 2 hoge $cc.call cc.call callcc (cc ) cc Continuation

14 callcc callcc{} cc.call(arg) arg ( ) $cc = nil def hoge print 1 print callcc{ cc $cc = cc; 2} print 3 hoge $cc.call(4) #

15 callcc{ cc } # cc cc.call callcc

16 callcc

17 (1) 3 for i in (0..10) for j in (0..10) for k in (0..10) if i==j && j==k #

18 (1) 3 callcc{ cc for i in (0..10) for j in (0..10) for k in (0..10) if i==j && j==k cc.call } (callcc )

19 catch catch catch/throw catch(:escape){ for i in (0..10) for j in (0..10) for k in (0..10) if i==j && j==k throw :escape }

20 (2) def event king.say( ) wait_ok king.say( ) wait_ok king.say( #{@name} ) wait_ok until input[ ok ] # sleep 1 #

21 ( ) def event(input) when 0 king.say += 1 when += 1 if input[ ok ] when 2 += 1 when += 1 if input[ ok ] when 4 king.say #{@name}

22 callcc wait_ok return def event king.say( ) wait_ok king.say( ) wait_ok king.say( #{@name} )

23 (3) baker 5F cooper 1F miller cooper smith fletcher 1

24 for baker in 1, 2, 3, 4, 5 for cooper in 1, 2, 3, 4, 5 for fletcher in 1, 2, 3, 4, 5 for miller in 1, 2, 3, 4, 5 for smith in 1, 2, 3, 4, 5 if baker!= 5 && cooper!= 1 && fletcher!= 1 && fletcher!= 5 && miller > cooper return [baker,cooper,fletcher,miller,smith]

25 callcc require "amb A = Amb.new baker = A.choose(1, 2, 3, 4, 5) # 1 5 cooper = A.choose(1, 2, 3, 4, 5) fletcher= A.choose(1, 2, 3, 4, 5) miller = A.choose(1, 2, 3, 4, 5) smith = A.choose(1, 2, 3, 4, 5) A.assert([baker, cooper, fletcher, miller, smith].uniq.length == 5) A.assert(baker!= 5) A.assert(cooper!= 1) A.assert(fletcher!= 1 && fletcher!= 5) A.assert(miller > cooper) A.assert((smith - fletcher).abs!= 1) A.assert((fletcher - cooper).abs!= 1) p [baker, cooper, fletcher, miller, smith]

26 (4) each C++ requrie generator ( ) g = Generator.new([1,2,3]) while g.next? p g.next

27 (5) ppp p irb> p x 3 irb> p x=#{x} x=3 binding irb> ppp :x x=3

28 binding binding def ppp(symbol) set_trace_func{ *args.. cc.call(eval( binding )} b = callcc{ cc..} if state == :prepare return else puts #{symbol} = #{eval(symbol, b)} a = 1 ppp :a Ruby 3 eval (eval, *_eval) (*_missing, set_trace_func) callcc

29 binding binding def ppp(symbol) set_trace_func{ *args.. cc.call(eval( binding )} b = callcc{ cc..} if state == :prepare return else puts #{symbol} = #{eval(symbol, b)} a = 1 ppp :a

30 Binding.of_caller Rails (ActiveSupport) ppp

31 callcc

32 (Ruby ) Ruby [BUG] Segmentation fault: core Rubyist Magazine Ruby (akr)

33 foo do puts hello puts world

34 static VALUE rb_foo(value ary1) { } int *p = malloc(...); rb_yield(); free(*p); foo do puts hello puts world

35 static VALUE rb_foo(value ary1) { } int *p = malloc(...); rb_yield(); free(*p); foo do callcc{ $cc } puts hello puts world $cc.call

36 static VALUE rb_foo(value ary1) { } int *p = malloc(...); rb_yield(); free(*p); 2 free foo do callcc{ $cc } puts hello puts world $cc.call

38 callcc

39 callcc

40 callcc callcc Ruby

41 Fiber

42 callcc Fiber callcc (A) / (generator, wait_ok) (B) (amb, ppp) callcc (B) (A) 1.9 Fiber

43 Fiber Fiber( ) Thread( ) Thread new Fiber#yield Fiber Fiber (Fiber.prev) foo = Fiber.new{ p 2 Fiber.prev.yield } bar = Fiber.new{ p 1 foo.yield p 3 } bar.yield #1 2 3

44 1.9 Ruby1.9 Fiber ( ) callcc Fiber Fiber callcc callcc Fiber 1.9.x

Ruby演習テキスト1

Ruby演習テキスト1 Ruby言語基礎演習社会人技術者研修 2014年度テキスト社会人技術者研修 2014年度テキスト 2014.11 Ruby基礎演習 1 2014.11 2015.2.1 puts "Hello Ruby >ruby hello.rb ( リターン ) > ruby hello.rb Hello Ruby # はじめての ruby プログラム puts "Hello Ruby" > ruby