On 12/13/05, William Josephson wrote: > > On Tue, Dec 13, 2005 at 12:43:27PM -0500, Russ Cox wrote: > > Some of the kernel core (i.e., the low-level assembly, the garbage > > collector, the debugger) is written in unchecked languages, > > but most of it (including, for example, the scheduler and all the > > device drivers) is written in checked languages. Safe device drivers > > alone would fix a huge fraction of the Windows crashes. > > To hear (some of) the UW guys tell it, it is ``just SPIN'' :-) > yeah but then you'd have to write in Modula3