Re: [Gnu-arch-users] Round III: xl and all that

[Andrew Suffield]

On Fri, Jul 23, 2004 at 06:55:06PM -0700, Tom Lord wrote:
> * The xl1 Reduction Machine

This is pretty much a description of the Haskell evaluation rules,
oddly formed as operational semantics (with no stack) rather than the
more natural declarative semantics.

I would have described it from the top down instead - this is a
lazy-evaluated, memoized, left-first expression system where
definitions introduce labels into the containing scope, rather than
into their own scope.

-- 
  .''`.  ** Debian GNU/Linux ** | Andrew Suffield
 : :' :  http://www.debian.org/ |
 `. `'                          |
   `-             -><-          |

signature.asc
Description: Digital signature