[ghc-steering-committee] Proposal #173: The dot type operator, rec: accept

[Simon Peyton Jones]

I'm ok with this in principle, and I can't seen any bad disadvantages in practice.

Simon

| -----Original Message-----
| From: ghc-steering-committee <ghc-steering-committee-bounces at haskell.org>
| On Behalf Of Eric Seidel
| Sent: 09 October 2018 21:45
| To: ghc-steering-committee at 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 at haskell.org
| https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee