/prog/ - Can your language do this?

Name: Anonymous 2012-11-13 22:29

average = sum / genericLength

import Control.Monad

import Control.Monad.Instances

import Data.List



instance Eq (x -> a)



instance (Num a, Eq a) => Num (x -> a) where

    fromInteger = const . fromInteger

    f + g = liftM2 (+) f g

    f * g = liftM2 (*) f g

    f - g = liftM2 (-) f g

    negate = (negate .)

    abs = (abs .)

    signum = (signum .)



instance (Eq a, Fractional a) => Fractional (x -> a) where

    f / g = liftM2 (/) f g

    recip = (recip .)

    fromRational = const . fromRational

Can your language do this?

1 Name: Anonymous 2012-11-13 22:29

2 Name: Anonymous 2012-11-13 22:30

Name: Anonymous 2012-11-13 22:29

Name: Anonymous 2012-11-13 22:30