Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.lisp > #28609

Re: The simplest compiler possible

From Kaz Kylheku <221-501-9011@kylheku.com>
Newsgroups comp.lang.lisp, comp.lang.forth
Subject Re: The simplest compiler possible
Date 2017-01-31 14:19 +0000
Organization Aioe.org NNTP Server
Message-ID <20170131061752.451@kylheku.com> (permalink)
References <o6ldq2$ev9$1@cherry.spenarnc.xs4all.nl> <barmar-60105B.12125730012017@88-209-239-213.giganet.hu> <o6nucj$nim$1@cherry.spenarnc.xs4all.nl> <o6pdaj$465$1@dont-email.me> <o6ppgp$u2c$1@cherry.spenarnc.xs4all.nl>

Cross-posted to 2 groups.

Show all headers | View raw

On 2017-01-31, Albert van der Horst <albert@cherry.spenarnc.xs4all.nl> wrote:
> In article <o6pdaj$465$1@dont-email.me>, Rob Warnock <rpw3@rpw3.org> wrote:
>>Albert van der Horst <albert@cherry.spenarnc.xs4all.nl> wrote:
>>+---------------
>>| Of course MacCarthy's original article gives insight.
>>| If you look however how lambda and environments are described,
>>| then try to implement them, you realize that they are leaning
>>| towards being pseudocode rather than executable lisp.
>>| E.g. lambda ask for a textual replacement system that is non-trivial.
>>+---------------
>>
>>I don't know where you heard that idea, but it's incorrect.
>>In the programming language Lisp, the lambda operator does *NOT*
>>require a "textual replacement" of any kind [nor does evaluation
>>in general]. Once a form has been read -- *long* before it is
>>evaluated! -- there is no "text" left at all, just Lisp objects.
>>[Obviously, here I'm ignoring Lisp objects which happen to be
>>strings, but those are not necessary for evaluation to work.]
>
> I was talking about a literal implementation based on
> that seminal paper only.

Luckily, that sort of mistake was avoided sixty years ago.

Can we move on?

(By "we", I presently mean "you".)

Back to comp.lang.lisp | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

The simplest compiler possible albert@cherry.spenarnc.xs4all.nl (Albert van der Horst) - 2017-01-29 19:54 +0100
  Re: The simplest compiler possible Kaz Kylheku <221-501-9011@kylheku.com> - 2017-01-29 19:18 +0000
    Re: The simplest compiler possible albert@cherry.spenarnc.xs4all.nl (Albert van der Horst) - 2017-01-30 02:22 +0100
      Re: The simplest compiler possible Paul Rubin <no.email@nospam.invalid> - 2017-01-29 18:13 -0800
        Re: The simplest compiler possible Barry Margolin <barmar@alum.mit.edu> - 2017-01-30 12:12 -0500
          Re: The simplest compiler possible albert@cherry.spenarnc.xs4all.nl (Albert van der Horst) - 2017-01-30 18:50 +0100
            Re: The simplest compiler possible rpw3@rpw3.org (Rob Warnock) - 2017-01-31 07:11 +0000
              Re: The simplest compiler possible Paul Rubin <no.email@nospam.invalid> - 2017-01-30 23:17 -0800
                Re: The simplest compiler possible Kaz Kylheku <221-501-9011@kylheku.com> - 2017-01-31 14:32 +0000
                Re: The simplest compiler possible Barry Margolin <barmar@alum.mit.edu> - 2017-01-31 15:12 -0500
              Re: The simplest compiler possible albert@cherry.spenarnc.xs4all.nl (Albert van der Horst) - 2017-01-31 11:39 +0100
                Re: The simplest compiler possible Kaz Kylheku <221-501-9011@kylheku.com> - 2017-01-31 14:19 +0000
          Re: The simplest compiler possible Kaz Kylheku <221-501-9011@kylheku.com> - 2017-01-30 19:10 +0000
            Re: The simplest compiler possible Barry Margolin <barmar@alum.mit.edu> - 2017-01-30 16:19 -0500
              Re: The simplest compiler possible Paul Rubin <no.email@nospam.invalid> - 2017-01-30 15:00 -0800
                Re: The simplest compiler possible Christian Jullien <christian.jullien@novasparks.com> - 2017-01-30 23:19 -0800
                Re: The simplest compiler possible Barry Margolin <barmar@alum.mit.edu> - 2017-01-31 15:03 -0500
  Re: The simplest compiler possible anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-01-31 13:17 +0000
    Re: The simplest compiler possible Barry Margolin <barmar@alum.mit.edu> - 2017-01-31 15:10 -0500
      Re: The simplest compiler possible Elias Mårtenson <lokedhs@gmail.com> - 2017-01-31 20:08 -0800
        Re: The simplest compiler possible albert@cherry.spenarnc.xs4all.nl (Albert van der Horst) - 2017-02-01 12:12 +0100
  Re: The simplest compiler possible a.daniel.eliason@gmail.com - 2017-02-22 12:44 -0800
    Re: The simplest compiler possible albert@cherry.spenarnc.xs4all.nl (Albert van der Horst) - 2017-02-23 12:14 +0100

csiph-web