On Jun 9, 2004, at 9:39 AM, Jerzy Karczmarczuk wrote:
I have *nothing* to add, just a question.
Do you /anybody/ know of any edible work on ADJUNCTIONS in the context
of Haskell structures? Perhaps instead of searching for 'inverses' one
should think more about adjoints?...
Yes, I think this is
First, concerning your question about monads and multiplication: a
monad on category C is exactly a monoid object in the category [C-C]
of endofunctors on C, and natural transformations between them. A
monoid in a category is, as you expect, an object X with arrows
m:X*X-X and u:1-X satisfying
Andre,
Thanks for paper pointers.
Hmm, what's the higher goal of what you're trying to achieve? I, like
you, came from a background of object-oriented programming, and I've
always managed to avoid making a list containing more than one type
after re-thinking about the problem. You can do
Greetings,
I need to call Haskell functions from a Java
program. In the Java side, I can use JNI, which
expects C-call functions exported from dynamically
linked libraries. So, a primitive way to get what I
want is to generate a dynamic library from Haskell
code with exported ccall