Is this a true statement: Part II

[Andy Freeman]

> >You could write an operating system that could only be directly
> >programmed in Python.
> 
> I'm not sure how.  Nobody has yet come up with an operating system that
> could only be directly programmed in C, or Lisp, or Algol, or Java,
> despite implementing operating systems in all four.

Symbol seems to qualify.  (The compiler was in hardware....)

However, that level of theoretically pure "only" ignores systems where
the only reasonable way to program the OS is in some "high level" language,
and the vastly more popular systems where the only reasonable way to do
most things in the OS is in some "high level" language.

After all, the fact that one can drive nails with a socket wrench doesn't
make it useful exercise.

-andy