[ruby-list:42596] callcc (Ruby vs Scheme)

るびきちです。

Schemeのcall-with-current-continuationをRubyで試そうとしていますが、
うまくいきません。


 (define list-length
   (lambda (obj)
     (call-with-current-continuation
      (lambda (return)
        (letrec ((r
                  (lambda (obj)
                    (cond ((null? obj) 0)
                          ((pair? obj)
                           (+ (r (cdr obj)) 1))
                          (else (return #f))))))
          (r obj))))))
     
(list-length '(1 2 3 4))            =>  4
     
(list-length '(a b . c))            =>  #f


これをRubyで試そうにも二番目のテストがfalseを返してくれません。
どこか問題があるのでしょうか？

require 'test/unit'
def pair?(x)
  Array === x
end

def null?(x)
  x == []
end

def cdr(x)
  x[1]
end


def list_length(obj)
  callcc do |_return|
    r = lambda{|obj_|
      if null?(obj_)
        0
      elsif pair?(obj_)
        r[cdr(obj_)] + 1
      else
        puts "end"
        _return.call[false]
      end
    }
    r[obj]
  end
end

class TestCallCc < Test::Unit::TestCase
  def test_callcc
    assert_equal 4, list_length([1,[2,[3,[4,[]]]]])
    # "end"は出力されるがnilを返してしまう
    assert_equal false, list_length([:a,[:b,:c]]) 
  end
end

--
rubikitch
http://www.rubyist.net/~rubikitch/