Ruby’s callcc might be broken

So after quickly picking up the basics for Ruby, I ran across an implementation of the amb operation, which does backtracking using continuations. So I tried writing a simple backtracking Sudoku solver, but it kept failing in weird ways. It looks like the continuation doesn’t get saved correctly. Here’s a simplified example where moving callcc onto a separate statement causes it to fail. Anyway, it looks like Ruby is dropping continuations in v2.0.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s