Am 31.01.2008 um 01:23 schrieb [EMAIL PROTECTED]:
3. I believe the documentation stating that Haskell arrows are a
generalization of Haskell monads, but arrows are a categorical
thing too and in that context bear a much more distant relationship
to monads. Does a Haskell arrow have Hask
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
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
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...
Sorry, I meant uppercase (and got the constraint wrong anyway). I meant
that Ord a = Set a was a monad (lowercase
Category theory seems to have an inconsistent relationship to Haskell
- both documentation and the language's implementations of categorical
concepts. I come from a math background that makes the Haskell's
tight coupling to its mathematical foundation very appealing. But, I
may have
1. Are Haskell monads useful in a truly categorical sense?
2. Is Haskell's functor class misnamed?
3. Haskell arrows and Haskell monads have a misleading relationship
I'm confused. It seems for me that either I don't understand math or I
don't understand you.
1. Categorical monads are a
On Wed, 2008-01-30 at 16:23 -0800, [EMAIL PROTECTED] wrote:
Category theory seems to have an inconsistent relationship to Haskell
- both documentation and the language's implementations of categorical
concepts. I come from a math background that makes the Haskell's
tight coupling to its
I assume you have read the references in
http://www.haskell.org/haskellwiki/Research_papers/Monads_and_arrows
The penultimate sentence in question 1 below (role of adjoint functors
in Haskell monads) was addressed by David Menendez in a recent post to
this list:
David's post looks like it has cleared up what I was wondering about. I
think it was the specific contents of Ob(Hask) and Haskell functions as
arrows in Hask that I was unclear on. With that in mind I understand
and agree with Miguel's explanations. Thanks, guys.
Dan Weston wrote:
I