24 Jan
2015
24 Jan
'15
3:37 p.m.
On 23/01/15 23:41, Simon Peyton Jones wrote:
| I just | noticed that it effectively gives us a syntax for identifier-like Symbol | singletons, which could be useful in completely different contexts
Indeed so. I have written a major increment to https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/Redesig... which people reading this thread may find interesting. Look for "Plan B".
For the first time I think I can see a nice, simple, elegant, orthogonal story.
Cunning, and very general. I like it. Cheers, Simon