[Haskell-cafe] Re: [Haskell-beginners] Just how unsafe is unsafe
Roel van Dijk
vandijk.roel at gmail.com
Fri Feb 6 13:25:18 EST 2009
> Do you document the preconditions?
Yes. The 'safe' variants of those functions have all preconditions
listed in the accompanying (haddock) comments. The 'unsafe' variants
simply state that they promote exceptions to errors.
> It seems to me that this is more useful than naming a function
Well, I do both :-) They are called unsafeXXX and they state why they
> I was using comments to document the contracts on my functions, but I
> have just found about about ESC/Haskell, so I am now using the
> contract notation of that (not yet released) tool.
> See http://www.cl.cam.ac.uk/~nx200/
That is interesting. I like formal proofs and preconditions better
than informal ones.
More information about the Beginners