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,3be76ca884705a45
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news2.google.com!goblin3!goblin.stu.neva.ru!news.dougwise.org!nntpfeed.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: is Ada still being used for teaching at universities?
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <ileigu$61k$1@speranza.aioe.org>
 <f464c594-f1b7-4b6b-adff-195b801000ea@17g2000prr.googlegroups.com>
 <ilihgv$vf0$1@speranza.aioe.org>
 <8dd2a69d-574c-4f12-a644-ae4b2fd89709@r4g2000vbq.googlegroups.com>
 <4D7FA036.7020401@obry.net> <87ei686vol.fsf@mid.deneb.enyo.de>
 <ps0bs2n84fu4.1uncm8ixynh2h$.dlg@40tude.net> <op.vs0yzhqmule2fv@index.ici>
 <1rts6l41zobmz.1cudqx6jeu5qu$.dlg@40tude.net> <op.vs1twsozule2fv@index.ici>
Date: Mon, 28 Mar 2011 14:19:44 +0200
Message-ID: <wjzym7vkyhtl$.1igzxdtvm4o9u$.dlg@40tude.net>
NNTP-Posting-Date: 28 Mar 2011 14:19:44 CEST
NNTP-Posting-Host: 21e95d01.newsspool2.arcor-online.net
X-Trace: 
 DXC=JI>>H@1Agk685[]]\]T081A9EHlD;3Yc24Fo<]lROoR18kF<OcfhCO;JBU<4?6VIT>[6LHn;2LCV>7enW;^6ZC`4\`mfM[68DC34_:Q9W?nia2
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:19515
Date: 2011-03-28T14:19:44+02:00
List-Id: <comp.lang.ada>

On Mon, 28 Mar 2011 12:25:30 +0200, Yannick Duch�ne (Hibou57) wrote:

> Le Mon, 28 Mar 2011 10:26:02 +0200, Dmitry A. Kazakov  
> <mailbox@dmitry-kazakov.de> a �crit:
>> No, I mean that things being taught are often ignored or hated by  
>> students.
> Ouch, that's so bad ? :(

Or maybe worse?

>> Practical work leaves a deeper imprint. In general I am a bit sceptical
>> about teaching programming languages. Programming is not a science and
>> languages are even less than science.
> True for Ada, which was designed with practical purpose in mind, but just  
> less true some other languages (not the topic here anyway).

Even more true for those.

> Yes, Ada is not formal in the mathematical sense.

A programming language must be formal in terms of the science of
programming, which does not exist. The languages you probably have in mind
are as formal as numerology is. It is modern times scholastics.

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