[Haskell-cafe] ANN: jail-0.0.1 - Jailed IO monad
leimy2k at gmail.com
Thu Aug 27 10:41:04 EDT 2009
http://hackage.haskell.org/package/IOSpec <-- ?
Looks kind of promising though I must confess I've never used it.
On Thu, Aug 27, 2009 at 7:39 AM, Sebastiaan Visser <sfvisser at cs.uu.nl>wrote:
> On Aug 27, 2009, at 4:16 PM, Eugene Kirpichov wrote:
>> However, it does not protect me from doing
>> System.IO.Unsafe.unsafePerformIO in whatever fashion I like, does it?
> Unfortunately not, hence my disclaimer:
> "I would almost dare to say this module is conceptually safe and code with
> the jailed IO type can blindly be trusted. Except, yes unfortunately except,
> unsafePerformIO ruins it all. I would almost suggest adding a flag to the
> compiler to enforce the absence ofunsafeRuinMyTypeSafety-alike functions in
> order to be able to create systems in which code can be trusted by its type
> Hope there will once be a nice solution to this...
> Sebastiaan Visser
> 2009/8/27 Sebastiaan Visser <sfvisser at cs.uu.nl>:
>> Hi all,
>>> I am very pleased to announce the first release of the jail[1,2] package.
>>> jailed IO monad that can restrict filesystem access for your code. This
>>> package will soon be an integral part of the Salvia web server. (a new
>>> improved Salvia will be released soon)
>>> Basic documentation of the jail package is included below.
>>> Any comments, suggestions, audits, etc. are welcome!
>>> Sebastiaan Visser
>>>  Source repo: http://github.com/sebastiaanvisser/jail/
>>>  Hackage: http://hackage.haskell.org/package/jail
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe