I'm ok with this in principle, and I can't seen any bad disadvantages in practice. Simon | -----Original Message----- | From: ghc-steering-committee | On Behalf Of Eric Seidel | Sent: 09 October 2018 21:45 | To: ghc-steering-committee@haskell.org | Subject: [ghc-steering-committee] Proposal #173: The dot type operator, | rec: accept | | Hello, | | This proposal would extend the parser to allow the '.' character to | appear in type operators, allowing one to write code like the following: | | ``` | type (f . g) x = f (g x) | | foo :: (Maybe . Either Int) Bool | foo = Just (Right True) | ``` | | I recommend we accept the proposal, as it would resolve an odd | inconsistency between the term and type languages. The main downside | seems to be that combining a type-level '.' with a 'forall' is a bit hard | to read, but I think the benefits of a more consistent syntax outweigh | this concern. | | Eric | _______________________________________________ | ghc-steering-committee mailing list | ghc-steering-committee@haskell.org | https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee