[Haskell-cafe] [Newbie] Why or why not haskell ?
lemming at henning-thielemann.de
Mon Dec 12 12:18:35 EST 2005
On Sun, 11 Dec 2005, Tomasz Zielonka wrote:
> I would like to see some support in tools for enforcing such a coding
> policy. It could look like this - a function written using only safe
> components would be marked as safe. Every unsafe feature like FFI,
> unsafePerformIO, etc. would "taint" a module/function, marking it
> unsafe. You could explicitly tag module/function as trusted/reviewed/etc.
> There would be different levels of trust. All this would be propagated
> through the libs and program modules. A Haskell IDE could mark
> safe/unsafe/trusted code with different background color, etc. You could
> get statistics about the proportions of safe/unsafe/trusted code.
Btw. Modula-3 distinguishs between safe and unsafe code:
More information about the Haskell-Cafe