lambda ..

David Manifold
Wed, 21 Oct 1998 18:59:05 -0700 (PDT)

On Wed, 21 Oct 1998, RE01 Rice Brian T. EM2 wrote:

> >It's just that lambda (or rather, lambda-eval-quote) constitutes a minimal
> >reflective logic with well-defined operational semantics (i.e.
> >implementable),
> >out of which we may build the rest.
> good enough for me. as far as i'm concerned, the argument is on hold.
> let's discuss what sort of lambda(based)-calculus implementation we can
> work with, with the goal of other-language generation being the limit of
> the project.  i'm still very concerned about the limits of this
> approach, but practicality is the most important measure we have right
> now.

Fare is bootstrapping starting with Scheme.  I was going to try to help
(while continuing my C bootstrap project in parallel).  Do you want to
join us?

David Manifold <>