
6 Aug
2010
6 Aug
'10
6:15 a.m.
"Brent" == Brent Yorgey
writes:
>> Since Haskell allows programming with partial functions, you >> always have this burden at present. Brent> Yes. But that doesn't mean there isn't value in the Brent> discipline of avoiding them. The burden of making sure you Brent> never use fromJust (or head, or ...) is much lighter than the Brent> burden of proving that every such use is safe. The burden is knowing whether or not a function is partial. It's that or ... that is the problem. This isn't flagged anywhere. -- Colin Adams Preston Lancashire () ascii ribbon campaign - against html e-mail /\ www.asciiribbon.org - against proprietary attachments