[Scheme-reports] WG2 Scheme and Polymporphism Denis Washington (14 Oct 2011 12:10 UTC)
Re: [Scheme-reports] WG2 Scheme and Polymporphism Alaric Snell-Pym (14 Oct 2011 12:20 UTC)
Re: [Scheme-reports] WG2 Scheme and Polymporphism Alaric Snell-Pym (14 Oct 2011 12:33 UTC)
Re: [Scheme-reports] WG2 Scheme and Polymporphism Denis Washington (14 Oct 2011 13:57 UTC)
Re: [Scheme-reports] WG2 Scheme and Polymporphism Andy Wingo (14 Oct 2011 12:28 UTC)
Re: [Scheme-reports] WG2 Scheme and Polymporphism Andre van Tonder (14 Oct 2011 13:02 UTC)
Re: [Scheme-reports] WG2 Scheme and Polymporphism John Cowan (14 Oct 2011 22:48 UTC)
Re: [Scheme-reports] WG2 Scheme and Polymporphism Andre van Tonder (15 Oct 2011 20:15 UTC)

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