Am 31.01.2008 um 18:13 schrieb Dan Weston:
Even though you cannot "dive into this matter now", maybe when you
get time you can update your blog with an explicit embedding of
Haskell monads and arrows in your Thrist construction. Concrete
examples will help me (and probably others) more quickly see the
novelty, increased generality, and usefulness of a Thrist.
Okay, I took my time and came up with:
http://heisenbug.blogspot.com/2008/01/embeddings-part-one-arrow-
thrist.html
Comments welcome.
Also, although you say that thrists are the moral equivalent of a
free category, it appears (at least to me) possible that the first
Thrist argument enables the construction of a restricted domain
monad, e.g. (Eq a => Set a) monad. Is this so?
Hmmm, not sure what you asking for. If you have a monad instance Set
a that has Eq a attached, this
already would do what you want, no? An example would help me to
understand...
Dan
Cheers,
Gabor
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
