Functor => Pointed => Applicative => Monad

Dan Doel dan.doel at
Tue Nov 30 16:18:30 CET 2010

On Monday 29 November 2010 10:30:57 am Stephen Tetley wrote:
> Speaking personally, I'm quite happy to have both map and (functorial)
> fmap.
> Haskell's intention is to be a "state of the art _functional_
> language", so keeping the functional core doesn't seem unwarranted to
> me. There is the Charity language which was "categorical" first, and
> "functional" second if people really want a "crystal mountain".

There's also a language called Haskell 1.4 in which fmap is called map, among 
other things.

Unfortunately, neither it nor Charity are still developed.

-- Dan

More information about the Libraries mailing list