Am Sonntag, 11. Dezember 2005 09:58 schrieb Tomasz Zielonka: > [...] 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. [...]
... in effect making things like putStrLn, getContents etc. "tainted", resulting in probably > 95% of the hierachical libraries in the fptools repository being "tainted", including lots of stuff from the H98 report. :-) Nice idea, but not very practical IMHO. Cheers, S. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe