From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,7728b533f7ab5fb6
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!news.germany.com!news.motzarella.org!motzarella.org!Colin_Paul_Gloster
From: Colin Paul Gloster <Colin_Paul_Gloster@ACM.org>
Newsgroups: comp.lang.ada
Subject: Re: Avoiding side effects
Date: Tue, 14 Oct 2008 12:44:59 +0100
Organization: A noiseless patient Spider
Message-ID: <Pine.WNT.4.64.0810141242290.3340@teor1>
References: <uljxa9o85.fsf@no.email.thanks.invalid> <wvbrod23gnol.fsf@sun.com>
  <uljx1ncvt.fsf@no.email.thanks.invalid> <wvbrfxn8hdc7.fsf@sun.com>
 <C5112F9D.FB768%yaldnif.w@blueyonder.co.uk>
 <uprmc4g3i.fsf@no.email.thanks.invalid>
  <C5113610.FB781%yaldnif.w@blueyonder.co.uk>
 <u1vyrbra1.fsf@no.email.thanks.invalid>
  <C5129110.FB969%yaldnif.w@blueyonder.co.uk>
 <uabd8adeb.fsf@no.email.thanks.invalid>
 <c3d10577-421a-4fb0-b27f-1395df583dd9@w1g2000prk.googlegroups.com>
 <C5195825.FC7C4%yaldnif.w@blueyonder.co.uk>
 <18uado7gsipkb$.1sl1fmtv24lve.dlg@40tude.net>
Reply-To: Colin Paul Gloster <Colin_Paul_Gloster@ACM.org>
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Trace: feeder.motzarella.org
 U2FsdGVkX19Ow+kj6l2ttSM8nj7vrmTd3EcLkUpa+cKQPuSMlsb2s+VJDzQUphe6jZXl2XRaPwrS+3v0VV8z6nBKEKkWV1yCVanPBQeXRIDlfqx7gt6pvcz0GRA8PChh085FtOPrJoW86Y+5lWX1qXPWPUaHJl6f
X-Complaints-To: Please send complaints to abuse@motzarella.org with full
 headers
NNTP-Posting-Date: Tue, 14 Oct 2008 11:45:00 +0000 (UTC)
In-Reply-To: <18uado7gsipkb$.1sl1fmtv24lve.dlg@40tude.net>
X-Auth-Sender: 
 U2FsdGVkX18FrVUt/JWuALIl68COZRcRokWiCi3KuxBVzLTALOJu9Xd+zAKGVf3UsnOInxQQM2w=
Cancel-Lock: sha1:GpXpD7jUmxJi+QwzNEUPuW1xcUA=
X-X-Sender: Colin_Paul_Gloster@gian.fis.uc.pt
Xref: g2news1.google.com comp.lang.ada:2374
Date: 2008-10-14T12:44:59+01:00
List-Id: <comp.lang.ada>

On Tue, 14 Oct 2008, Dmitry A. Kazakov wrote:

|------------------------------------------------------------------------------|
|"On Mon, 13 Oct 2008 19:55:17 +0100, (see below) wrote:                       |
|                                                                              |
|> FP started with LISP, ca. 1960, and turned into a major academic industry in|
|> the early 1980s. Only AI rivals it as a wholesale waste of CS effort.       |
|                                                                              |
|(:-))                                                                         |
|                                                                              |
|However there is a crucial difference between them. Lambda calculus is a      |
|nice theory of little or no practical use.                                    |
|                                                                              |
|[..]"                                                                         |
|------------------------------------------------------------------------------|

Typed lambda calculus has been of use in verification.

Regards,
C. P. G.