At 05:53 -0800 1998/11/13, Simon Peyton-Jones wrote:
>* Still no decision about the default default. I'm minded to
> try out the change myself and see how many times it's used
> in the nofib suite. I think the main choices are
> (Int, Double)
> (Integer, Double)
I suggest you try (Integer, Double); if it happens to be too slow, find a
way to optimize those cases using Int. Then add some kind of Binary class
for specific binary operations.
> I'm inclined to delete kleisli ... won't mean much to
> most people.
He is still alive, at Fribourg in Switzerland, I think... :-)
>** Postfix `M' always stands for a function in the Kleisli category:
> m is added to function results (modulo currying) and nowhere else.
I am not sure what you use this for: Given a monad M, the Kleisli
category is equivalent to the full free monad algebra of the original
category, that is all objects of the form M(a), and monad algebra
homomorphisms M(a) -> M(b), so one can use this category instead.
Hans Aberg
* Email: Hans Aberg <mailto:[EMAIL PROTECTED]>
* Home Page: <http://www.matematik.su.se/~haberg/>
* AMS member listing: <http://www.ams.org/cml/>
