On Thu, Jan 15, 2009 at 7:34 AM, John Goerzen <jgoer...@complete.org> quoted:

> I'd be inclined to call it something like "Appendable".

But I don't know what Appendable means. Maybe it means

> class Appendable a where
>    append :: a x -> x -> a x

ie. a container x's lets you can add an x to the end

or maybe it means

> class Appendable a where
>    append :: a -> x -> a

ie. something that you can append anything to

or maybe it means

> class Appendable a where
>    append :: a -> a -> a

so you can append any two elements of the same type together.

Why use words that are so vague when there's already word that
unambiguously says what the type class looks like? And even worse, why
use duplicate terminology to make it even harder to see when
mathematicians and computer scientists are talking about the same
thing, so widening the divide between two groups of people who have
much to share.
--
Dan
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to