[Haskell] Per-type function namespaces

Ketil Malde ketil+haskell at ii.uib.no
Fri Feb 27 07:33:43 EST 2004

Peter Strand <peter at zarquon.se> writes:

> That is, a function is looked up in the namespaces of its arguments as
> well as in the normal places. So "add fm k v" where fm :: FiniteMap,
> x :: Int, v :: String would look for "add" in the modules where
> FiniteMap, Int and String was defined.

I suppose partial application would complicate things a bit here --
you don't necessarily know what the arguments are.

If I haven't seen further, it is by standing in the footprints of giants

More information about the Haskell mailing list