[Haskell-cafe] Computing sums

Stephen Tetley stephen.tetley at gmail.com
Sat Feb 20 06:25:11 EST 2010

Hi Andrew

"Spot the difference"

data Property x y = forall s. Property s (x -> s -> s) (s -> y)
data Fold b c = forall a. F (a -> b -> a) a (a -> c)

The later is from:

Max Rabkin's is is closer to the original argument ordering of foldl.

Best wishes


More information about the Haskell-Cafe mailing list