#4479: Add Type Directed Name Resolution
----------------------------------------+-----------------------------------
Reporter: gidyn | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: 7.2.1
Component: Compiler (Type checker) | Version: 6.12.3
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
----------------------------------------+-----------------------------------
Comment(by igloo):
Well, you can do
{{{
xs .reverse .(filter isEven) .(map double)
}}}
today, without a GHC extension, by defining
{{{
x . f = f x
}}}
but most people don't.
In fact, I wonder if adding an `obj.method` style will be a hinderance to
beginners, as it obscures what type inference can do. For example, if you
are used to OO-style `mySet.insert`, then it may be less clear (or more
magical) that an unqualified `empty` can be used for the empty set, with
the type being inferred from the context.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4479#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
