[Haskell-cafe] Unnecessarily strict implementations

Alexander Solla ajs at 2piix.com
Fri Sep 3 03:31:19 EDT 2010

On Sep 2, 2010, at 11:35 PM, Henning Thielemann wrote:

> But in the lattice example the roles of 0 and 1 are interchangeable,
> aren't they?

Sort of.  If you try to interchange the roles of 0 and 1, you are  
interchanging the roles of the meet and join operations.  In short,  
you are constructing the dual lattice.  A mirror image is a good  
analogy for this construction.

So, 0 and 1 are interchangeable.  In the same way that "True" and  
"False" are.  And "Top" and "Bottom".  And "Left" and "Right".   
Arbitrary structurally, but with a history of consistency across  

More information about the Haskell-Cafe mailing list