Hi,
Thanks for this very interesting and inspiring paper. I'm certainly
going to try some other data types, and see what kind of
implementations you get when using the TCM property.
I was wondering if any of this could be automated, given the semantic
function? If not in Haskell, then
May be I am reading it wrong Shouldn't the second instance in The
instance's meaning is the meaning's instance be plural as meaning's
instances rather than meaning's instance?
I am reading it similar to the you are who you know saying. It seems to
say that the meaning of your data types
I have a draft paper some of you might enjoy, called Denotational design
with type class morphisms.
Abstract:
Type classes provide a mechanism for varied implementations of standard
interfaces. Many of these interfaces are founded in mathematical
tradition and so have regularity not