From: Anders Wirzenius <anders@no.email.thanks.invalid>
Subject: Re: Embedded Keynote Speaker Mentions Ada
Date: Wed, 22 Sep 2004 10:08:25 GMT
Date: 2004-09-22T10:08:25+00:00 [thread overview]
Message-ID: <upt4emx9k.fsf@no.email.thanks.invalid> (raw)
In-Reply-To: y4Z3d.9948$bL1.611555@news20.bellglobal.com
"Warren W. Gay VE3WWG" <ve3wwg@cogeco.ca> writes:
> Benjamin Ketcham wrote:
>
> > How long does someone who actually knows Ada (not me) think it
> > would take to translate the kernel to Ada?
>
> I think this process is the wrong way to put something into
> Ada. Ada can be made to look like a C program, but I don't
> see any benefit to that.
>
> Only by redesign, in Ada terms (not C ones), does such a
> project have any useful outcome. For this you toss away
> the C code, and design from the requirements. And what
> I am suggesting is that you don't need the Linux kernel
> to dictate your requirements.
>
I am not a programming lecturer. I got an impression that there are some persons participating in c.l.a who are giving Ada lectures. I want to raise a question about the "useful outcome":
Couldn't a useful outcome be the learning process that comes out of a study where you rewrite a piece of code in Ada, first as a so called line-by-line translation and then as a programming project where you do it from the requirements?
The first mentioned step will certainly raise a bunch of questions about the differences between the [programming language] way and the Ada way. The questions are then answered while doing the second step. The Linux kernel is of course a too big piece for such a project.
Anders
next prev parent reply other threads:[~2004-09-22 10:08 UTC|newest]
Thread overview: 54+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-09-16 23:57 Embedded Keynote Speaker Mentions Ada Jim Gurtner
2004-09-17 0:28 ` Larry Kilgallen
2004-09-17 1:16 ` Jim Gurtner
2004-09-17 23:08 ` Cesar Rabak
2004-09-18 0:26 ` stephane richard
2004-09-18 0:57 ` Larry Kilgallen
2004-09-20 0:23 ` Cesar Rabak
2004-09-20 2:11 ` stephane richard
2004-09-20 14:05 ` Cesar Rabak
2004-09-20 20:55 ` stephane richard
2004-09-20 22:06 ` Björn Persson
2004-09-21 0:38 ` Cesar Rabak
2004-09-21 2:44 ` stephane richard
2004-09-21 11:48 ` Björn Persson
2004-09-21 18:08 ` Martin Krischik
2004-09-21 1:07 ` Benjamin Ketcham
2004-09-21 16:59 ` Warren W. Gay VE3WWG
2004-09-21 19:12 ` Cesar Rabak
2004-09-21 19:49 ` Jeffrey Carter
2004-09-22 0:50 ` Cesar Rabak
2004-09-22 10:08 ` Anders Wirzenius [this message]
2004-09-22 13:04 ` Benjamin Ketcham
2004-09-22 13:52 ` Marius Amado Alves
2004-09-22 20:59 ` Simon Wright
2004-09-22 22:19 ` Marius Amado Alves
2004-09-23 19:12 ` Simon Wright
2004-09-23 22:22 ` Benjamin Ketcham
2004-09-22 23:06 ` Björn Persson
2004-09-22 16:56 ` Warren W. Gay VE3WWG
2004-09-22 17:36 ` Pascal Obry
2004-09-23 10:34 ` Anders Wirzenius
2004-09-21 20:34 ` Tom
2004-09-21 22:07 ` Georg Bauhaus
2004-09-22 6:20 ` Tom
2004-09-22 7:48 ` Jean-Pierre Rosen
2004-09-22 20:28 ` Jeffrey Carter
2004-09-22 23:15 ` Björn Persson
2004-09-23 22:19 ` Randy Brukardt
2004-09-22 9:21 ` Ada and malicious software Björn Persson
2004-09-22 16:59 ` Warren W. Gay VE3WWG
2004-09-23 7:33 ` Jean-Pierre Rosen
2004-09-22 0:56 ` Embedded Keynote Speaker Mentions Ada Cesar Rabak
2004-09-22 2:43 ` stephane richard
2004-09-22 9:24 ` Peter Hermann
2004-09-23 22:09 ` Randy Brukardt
2004-09-24 3:21 ` CBFalconer
2004-09-26 11:02 ` Tom
2004-09-17 2:10 ` Steve
2004-09-17 4:30 ` Larry Kilgallen
2004-09-17 23:58 ` Christopher Browne
2004-09-18 1:01 ` Ed Falis
2004-09-18 3:50 ` Christopher Browne
2004-09-18 11:22 ` Simon Wright
-- strict thread matches above, loose matches on Subject: below --
2004-09-17 6:10 Christoph Karl Walter Grein
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox