5 Jul
2012
5 Jul
'12
2:58 p.m.
On 5 July 2012 15:28, Henning Thielemann
I also see a divergence of usages of the term "safe". It is sometimes used where "total (function)" is meant. I prefer the meaning of "safe" in the sense of SafeHaskell and unsafePerformIO.
Where would you classify functions that don't perform bounds checking? They can be used to read (or write!) arbitrary heap locations. -- Push the envelope. Watch it bend.