Personal tools

Lub

From HaskellWiki

Revision as of 00:00, 19 November 2008 by Conal (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


Abstract

Lub is an experiment in computing least upper information bounds on (partially defined) functional values.

It provides a
lub
function that is consistent with the
unamb
operator but has a more liberal precondition. Where
unamb
requires its arguments to equal when neither is bottom,
lub
is able to synthesize a value from the partial information contained in both of its arguments.

Besides this wiki page, here are more ways to find out about lub:

Please leave comments at the Talk page.

I got inspired for this package after stimulating discussions with Thomas Davie, Russell O'Connor others in the #haskell gang.