[Nickle] Polymorphic equality and similar mysticism
keithp at keithp.com
Sun May 30 15:48:13 PDT 2004
Around 14 o'clock on May 30, Bart Massey wrote:
> and insist on subtype compatibility of the arguments: we
> select the unique equality operator, if any, such that
> one argument is of matching type and the other is of a
> supertype. If there is none, it is a static type error.
That's either type-based function selection or parametric polymorphism.
Which is it? How do we extend that to other functions?
I don't want a built-in specific kludge here...
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 228 bytes
Desc: not available
Url : /pipermail/nickle/attachments/20040530/fb9c8270/attachment.pgp
More information about the Nickle