13 Mar
2009
13 Mar
'09
10:35 a.m.
'An arbitrary element' means 'undefined will suffice'
point x = fmap (const x) undefined
2009/3/13 Ross Paterson
On Fri, Mar 13, 2009 at 03:18:15PM +0100, Martijn van Steenbergen wrote:
Are there any functors f for which no point/pure/return :: a -> f a exists?
No. Choose an arbitrary element shape :: f () and define
point x = fmap (const x) shape _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
-- Eugene Kirpichov Web IR developer, market.yandex.ru