Saturday, January 9, 2010


I had a slow week I guess, looking at code. Bug must be somewhere between eta-expansion and combinator lifting. Must be in the partial evaluator, some sloppy substitution...

011110: What a date! Removed the bug in alpha-conversion, a forgotten one-liner actually. At a pace of one bug a week, I better not have too many. The program print (10, false, "hello world!") now works, which means Currying, method calls, FFI largely works.

All programs have at least one  superfluous instruction and at least one bug. Therefore, it follows by induction that every program can be reduced to one flawed instruction.

No comments:

Post a Comment