11 Dec
2005
11 Dec
'05
7:07 a.m.
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.