[ruby-list:34949] Re: Thread by callcc

原です。

この Thread by callcc のフレームに乗らない callcc の例を考えて
みたのですが、こういうバックトラッキングシステムが該当するよう
です。

-^ backtrack.rb
class BackTrack
   def initialize
     @paths = []
   end

   def choose(*choices)
     choices.each do |choice|
       callcc do |cc|
         @paths.push(cc)
         return choice
       end
     end
     fail_choice()
   end
   
   def fail_choice
     if @paths.empty?
       raise "BackTrack Failed."
     else
       @paths.pop.call
     end
   end
end

if $0 == __FILE__
   pi = 105
   primes = [2, 3, 5, 7]

   bt = BackTrack.new
   a, b, c = bt.choose(*primes), bt.choose(*primes), bt.choose(*primes)
   if pi == a * b * c
     puts "#{pi} == #{a} * #{b} * #{c}"
   else
     bt.fail_choice
   end
end
-$ backtrack.rb

実はこれは Tosh さんがあげた例を変形したものです。

>一方、Tosh 
>さんが、[rubyist:1352] で、choose という Non-deterministic Programming
>を実現する非常に興味深い例をあげて、でもちょっとまずいところもあるん
>だ、という話でした。

このまずいところというのは、a, b, c = のところを

   a, b, c = (0..2).collect{bt.choose(*primes)}

に変えると、めちゃくちゃになってしまう、という事だと思います。