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,fef3ad775ef4b0b7
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!87.106.161.54.MISMATCH!feeder1.news.weretis.net!newsfeeder.dynfx.net!weretis.net!npeer.de.kpn-eurorings.net!npeer-ng1.kpn.DE!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Mon, 13 Oct 2008 17:29:16 +0200
From: Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de>
Reply-To: rm.tsoh+bauhaus@maps.futureapps.de
User-Agent: Thunderbird 2.0.0.17 (Windows/20080914)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Ada for 1st year students
References: 
 <60e0c5f0-1e17-4add-b21e-b1ef622d5233@v13g2000pro.googlegroups.com>
  <6gj2s5-0f9.ln1@newserver.thecreems.com>
 <543356bc-7862-45d2-9004-dfef69deab26@79g2000hsk.googlegroups.com>
  <bc9af86b-de74-4ee8-bbd8-942154036def@34g2000hsh.googlegroups.com>
  <C51690CC.FC111%yaldnif.w@blueyonder.co.uk>
 <ccd95963-37bd-411b-9312-da96e5786a14@l77g2000hse.googlegroups.com>
 <802648fb-608e-42de-b94a-9dd39b1e2b21@l62g2000hse.googlegroups.com>
 <fLoIk.2989$x%.1349@nlpi070.nbdc.sbc.com>
 <48f22378$0$17124$9b4e6d93@newsspool2.arcor-online.net>
 <Pine.WNT.4.64.0810131358060.2500@teor1>
In-Reply-To: <Pine.WNT.4.64.0810131358060.2500@teor1>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
Message-ID: <48f3694c$0$17130$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 13 Oct 2008 17:29:16 CEST
NNTP-Posting-Host: 766e49c9.newsspool2.arcor-online.net
X-Trace: 
 DXC=fJn`QN822L:;]cDoEWD6A4A9EHlD;3Yc24Fo<]lROoR14nDHegD_]R5i8<L_aW5>G0A:ho7QcPOV3BaeD<8On>c:7_Z>84cD6W<
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:2358
Date: 2008-10-13T17:29:16+02:00
List-Id: <comp.lang.ada>

Colin Paul Gloster wrote:
> On Sun, 12 Oct 2008, Georg Bauhaus wrote:

> |------------------------------------------------------------------|
> |"                                                                 |
> |[..]  I guess this then                                           |
> |will be the first time that the CS mathematicians start seeing the|
> |harm that their intuition is doing to computer programming..."    |
> |------------------------------------------------------------------|
> 
> What harm is being done?

Distraction from the topics of computer science (knowledge
of the computer).  Try to minimize things that (a) are not
about computers and (b) need additional knowledge of largely
unrelated detail.  IOW, CS should not be made a math review
course.
  CS needs to put limits on mathematical high school intuition.
E.g., if you want to study computers, and only computers,
then knowing sets is probably more to the point than knowing
integrals.

Example:
A type is a *set* together with a set of operations.

   type Colors_of_the_Rainbow is
    (Rot, Orange, Gelb, Gr�n, Blau, Indigo, Violett).

This is a set.  In

   Colors_of_the_Rainbow'Succ (Indigo),

Succ is an operation associated with the type
Colors_of_the_Rainbow. It takes a value from the set and
produces another value of the set, if there is one.
For Indigo, it produces Violett.

You can express Type + Operations as a tuple,

  ({Rot, Orange, Gelb, Gr�n, Blau, Indigo, Violett},
           -- the values
   {Succ, Pred, ...}).
           -- the operations

Is this, I guess algebraic style, typical of high school
mathematics?