comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: is Ada still being used for teaching at universities?
Date: Mon, 28 Mar 2011 14:19:44 +0200
Date: 2011-03-28T14:19:44+02:00	[thread overview]
Message-ID: <wjzym7vkyhtl$.1igzxdtvm4o9u$.dlg@40tude.net> (raw)
In-Reply-To: op.vs1twsozule2fv@index.ici

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



  reply	other threads:[~2011-03-28 12:19 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-03-12  1:33 is Ada still being used for teaching at universities? Nasser M. Abbasi
2011-03-12 12:01 ` Peter C. Chapin
2011-03-13 13:22 ` John McCormick
2011-03-13 13:40   ` Nasser M. Abbasi
2011-03-14 13:23     ` Hyman Rosen
2011-03-15 16:00     ` Lucretia
2011-03-15 17:21       ` Pascal Obry
2011-03-15 19:16         ` Florian Weimer
2011-03-15 19:58           ` Dmitry A. Kazakov
2011-03-27 23:17             ` Yannick Duchêne (Hibou57)
2011-03-28  8:26               ` Dmitry A. Kazakov
2011-03-28 10:25                 ` Yannick Duchêne (Hibou57)
2011-03-28 12:19                   ` Dmitry A. Kazakov [this message]
2011-03-28 17:53                     ` Georg Bauhaus
2011-03-27 23:12         ` Yannick Duchêne (Hibou57)
2011-03-28 21:56         ` richard
2011-03-29  7:30           ` stefan-lucks
2011-03-14 11:18   ` Georg Bauhaus
2011-03-27 23:20     ` Yannick Duchêne (Hibou57)

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