[Haskell-cafe] Pointed, but not Applicative

Maciej Marcin Piechotka uzytkownik2 at gmail.com
Tue Aug 30 07:40:23 CEST 2011


On Mon, 2011-08-29 at 20:24 -0700, Ryan Ingram wrote:
> 
> 
> On Sun, Aug 28, 2011 at 8:24 PM, Maciej Marcin Piechotka
> <uzytkownik2 at gmail.com> wrote:
>         f `fmap` FList g = _|_
>         f `fmap` FList g = map id
>         f `fmap` FList g = map _|_
>         (+ variation of _|_*)
> 
> f `fmap` FList g = \bs -> map f (g []) ++ bs
> 

You mean 

f `fmap` FList g = FList $ \bs -> map f (g []) ++ bs

> 
> 

Seems to confirm to second law as well.

Regards




More information about the Haskell-Cafe mailing list