Overloaded record fields

Stephen Paul Weber singpolyma at singpolyma.net
Thu Jun 27 16:35:27 CEST 2013


Somebody claiming to be Simon Peyton-Jones wrote:
>It is kind of weird that
>	f . g  means    \x. f (g x)
>but     f.g    means    g f

Anything that makes f.g mean something different from f . g just makes the 
code soup.

F . g being different from F.g is already *very* unfortunate.  The 
capital-letter makes it normally not too crazy, but sometimes you want to 
compose data constructors, and then it's a big issue.

Making this issue worse in order to solve something else does not seem like 
a good trade-off.

Why not use a different character?  There are lots of them :)

-- 
Stephen Paul Weber, @singpolyma
See <http://singpolyma.net> for how I prefer to be contacted
edition right joseph
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 836 bytes
Desc: Digital signature
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20130627/db4dab54/attachment.pgp>


More information about the Glasgow-haskell-users mailing list