[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] WG2 Scheme and Polymporphism
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On 10/14/2011 01:20 PM, Alaric Snell-Pym wrote:
> Although records are the
> only standard way of creating disjoint user types, so there would
> obviously be a tight linkage between the two in practice, I see no
> reason to intertwine their semantics.
With one caveat: the effect of inherited getters/setters is very similar
to generic functions dispatched on the record type, so it might be
worthwhile specifying that they are always generic functions (even if
the system only ever defines one method that leaps into some
super-optimised record getter/setter that knows about the same field
being in the same slot of singly-inherited records and all that), so
that folks can add their own methods to the getter/setter GFs, if so
desired.
ABS
- --
Alaric Snell-Pym
http://www.snell-pym.org.uk/alaric/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
iEYEARECAAYFAk6YK9wACgkQRgz/WHNxCGrXlgCggUYW5QGsoH+I94AdJJs++2EG
7rsAnRxOGzwKswV9VQIPWgFc2/f087QD
=kCmr
-----END PGP SIGNATURE-----
_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports