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

Groups > comp.lang.forth > #54566

Re: The simplest compiler possible

From Paul Rubin <no.email@nospam.invalid>
Newsgroups comp.lang.lisp, comp.lang.forth
Subject Re: The simplest compiler possible
Date 2017-01-30 23:17 -0800
Organization A noiseless patient Spider
Message-ID <87zii7y9y8.fsf@nightsong.com> (permalink)
References <o6ldq2$ev9$1@cherry.spenarnc.xs4all.nl> <87sho1z44e.fsf@nightsong.com> <barmar-60105B.12125730012017@88-209-239-213.giganet.hu> <o6nucj$nim$1@cherry.spenarnc.xs4all.nl> <o6pdaj$465$1@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

rpw3@rpw3.org (Rob Warnock) writes:
> | 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

Church's lambda calculus called for textual substitution aka beta
reduction.  Lisp implements it in a different way.

Back to comp.lang.forth | 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 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 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 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 Gerard Sontag <gerardsontag@gmail.com> - 2017-02-03 01:08 -0800
    Re: The simplest compiler possible albert@cherry.spenarnc.xs4all.nl (Albert van der Horst) - 2017-02-03 10:23 +0100
      Re: The simplest compiler possible Gerard Sontag <gerardsontag@gmail.com> - 2017-02-03 02:34 -0800
    Re: The simplest compiler possible stephen@mpeforth.com (Stephen Pelc) - 2017-02-03 13:06 +0000

csiph-web