On Wed, Dec 21, 2011 at 10:53 AM, Matthew Farkas-Dyck
With GHC 7.0.3:
$ cat test.hs class ℝ a where { test :: a; };
(∈) :: Eq a => a -> [a] -> Bool; x ∈ (y:ys) = x == y || x ∈ ys;
main = putStrLn "Two of three ain't bad (^_~)"; $ runhaskell test.hs Two of three ain't bad (^_~) $
Why not expand it even further? class Monoid m where (•) :: m -> m -> m (∅) :: m (∈) :: (Foldable t, Eq a) => a -> t a -> Bool (∘) :: (b -> c) -> (a -> b) -> (a -> c) (∧) :: Bool -> Bool -> Bool etc. We can write a whole Haskell library full of these aliases -- "syntactic-heroin" perhaps? ;) (http://www.haskell.org/haskellwiki/Syntactic_sugar/Cons#Syntactic_heroin)
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe