[Haskell-cafe] OS design & FP aesthetics

[Creighton Hogg]

On 6/18/07, Jaap Weel <jaapweel at gmail.com> wrote:
>
> > > > Well, since we're on the subject and it's only the Cafe list, what
> is
> > > > it that you find messy about Linux that you would want to be solved
> by
> > > > some hypothetical Haskell OS?
>
> The hypothetical Haskell OS, especially if it were targeted toward 64
> bit machines, could keep processes from messing with each other by way
> of language based security, and run them all in a single memory
> space. (The first system to do this, I believe, was the MULTIPOP
> timesharing system, but there are other precedents, too.) This would
> eliminate or simplify lots of context switches and buffer copies and
> memory management and other nastiness that now goes into kernels.


Okay, I remember seeing an example of this before , but I'm not sure if I
see what language based security Haskell's type system could provide in
protecting address spaces from each other.  Normally I've seen capabilities
used so that you can't access anything you can't name.  Can you elaborate a
little?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20070618/6f1b8cab/attachment.htm