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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM 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-7-bit
Path: 
 g2news2.google.com!postnews.google.com!t42g2000hsg.googlegroups.com!not-for-mail
From: amado.alves@gmail.com
Newsgroups: comp.lang.ada
Subject: Re: Ada for 1st year students
Date: Sat, 11 Oct 2008 13:43:14 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <caff57dd-c88d-4805-ae1d-f4295efba671@t42g2000hsg.googlegroups.com>
References: 
 <60e0c5f0-1e17-4add-b21e-b1ef622d5233@v13g2000pro.googlegroups.com>
	<6gj2s5-0f9.ln1@newserver.thecreems.com>
 <543356bc-7862-45d2-9004-dfef69deab26@79g2000hsk.googlegroups.com>
	<3m65s5-33u.ln1@newserver.thecreems.com>
 <606df221-6074-4732-b5e7-de74700b3e9a@t41g2000hsc.googlegroups.com>
	<158iljyiunpyy$.172hhzc98hoef$.dlg@40tude.net>
NNTP-Posting-Host: 89.214.183.20
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1223757794 20930 127.0.0.1 (11 Oct 2008 20:43:14
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 11 Oct 2008 20:43:14 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: t42g2000hsg.googlegroups.com; posting-host=89.214.183.20;
	posting-account=3cDqWgoAAAAZXc8D3pDqwa77IryJ2nnY
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 6.0; SLCC1;
	.NET CLR 2.0.50727; Media Center PC 5.0; .NET CLR 3.0.04506; .NET CLR
	1.1.4322),gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:8065
Date: 2008-10-11T13:43:14-07:00
List-Id: <comp.lang.ada>

> > package public class ... or whatever
>
> > ---nothing to do with the logic of the algorithm.
>
> The logic of any algorithm, except for primitive state machines, has no
> meaning without the types of things being computed. A good course should
> show this first. After all, using predefined types is bad taste in Ada.

Sure, but 2 things:

(1) the main focus of the course is indeed the logic

(2) types are fundamental and are addressed, only not full fledge OOP
(I cannot use full fledged OOP for the algorithms, way too
distracting, "package public class ...", "abstract tagged null record
with private...", whatever, totally unnecessary and a turn of)