Simon Peyton-Jones <[EMAIL PROTECTED]> writes
> We're nearly done with Haskell 98.
> ...
> In the Prelude
> ~~~~~~~~~~~~~~~
>
> class Functor f where
> fmap :: (a -> b) -> f a -> f b
What about renaming it, say, to Mappable f ?
It looks like the word `functor' is taken from the very category
theory and restricted in the recent Haskell to the subcategories of
Set.
Some categories have the morphisms not of kind a -> b (mapping from
a to b), and their functors occur not functors according to recent
Haskell.
Example.
The category of the subsets of alphabet with the morphisms from s1 to
s2 being the words that begin with the letter from s1 and terminate
with the letter from s2
- or, i guess, people can invent the right examples.
------------------
Sergey Mechveliani
[EMAIL PROTECTED]
