[Haskell-cafe] Type Directed Name Resolution
lrpalmer at gmail.com
Thu Nov 11 03:41:13 EST 2010
On Thu, Nov 11, 2010 at 1:34 AM, John Lask <jvlask at hotmail.com> wrote:
> On 11/11/2010 5:21 PM, Ketil Malde wrote:
>> "Richard O'Keefe"<ok at cs.otago.ac.nz> writes:
>>>> it is often desirable to have the same field names
>>>> for many records in the same module.
> very much so, this is currently possible, with the restriction that
> the field names must have the same type modulo the record it is selecting
> what is disirable is that this restriction be lifted.
Haskell has a wonderful history of being careful to consider both
sides of a restriction. One one hand, a restriction can make it
harder to write something you want to write. On the other hand, a
restriction can provide properties that make it easy to transform and
reason about your program.
So I am not ready to accept your claim that this is desirable without
More information about the Haskell-Cafe