On Sat, 22 Dec 2007 15:08:05 +0100 Erik Wikstrvm <[EMAIL PROTECTED]> wrote:
> I'm not very familiar with Ada so I do not know if it allows for the > same kinds of low-level programming (which is necessary when writing > an OS or code that interacts with hardware) that C does. It does. > Again, I do not know Ada so I do not know how it achieves its high > level > of safety but I would think that runtime checks is part of it. Yes. Use of Ada: http://www.adacore.com/home/ada_answers/lookwho