Ang.: Will guile support R7RS terminating "equal ?" in the presence of c
Ang.: Will guile support R7RS terminating "equal ?" in the presence of cycle?
Sat, 01 Sep 2012 16:18:15 +0200
1 I don't think the current equal? Will need to change, but Another one that under rnr7 will be coded and used with the Symbol equal? In that module. Hence no problems.
2 The guile hackers are able enough to implement it. In typed-guile there is an implementation that does unification on circular lists and Also there is probably enough reference information to code this in due time.
Skickat från min HTC
----- Reply message ----- Från: address@hidden (Ludovic Courtès Till: <address@hidden> Rubrik: Will guile support R7RS terminating "equal?" in the presence of cycle? Datum: lör, sep 1, 2012 15:30
"David A. Wheeler" <address@hidden> skribis:
> *However*, the current R7RS draft for "equal?" requires termination > even in the presence of cycles, as well as impose other requirements > on "write" and "display" in the presence of cycles. Will guile > support such changes? I worry that these new requirements on "equal?" > will have such a high overhead that people won't do it. But perhaps > those fear are misplaced.
Are you talking about termination in the case of circular lists, or for arbitrary data structures?
The former is easy and reasonably cheap, but the latter may require more work, indeed.