Benno wrote:
> But most of the internals of an OS, process lists, file systems,
> virtual memory management, ends up being all about data structures
> and algorithms, so I would think something that better manages those
> things would be a great idea.
O'caml is not a perfect language, but for complex high level data
structures I haven't seen anything better (I've written a computer
algebra system in o'caml).
One of the things that IMO make O'caml bad for OS development
is that native ints are only 31 bits (on 32 bit machines, 61
bits on 64 bit machines). This is done to help the garbage
collector do its work.
There are however other languages like cyclone
http://www.research.att.com/projects/cyclone/
and another called safe-c which have yet to escape the confines
of research groups.
I haven't really looked at cyclone, but my suspicion is that
there is a really good language still out there waiting to be
written. I'd love to have a go at this, but I'm still looking
for someone to pay me to do it :-).
Erik
--
+---+
Erik de Castro Lopo
+---+
The National Multiple Sclerosis Society of America recently started an
advertising campaign with the slogan "MS: It's not a software company".
Seasoned IT professionals will have no trouble telling the two MS's
apart. One is a debilitating and surprisingly widespread affliction
that renders the sufferer barely able to perform the simplest task.
The other is a disease.
--
SLUG - Sydney Linux User's Group Mailing List - http://slug.org.au/
Subscription info and FAQs: http://slug.org.au/faq/mailinglists.html
