[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