Functor => Pointed => Applicative => Monad
dan.doel at gmail.com
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)
> 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
Unfortunately, neither it nor Charity are still developed.
More information about the Libraries