Ang.: Will guile support R7RS terminating equal? in the presence of cycle?

Hi 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

Re: Ang.: Will guile support R7RS terminating equal? in the presence of cycle?

Hi Stefan! stefan.ita...@gmail.com stefan.ita...@gmail.com skribis: 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. Yes, of course. 2 The guile hackers are able enough

Re: Ang.: Will guile support R7RS terminating equal? in the presence of cycle?

Typed Guile? Did I miss something? :-) https://gitorious.org/typed-guile It's a type system implemented using guile-log! By the way, I do not think the overhead is that dramatic. I guess that guile's equal would be any slower with this feature added. you typically does a circularity check via

Re: Ang.: Will guile support R7RS terminating equal? in the presence of cycle?

Stefan Israelsson Tampe stefan.ita...@gmail.com skribis: https://gitorious.org/typed-guile It's a type system implemented using guile-log! Woow, this is crazy. I wish we could converge eventually... Ludo’.