Re: [Scheme-reports] WG2 Scheme and Polymporphism
Alaric Snell-Pym 14 Oct 2011 12:32 UTC
-----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@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports