[GHC] #14812: Dot-Notation for Flipped Function Application

GHC ghc-devs at haskell.org
Fri Feb 16 08:14:15 UTC 2018


#14812: Dot-Notation for Flipped Function Application
-------------------------------------+-------------------------------------
        Reporter:  tepan             |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.2
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by svenpanne):

 I don't even think this should go into the proposal process. The
 ``Foo.Bar.baz`` notation has nothing to do with OO, it is just about
 hierarchical names, which is a lexical issue. Furthermore, apart from the
 offside rule, whitespace should not have a meaning at all. Another
 complication/quiz: What should ``Foo.bar`` mean at all then? The
 hierarchical name ``Foo.bar`` or ``bar Foo`` (flipped application of the
 function ``bar`` to the constructor ``Foo``)? It can't be the latter,
 otherwise hierarchical names wouldn't work, so in addition to one
 exception to the language (whitespace matters) it would introduce another
 exception (. means something different if things look like a hierarchical
 name).

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14812#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list