Re: [Haskell-cafe] Crazy idea: overloading function application notation

Jon,

This is a crazy idea I've been working on: overload the syntax "x y" so it can mean function application "f x = f(x)" or multiplication "x y = x*y".

On a related (?) note, but definitely not what you're after: there are constructor classes that allow you to lift function application into a functor and equip it with specific semantics: fmap :: (Functor f) => (a -> b) -> f a -> f b (<*>) :: (Applicative f) => f (a -> b) -> f a -> f b (=<<) :: (Monad m) => (a -> m b) -> m a -> m b Cheers, Stefan