What is Expressiveness in a Computer Language

[George Neuner]

On 21 Jun 2006 15:04:23 -0700, "Greg Buchholz"
<sleepingsquirrel at yahoo.com> 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