Records in Haskell

[Brandon Allbery]

On Sat, Jan 14, 2012 at 13:38, Johan Tibell <johan.tibell at gmail.com> wrote:

> On Fri, Jan 13, 2012 at 3:52 PM, Simon Peyton-Jones
> <simonpj at microsoft.com> wrote:
> > I know of no proposal that advocates only (A).  It seems that we are
> agreed
> > that we must make use of types to disambiguate common cases.
>
> I will try to make the case for (A), just so it has been put on the table.
>

I think the point is more that, given (b), (a) is seen to be redundant.
 Which I don't understand; seems to me that, in the context of (b), it's a
way to easily provide more information to the type inferencer (which, given
that (b) adds more complexity to the inferencer, looks like a way to
control that complexity in practice) without hardcoding a type.

-- 
brandon s allbery                                      allbery.b at gmail.com
wandering unix systems administrator (available)     (412) 475-9364 vm/sms
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20120114/fdaff65b/attachment.htm>