http://hackage.haskell.org/package/IOSpec <-- ? Looks kind of promising though I must confess I've never used it.
Dave On Thu, Aug 27, 2009 at 7:39 AM, Sebastiaan Visser <sfvis...@cs.uu.nl>wrote: > On Aug 27, 2009, at 4:16 PM, Eugene Kirpichov wrote: > > Cool! >> >> 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 > alone." > > Hope there will once be a nice solution to this... > > -- > Sebastiaan Visser > > 2009/8/27 Sebastiaan Visser <sfvis...@cs.uu.nl>: > >> Hi all, >>> >>> I am very pleased to announce the first release of the jail[1,2] package. >>> A >>> 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 >>> and >>> improved Salvia will be released soon) >>> >>> Basic documentation of the jail package is included below. >>> >>> Any comments, suggestions, audits, etc. are welcome! >>> >>> Gr, >>> >>> -- >>> Sebastiaan Visser >>> >>> [1] Source repo: http://github.com/sebastiaanvisser/jail/ >>> >>> [2] Hackage: http://hackage.haskell.org/package/jail >>> >>> ... >>> >> > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe