[Haskell-cafe] Unnecessarily strict implementations
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