Haskell-prime

Download

haskell-prime@haskell.org

June 2008

8 participants
3 discussions

Proposal: change to qualified operator syntax
by Simon Marlow 12 Jul '08

12 Jul '08

Folks, Please comment on the following proposed change to qualified operator syntax: http://hackage.haskell.org/trac/haskell-prime/wiki/QualifiedOperators Cheers, Simon

4 4

PROPOSAL: Make Applicative a superclass of Monad
by Ashley Yakeley 30 Jun '08

30 Jun '08

I had proposed this to the GHC Trac, but it was pointed out that it would break Haskell 98. That proposal has been closed. Proposal: Make Applicative (in Control.Applicative) a superclass of Monad (in Control.Monad). Rename members of Applicative and other functions, to avoid unnecessary duplication. Generalise types of certain existing functions, as appropriate. For example: class Functor f => Applicative f where return :: a -> f a ap :: f (a -> b) -> f a -> f b (>>) :: f a -> f b -> f b (>>) = liftA2 (const id) liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c liftA2 f a b = ap (fmap f a) b -- etc. class Applicative m => Monad m where (>>=) :: m a -> (a -> m b) -> m b fail :: String -> m a fail s = error s -- Ashley Yakeley

7 9

patch applied (haskell-prime-status): add ""Make $ left associative, like application"
by Simon Marlow 05 Jun '08

05 Jun '08

Tue Apr 22 15:53:31 PDT 2008 Simon Marlow <simonmarhaskell(a)gmail.com> * add ""Make $ left associative, like application" M ./status.hs +5 View patch online: http://darcs.haskell.org/haskell-prime-status/_darcs/patches/20080422225331…

26 74