[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Paul Graham <paulgraham@yahoo.com>] Re: What is a lightweight language

To: address@hidden, address@hidden
Subject: Re: [Paul Graham <paulgraham@yahoo.com>] Re: What is a lightweight language
From: John Clements <address@hidden>
Date: Thu, 13 Dec 2001 14:19:31 -0500
Cc: address@hidden
In-reply-to: <p05101001b83e9fc44db4@[129.10.115.111]>
References: <7krse8op.fsf@mak.com><20011213154746.5442E206F3@sualocin.ccs.neu.edu> <vgfb9h4j.fsf@mak.com><p05101001b83e9fc44db4@[129.10.115.111]>
Sender: address@hidden

At 1:54 PM -0500 12/13/01, John Clements wrote:
>; andmap : ('a -> boolean) (listof boolean) -> boolean

...
>; andmap: ('a (boolean ->) -> ) (listof boolean) (boolean -> ) ->

...

So of course, I mess up the one part I can't test.  Should have been:

; andmap : ('a -> boolean) (listof 'a) -> boolean
; andmap-cps : ('a (boolean ->) -> ) (listof 'a) (boolean -> ) ->


john clements

References:
- [Paul Graham <paulgraham@yahoo.com>] Re: What is a lightweight language
  - From: jmarshall@mak.com
- Re: [Paul Graham <paulgraham@yahoo.com>] Re: What is a lightweight language
  - From: Matthias Felleisen <matthias@ccs.neu.edu>
- Re: [Paul Graham <paulgraham@yahoo.com>] Re: What is a lightweight language
  - From: jmarshall@mak.com
- Re: [Paul Graham <paulgraham@yahoo.com>] Re: What is alightweight language
  - From: John Clements <clements@brinckerhoff.org>

Prev by Date: RE: What design is: 911 vs. Fleetwood
Next by Date: Re: What is a lightweight language
Previous by thread: Re: [Paul Graham <paulgraham@yahoo.com>] Re: What is alightweight language
Next by thread: Re: [Paul Graham <paulgraham@yahoo.com>] Re: What is a lightweight language
Index(es):
- Date
- Thread