Re: Linux Kernel in Ada. Repost

["Jeffrey D. Cherry" <jdcherry@utech.net>]

Corey Ashford wrote:
> 
> "Jeffrey D. Cherry" wrote:
> >
> > Bruce MacDonald wrote:
> > >
> > > I have been casting about trying to find out if anyone is rewriting the Linux
> > > kernel in a high level language, such as Ada.
> > > Is anyone else interested in a project like this? Would the Intermetrics C2Ada
> > > tool be the appropriate starting place for this project?
> >
> > I'd be interested ... sounds like fun.  I'm not sure about the C2Ada
> > tool since I have no experience with it myself.  However, I don't see
> > how it could hurt and at the very least would automate at least a
> > portion of the process.
> >
> 
> I'd like to ask what the long-term goal of this would be?
> 
> Without a considerable amount of work, I don't know how you'd keep the Ada kernel
> up with the C kernel.  About the only way that would happen is if you could convert
> Torvald and his groupies to use Ada, and the chances of that are about nil at this
> point, don't you think?
> 
> - Corey

Corey,

I can't speak for anyone else, but for me the goal would be just to do
it.  I think it would be both educational and a good experience.

I agree that it is unlikely to convert Torvald and his fellow
programmers from their C base to Ada.  Personally I have a lot of
respect for that group and wouldn't want to change a good thing.  I view
the project as imitation being the most sincere form of flattery.

Regards
Jeffrey D. Cherry
Logicon Geodynamics