Personal tools

Lub

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(unamb link; blog post link)
m (Abstract: added "and")
Line 16: Line 16:
 
<!-- Please leave comments at the [[Talk:lub|Talk page]]. -->
 
<!-- Please leave comments at the [[Talk:lub|Talk page]]. -->
   
I got inspired for this package after [http://tunes.org/~nef/logs/haskell/08.11.17 stimulating discussions] with Thomas Davie, Russell O'Connor others in the #haskell gang.
+
I got inspired for this package after [http://tunes.org/~nef/logs/haskell/08.11.17 stimulating discussions] with Thomas Davie, Russell O'Connor and others in the #haskell gang.

Revision as of 04:09, 13 July 2010


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, which is useful with non-flat types.

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

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