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!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Avoiding side effects
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
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>
Date: Tue, 14 Oct 2008 09:30:54 +0200
Message-ID: <18uado7gsipkb$.1sl1fmtv24lve.dlg@40tude.net>
NNTP-Posting-Date: 14 Oct 2008 09:30:44 CEST
NNTP-Posting-Host: 29f79a31.newsspool1.arcor-online.net
X-Trace: 
 DXC=eO`enGnaKc1=FQB?mjjV50ic==]BZ:af>4Fo<]lROoR1Fl8W>\BH3Y2O7`85\_6bQ3DNcfSJ;bb[5FCTGGVUmh?4LK[5LiR>kg2lFm8^aQVOE?
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:2372
Date: 2008-10-14T09:30:44+02:00
List-Id: <comp.lang.ada>

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.

AI has no theory whatsoever, it is a bunch of methods useful and used in
practice.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de