Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!husc6!cmcl2!nrl-cmf!umix!umich!dwt
From: dwt@zippy.eecs.umich.edu (David West)
Newsgroups: comp.lang.lisp,comp.lang.scheme,comp.lang.misc
Subject: Re: (Lisp is Crisp!)^4
Message-ID: <584@zippy.eecs.umich.edu>
Date: Wed, 2-Dec-87 13:40:42 EST
Article-I.D.: zippy.584
Posted: Wed Dec  2 13:40:42 1987
Date-Received: Sat, 5-Dec-87 17:07:16 EST
References: <1409@mind.UUCP>
Sender: news@zippy.eecs.umich.edu
Reply-To: dwt@zippy.eecs.umich.edu (David West)
Organization: University of Michigan EECS Dept. Ann Arbor
Lines: 23
Xref: mnetor comp.lang.lisp:574 comp.lang.scheme:55 comp.lang.misc:925
UUCP-Path: ihnp4!umich!zippy!dwt


In article <1409@mind.UUCP> apoorva@mind.UUCP (Apoorva Muralidhara) writes:
>
>Any fellow applicativists out there?
>			--Apoorva/Applicativist Revolutionary Underground
>
>[Death to the side effects!]

Applicativity has its advantages, but it needs
1) a more humanly-comprehensible syntax than LISP; Miranda (TM) is excellent
   in this respect, but the (TM) will probably doom it, as apparently was the
   case with COMIT (TM).
2) Some syntactic means for preventing argumentsfrom getting unreadably
   numerous just to pass something down to where it's finally used. 
3) a public domain portable optimizing implementation (though all three of 
   these attributes together is perhaps too much to hope for.)  The thing
   that made Pascal fly was the availability of the Zurich P-compiler
   initially, then Turbo.  What the world needs now is GNU Miranda or (ok,
   I'll be more reasonable)  GNU ML.  (Richard is probably too busy, though...)
   Turbo ML?
   
   -David West     dwt@zippy.eecs.umich.edu
   [Nested parentheses - just say  no]