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
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Haskell, anyone?
Date: Wed, 18 Nov 2015 13:41:15 +0100
Organization: A noiseless patient Spider
Message-ID: <n2hrh0$1k6$1@dont-email.me>
References: <c6ac0d2f-52af-4aa6-ba6f-34f61e3c93e8@googlegroups.com>
 <14533506-4289-4148-b8c4-e970f5778b26@googlegroups.com>
 <87si45msuz.fsf@nightsong.com>
 <35d6dc4f-4f2e-4e75-925c-e4acc7c8f112@googlegroups.com>
 <n2f4q7$eiq$1@dont-email.me>
 <76ea0bc9-537b-4c68-a728-4f634cf6de52@googlegroups.com>
 <87a8qccxj4.fsf@nightsong.com>
 <0ff849e9-11d7-438d-abf9-853f79348640@googlegroups.com>
 <874mgjnctv.fsf@nightsong.com>
 <b6f252a0-1dbe-4b65-b1f3-df591df27567@googlegroups.com>
 <87ziyblkzn.fsf@nightsong.com>
 <937b88b1-66aa-4205-a412-9588d83a3f26@googlegroups.com>
 <bis7wku8qkbt$.y91uj9q25nn1.dlg@40tude.net>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 18 Nov 2015 12:38:56 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="b96887e80893c84a90c3007226ca0d1c";
	logging-data="1670"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18LFdvvrGIzD/VFu4ap3Gv+XMQATHsziPw="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0)
 Gecko/20100101 Thunderbird/38.3.0
In-Reply-To: <bis7wku8qkbt$.y91uj9q25nn1.dlg@40tude.net>
Cancel-Lock: sha1:9X2uI7v7qxTkFkKSFyNsDjYU97g=
Xref: news.eternal-september.org comp.lang.ada:28444
Date: 2015-11-18T13:41:15+01:00
List-Id: <comp.lang.ada>

On 18.11.15 12:02, Dmitry A. Kazakov wrote:
> Actually any machine is a FSA. Stateless computation is an oxymoron. The
> sole reason of having any program running is for the side effects it
> produces.


One doesn't show one's state in mathematical circles, does one?
That would be like showing notes and computations, but not results.
Procedures are talked about in public only when they are the subject
of declarative sentences, such as sentences that explain properties
of procedures. Which then, sadly, might necessitate referring to
examples of procedural computation. ;-)

Dirt (procedures, states) is for the hands of engineers and (some)
educators, mostly for people whose work (programs) has effects on
non-people.