[Haskell-cafe] Lattice and calculation of Least Upper Bounds
aaronngray.lists at gmail.com
Sat Jun 16 15:07:04 UTC 2018
I am trying to work out how to use the Algebra.Lattice family of Lattice
Firstly how do I construct a lattice ?
What I am wanting to do is to be able to construct a lattice to represent a
multiple inheritance hierarchy. Then I to be able to find the Least Upper
Bound of a set of classes/types. This is in order to find the type of a
multiple case expression.
I am not sure if the Haskell classes are actually applicable ? but if they
are how do I apply them to the following problem please ?
Independent Open Source Software Engineer, Computer Language Researcher,
Information Theorist, and amateur computer scientist.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe