[Haskell-beginners] mayBe stuck
Colin Paul Adams
colin at colina.demon.co.uk
Fri Aug 6 06:15:52 EDT 2010
>>>>> "Brent" == Brent Yorgey <byorgey at seas.upenn.edu> 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
More information about the Beginners
mailing list