On Aug 27, 2013, at 8:48 PM, Galler wrote:
> Racket uses applicative order
For the record, there is no such thing as 'applicative order.' There is
call-by-value and there is a humongous misunderstanding called 'applicative
order' in the 1960s and 1970s that was fixed by Plotkin's 1973 paper o
On Wed, Aug 28, 2013 at 11:04 PM, Matthias Felleisen
wrote:
> For the record, there is no such thing as 'applicative order.' There is
> call-by-value and there is a humongous misunderstanding
> called 'applicative order'
When authors use this term what do they cite as being the
authoritative sou
On Aug 28, 2013, at 12:33 PM, Grant Rettke wrote:
> On Wed, Aug 28, 2013 at 11:04 PM, Matthias Felleisen
> wrote:
>> For the record, there is no such thing as 'applicative order.' There is
>> call-by-value and there is a humongous misunderstanding
>> called 'applicative order'
>
> When authors
On Aug 28, 2013, at 12:41 PM, Alexander McLin wrote:
> In fact I learned that in SCIP, so I need to check when the edition I have
> was published to see how old it really is.
See other email. Bottom line is that Gerry and Hal are not PL researchers --
never have been -- and I doubt that they
No problem.
While we are on names. We use
-- "Matt" for Matthew Might, a Utah researcher who also uses Racket;
-- "Matthew" for Matthew Flatt, the CEO of PLT Design, Inc, creator of Racket,
and ruler of the kingdom
-- "Matthias" for me, which yes, is a form of Matthew (used in Germanic and
Thank you for the correction. I will be more careful in the future.
On Wed, Aug 28, 2013 at 1:08 PM, Matthias Felleisen wrote:
>
> No problem.
>
> While we are on names. We use
> -- "Matt" for Matthew Might, a Utah researcher who also uses Racket;
> -- "Matthew" for Matthew Flatt, the CEO of P
I would like to understand this some more.
My understanding of applicative order is also connected with normal order,
I thought applicative order just means that all arguments given to a
procedure are always evaluated before the procedure is applied, the
left-right or right-left detail is irreleva
Thank you for the illuminating primer, Matt. I hadn't realized that it was
such a questionable term.
On Wed, Aug 28, 2013 at 12:54 PM, Matthias Felleisen
wrote:
>
> On Aug 28, 2013, at 12:33 PM, Grant Rettke wrote:
>
> > On Wed, Aug 28, 2013 at 11:04 PM, Matthias Felleisen
> > wrote:
> >> For
On Thu, Aug 29, 2013 at 12:54 AM, Matthias Felleisen
wrote:
> So if you wish to connect LC and PL and speak about order, please study the
> above citations. The whole discussion is summarized in the first part of the
> REDEX book (see redex.racket-lang.org).
Thank you.
Ra
9 matches
Mail list logo