[Haskell] Per-type function namespaces
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