Browse thread
[Caml-list] Rewriting UNIX in Caml and getting rid of the C disease
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Eric Newhuis <enew@b...> |
| Subject: | Re: [Caml-list] Rewriting UNIX in Caml and getting rid of the C disease |
<seriousness> Is there a market for such a thing? Defense? Secure operating systems? What are all the tangible benefits? </seriousness> <humor> What will the name fo the OS be? SafeLix? FreeBSafeD? </humor> <opinion> Windows NT might already be part of the way there depending on how one views Prolog as being closer to Caml. I guess they're both functional. Has Prolog, used in the following manner, added the safety you hope to achieve? And could Caml have also achieved it? </opinion> <fact> Microsoft used Prolog in NT's network stack. http://research.microsoft.com/research/dtg/davidhov/pap.htm </fact> ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr