On 21 Jun 2006 15:04:23 -0700, "Greg Buchholz" <[EMAIL PROTECTED]> wrote:
> I haven't been following this thread too closely, but I thought the >following article might be of interest... > >Eliminating Array Bound Checking through Non-dependent types. >http://okmij.org/ftp/Haskell/types.html#branding That was interesting, but the authors' method still involves runtime checking of the array bounds. IMO, all they really succeeded in doing was turning the original recursion into CPS and making the code a little bit clearer. George -- for email reply remove "/" from address -- http://mail.python.org/mailman/listinfo/python-list
