proposal: add 'unsafeCoerce'

Bulat Ziganshin bulat.ziganshin at gmail.com
Sat Nov 11 03:50:30 EST 2006


Hello Donald,

Saturday, November 11, 2006, 5:47:36 AM, you wrote:

> yes! this was *critical* in lambdabot, for allowing random users to run
> pure h98 expressions. A lot of time went in to working out the trusted
> module import base (so not stToIo, , unsafe* and so on).

> Currently unsafe things are scattered around System.*, Data.Array.*
> Control.*.

isn't it _much_ better to use Virtual Machine to disallow bad code?
may be yhc may provide such VM?


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com



More information about the Libraries mailing list