Re: [Scheme-reports] Fwd: R7RS John Cowan (04 May 2013 19:17 UTC)
Re: [Scheme-reports] Fwd: R7RS Vassil Nikolov (04 May 2013 20:20 UTC)
Re: [Scheme-reports] Fwd: R7RS John Cowan (04 May 2013 20:38 UTC)
Re: [Scheme-reports] Fwd: R7RS Vassil Nikolov (04 May 2013 20:52 UTC)

Re: [Scheme-reports] Fwd: R7RS Vassil Nikolov 04 May 2013 21:07 UTC

On Sat, 4 May 2013 16:37:34 -0400, John Cowan <cowan@mercury.ccil.org> said:

> Vassil Nikolov scripsit:
>> And answering this question should especially take into account
>> whether, like procedures (and unlike numbers, immutable lists,
>> immutable strings, immutable vectors), there is no other way of
>> testing those values for equality.

> In R6RS, you can write a portable reflective equality predicate that
> descends through records.  In R7RS-small you cannot, because there are
> no record inspection procedures.  In both cases, both immutable and
> mutable records are considered to have identity.

  But you can't write a portable equality predicate for procedures in
  either---or can you?

  ---Vassil.

  2013-05-04.

--
Vassil Nikolov | Васил Николов | <vnikolov@pobox.com>

"Be careful how you fix what you don't understand."  (Brooks 2010, 185)

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports