I meant it more as an indication that Microsoft are working in the direction of better secured OSes already, rather than his being a pivotal move. Coyotos might get revived when the open source world sees what MS produces and need to play catch up.
That assumes MS ever goes far enough that the FLOSS world feels any gap that could be caught up.
MS rarely does so; the chief fruit of 2 decades of Microsoft Research sponsorship of major functional language researchers like Simon Marlow or Simon Peyton-Jones seems to be… C# and F#. The former is your generic quasi-OO imperative language like Python or Java, with a few FPL features sprinkled in, and the latter is a warmed-over O’Caml: it can’t even make MLers feel like they need to catch up, much less Haskellers or FLOSS users in general.
The FPL OSS community is orders of magnitude more vibrant than the OSS secure operating system research. I don’t know of any living projects that use the object-capability model at the OS level (plenty of language level and higher level stuff going on).
Sadly, I suspect this moves things backwards rather than forwards. I was really hoping that we’d see Coyotos one day, which now seems very unlikely.
I meant it more as an indication that Microsoft are working in the direction of better secured OSes already, rather than his being a pivotal move. Coyotos might get revived when the open source world sees what MS produces and need to play catch up.
That assumes MS ever goes far enough that the FLOSS world feels any gap that could be caught up.
MS rarely does so; the chief fruit of 2 decades of Microsoft Research sponsorship of major functional language researchers like Simon Marlow or Simon Peyton-Jones seems to be… C# and F#. The former is your generic quasi-OO imperative language like Python or Java, with a few FPL features sprinkled in, and the latter is a warmed-over O’Caml: it can’t even make MLers feel like they need to catch up, much less Haskellers or FLOSS users in general.
The FPL OSS community is orders of magnitude more vibrant than the OSS secure operating system research. I don’t know of any living projects that use the object-capability model at the OS level (plenty of language level and higher level stuff going on).
For some of the background, Rob Pike wrote an old paper on the state of system level research.