[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] Fwd: R7RS



On Sat, 4 May 2013 16:37:34 -0400, John Cowan <cowan@x> 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@x>

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

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