comp.lang.ada
 help / color / mirror / Atom feed
From: "(see below)" <yaldnif.w@blueyonder.co.uk>
Subject: Re: Naming convention to identify functions with side effects
Date: Sat, 11 Oct 2008 19:42:22 +0100
Date: 2008-10-11T19:42:22+01:00	[thread overview]
Message-ID: <C516B21E.FC183%yaldnif.w@blueyonder.co.uk> (raw)
In-Reply-To: 48f0e72d$0$6599$9b4e6d93@newsspool3.arcor-online.net

On 11/10/2008 18:49, in article
48f0e72d$0$6599$9b4e6d93@newsspool3.arcor-online.net, "Georg Bauhaus"
<rm.tsoh.plus-bug.bauhaus@maps.futureapps.de> wrote:

> (see below) wrote:
... 
>> I had a very distinguished group of them as colleagues for nearly 15 years,
>> so I am only too aware of their profound misunderstanding of what computers
>> are actually for.
> 
> Maybe Simon Peyton Jones has finally found a way to
> make real computers visible to scientists with a preference
> for world-excluding static functions. In
>  "Tackling the Awkward Squad" (2005) he introduces Haskell
> as "the world's finest imperative programming language"
> using monads), drawing attention to I/O ("I/O is the raison d'�tre
> of every program. ---a program that had no observable effect
> whatsoever (no input, no output) would not be very useful."),
> error detection and recovery, concurrency, and interfacing to
> components of the OS or written in other languages.
> 
> Maybe computer operations need declarative paint and a
> mathematical superstructure more abstract than that of
> IF and GOTO in order to be on a CS teacher's radar?

He always was good at spin. 8-)

-- 
Bill Findlay
<surname><forename> chez blueyonder.co.uk





  reply	other threads:[~2008-10-11 18:42 UTC|newest]

Thread overview: 24+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-09-29 18:17 Naming convention to identify functions with side effects Hibou57 (Yannick Duchêne)
2008-09-29 18:45 ` Hibou57 (Yannick Duchêne)
2008-09-29 18:55 ` Adam Beneschan
2008-09-29 19:52   ` Dmitry A. Kazakov
2008-09-29 20:48     ` Georg Bauhaus
2008-09-29 21:10       ` Adam Beneschan
2008-09-30 15:17         ` Georg Bauhaus
2008-09-30 17:40           ` Ray Blaak
2008-10-02 12:33       ` Ole-Hjalmar Kristensen
2008-10-03  9:18         ` Georg Bauhaus
2008-10-06  7:24           ` Ole-Hjalmar Kristensen
2008-10-03 11:51       ` Brian Drummond
2008-10-03 12:28         ` Dmitry A. Kazakov
2008-10-04 12:30           ` Marco
2008-10-04 13:05             ` (see below)
2008-10-04 15:14               ` Gary Scott
2008-10-11 11:32               ` Marco
2008-10-11 14:57                 ` Dmitry A. Kazakov
2008-10-11 16:05                 ` (see below)
2008-10-11 17:49                   ` Georg Bauhaus
2008-10-11 18:42                     ` (see below) [this message]
2008-10-03 13:15         ` Jeffrey Creem
2008-09-29 20:57 ` Georg Bauhaus
2008-09-29 22:22 ` Dr. Adrian Wrigley
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox