comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada for 1st year students
Date: Sat, 11 Oct 2008 16:46:16 +0200
Date: 2008-10-11T16:46:17+02:00	[thread overview]
Message-ID: <158iljyiunpyy$.172hhzc98hoef$.dlg@40tude.net> (raw)
In-Reply-To: 606df221-6074-4732-b5e7-de74700b3e9a@t41g2000hsc.googlegroups.com

On Sat, 11 Oct 2008 06:46:36 -0700 (PDT), amado.alves@gmail.com wrote:

> On 11 Out, 01:15, Jeffrey Creem <j...@thecreems.com> wrote:
>> Too OO is an interesting topic.
> 
> It is a fascinating topic :-)

I strongly disagree.
 
> I've ruled out Java immediatly when I saw that a nice imperative
> algorithm must start with

The opposite to "imperative" is "declarative." Typing is an independent
issue.

In my view students should be exposed to typing together with algorithms.

> 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.

Generations of students become programmers incapable to understand
difference between real, floating-point and fixed-point numbers. Didn't
they start with "nice imperative algorithm," before learning what the
number is?

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



  reply	other threads:[~2008-10-11 14:46 UTC|newest]

Thread overview: 118+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-10-09 16:06 Ada for 1st year students amado.alves
2008-10-09 16:44 ` Vadim Godunko
2008-10-09 17:00   ` Georg Bauhaus
2008-10-09 18:30     ` amado.alves
2008-11-01 12:13       ` Mike H
2008-10-09 18:25   ` amado.alves
2008-10-09 19:09     ` Vadim Godunko
2008-10-09 19:37       ` amado.alves
2008-10-09 16:47 ` mockturtle
2008-10-09 17:06 ` Ludovic Brenta
2008-10-09 19:36   ` Simon Wright
2008-10-14  4:32   ` Randy Brukardt
2008-10-14 10:58     ` amado.alves
2008-10-09 17:27 ` Robert A Duff
2008-10-09 18:35 ` Jeffrey R. Carter
2008-10-09 19:36   ` amado.alves
2008-10-09 19:42 ` amado.alves
2008-10-09 20:05   ` ahab
2008-10-09 21:01   ` Pascal Obry
2008-10-09 21:13     ` Ed Falis
2008-10-09 23:14       ` amado.alves
2008-10-10  0:49         ` Jeffrey R. Carter
     [not found]         ` <D9OdnXWk_MQQOXPVnZ2dnUVZ_gWdnZ2d@earthlink.com>
2008-10-10  9:54           ` amado.alves
2008-10-10 17:44             ` Georg Bauhaus
2008-10-15 10:40     ` amado.alves
2008-10-15 11:00       ` christoph.grein
2008-10-15 11:14         ` amado.alves
2008-10-15 11:50           ` christoph.grein
2008-10-15 17:34             ` Georg Bauhaus
2008-10-15 22:30               ` amado.alves
2008-10-16  7:45                 ` christoph.grein
2008-10-16  9:12                   ` amado.alves
2008-10-16 10:15                     ` christoph.grein
2008-10-16 11:17                       ` Niklas Holsti
2008-10-16 11:35                         ` amado.alves
2008-10-16 19:24                         ` sjw
2008-10-17 12:00                           ` amado.alves
2008-10-16 16:26                     ` Pascal Obry
2008-10-16 18:15                       ` amado.alves
2008-10-16 19:14                         ` sjw
2008-10-17 11:59                           ` amado.alves
2008-10-16  9:42                   ` Common Configuration Settings (was: Ada for 1st year students) Georg Bauhaus
2008-10-16 10:24                     ` christoph.grein
2008-10-16 11:20                       ` Common Configuration Settings Georg Bauhaus
2008-10-16 11:37                         ` amado.alves
2008-10-15 13:57           ` Ada for 1st year students Pascal Obry
2008-10-15 15:20             ` amado.alves
2008-10-15 12:51         ` Dmitry A. Kazakov
2008-10-15 15:34           ` amado.alves
2008-10-25 19:06             ` Marco
2008-10-15 11:08       ` Jean-Pierre Rosen
2008-10-15 15:19         ` amado.alves
2008-10-10  0:09 ` Gene
2008-10-10  1:15 ` Jeffrey Creem
2008-10-10 10:04   ` amado.alves
2008-10-11  0:15     ` Jeffrey Creem
2008-10-11 13:46       ` amado.alves
2008-10-11 14:46         ` Dmitry A. Kazakov [this message]
2008-10-11 20:43           ` amado.alves
2008-10-11 20:57             ` amado.alves
2008-10-11 23:37               ` Mike H
2008-10-12  1:06                 ` (see below)
     [not found]               ` <LIydnQ3Px5JC1WzVnZ2dnUVZ_h2dnZ2d@earthlink.com>
2008-10-12  1:37                 ` Gary Scott
2008-11-01 12:09               ` Mike H
2008-10-11 12:54     ` John McCormick
2008-10-11 13:35       ` amado.alves
2008-10-13 23:17         ` Gene
2008-10-11 14:08       ` amado.alves
2008-10-13 12:51         ` Colin Paul Gloster
2008-10-13 20:07           ` amado.alves
2008-10-14 11:56             ` Colin Paul Gloster
2008-10-11 14:12       ` amado.alves
2008-10-11 16:20       ` (see below)
2008-10-12 13:00         ` John McCormick
2008-10-12 14:53           ` amado.alves
2008-10-12 15:31             ` Gary Scott
2008-10-12 16:19               ` Georg Bauhaus
2008-10-13 13:06                 ` Colin Paul Gloster
2008-10-13 15:29                   ` Georg Bauhaus
2008-10-13 16:01                     ` Colin Paul Gloster
2008-10-14 14:17                       ` Georg Bauhaus
2008-10-13 20:13                   ` amado.alves
2008-10-12 14:56           ` Dmitry A. Kazakov
2008-10-13 13:10             ` Colin Paul Gloster
2008-10-13 14:08               ` Dmitry A. Kazakov
2008-10-13 14:26                 ` Colin Paul Gloster
2008-10-13 14:46                   ` Dmitry A. Kazakov
2008-10-14 12:03                     ` Colin Paul Gloster
2008-10-14 12:25                       ` Dmitry A. Kazakov
2008-10-13 15:52             ` John McCormick
2008-10-11 17:44       ` Simon Wright
2008-10-13 14:22 ` Colin Paul Gloster
2008-10-13 20:27   ` amado.alves
2008-10-19 20:49 ` Michael Feldman
2008-10-21 11:16   ` amado.alves
2008-10-22  0:41     ` John McCormick
2008-10-22  8:50       ` amado.alves
2008-10-22  9:26         ` Georg Bauhaus
2008-10-22 11:07           ` amado.alves
2008-10-22 18:02           ` Jeffrey R. Carter
2008-10-22 19:26             ` Adam Beneschan
2008-10-22 20:31               ` Jeffrey R. Carter
2008-11-04 15:31             ` amado.alves
2008-11-04 18:16               ` Colin Paul Gloster
2008-11-05 15:30               ` John McCormick
2008-11-12 12:23                 ` amado.alves
2008-10-22 18:24           ` Jeffrey R. Carter
2008-10-22 13:38         ` mcollado
2008-10-21 11:30   ` amado.alves
2008-10-21 12:34     ` Peter Hermann
2008-10-21 16:35       ` amado.alves
2008-10-22 13:40         ` Larry A Barowski
2008-10-22 13:33       ` Larry A Barowski
2008-10-22 14:11         ` Britt Snodgrass
2008-10-22 21:48           ` Larry A Barowski
2008-10-25 19:36         ` Marco
2008-10-28  0:49           ` lbarowski
2008-10-28 11:31           ` lbarowski
replies disabled

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