[Haskell-cafe] Comments from OCaml Hacker Brian Hurt

[David Menendez]

On Thu, Jan 15, 2009 at 5:32 PM, Andrew Coppin
<andrewcoppin at btinternet.com> wrote:
>
> As an aside, the integers form two different monoids. Haskell can't [easily]
> handle that. Does anybody know of a language that can?

Some of the ML-derived languages can do that. Essentially, your code
takes another module which implements a monoid as an argument.

The catch is that you have to explicitly provide the monoid
implementation in order to use your code.

-- 
Dave Menendez <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>