From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Israelsson Tampe Newsgroups: gmane.lisp.guile.devel Subject: Re: Ang.: Will guile support R7RS terminating "equal?" in the presence of cycle? Date: Sat, 1 Sep 2012 19:36:47 +0200 Message-ID: References: <50421955.6327700a.6991.7123@mx.google.com> <87fw71psbm.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=bcaec5299feb4f420904c8a75a91 X-Trace: ger.gmane.org 1346521023 23687 80.91.229.3 (1 Sep 2012 17:37:03 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 1 Sep 2012 17:37:03 +0000 (UTC) Cc: guile-devel@gnu.org To: =?ISO-8859-1?Q?Ludovic_Court=E8s?= Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat Sep 01 19:37:01 2012 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1T7rct-0006rq-Gr for guile-devel@m.gmane.org; Sat, 01 Sep 2012 19:36:55 +0200 Original-Received: from localhost ([::1]:48932 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1T7rcr-00032x-1o for guile-devel@m.gmane.org; Sat, 01 Sep 2012 13:36:53 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:42976) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1T7rcn-00032q-4c for guile-devel@gnu.org; Sat, 01 Sep 2012 13:36:50 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1T7rcl-0005DR-QL for guile-devel@gnu.org; Sat, 01 Sep 2012 13:36:49 -0400 Original-Received: from mail-iy0-f169.google.com ([209.85.210.169]:35619) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1T7rcl-0005DI-Lc; Sat, 01 Sep 2012 13:36:47 -0400 Original-Received: by iagk10 with SMTP id k10so7266004iag.0 for ; Sat, 01 Sep 2012 10:36:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=YqahlaO+641lGhnbEIv36hMABSuCSa5gyEkDGv2yQL8=; b=BDgH1BnnHHoK6aF+wC9rQVQuEmIUEDg2EHryY0uLsfEqtPfKIYg7EuPjx41lbePRlf a5jUcVmBoRpajGPJ+D6lG1ddad8LN04uxDJOkRVdKtPbcCxUQtR10862efUetMGQG1mF f5pkPc9NFiB5c0dsG1ASWBYLOJ+K7uaw8aMjrWfUmn/BGe9JnUtBz1vNFT5irnJOs36S w7aSWIn4TJY0MWDiGT9hM/U9Ku/S5xcH4T4p6KoHVCOhrl48O15JUw7fkW7khTiTegn6 MYVpgoKa8qrVZCcrrfIWK9x2YEPhrFHTfCWsSJ2tjZOx42XJ9xoT5aP92e7U05Gkw2TL QA4Q== Original-Received: by 10.43.48.129 with SMTP id uw1mr11575141icb.10.1346521007079; Sat, 01 Sep 2012 10:36:47 -0700 (PDT) Original-Received: by 10.50.171.104 with HTTP; Sat, 1 Sep 2012 10:36:47 -0700 (PDT) In-Reply-To: <87fw71psbm.fsf@gnu.org> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 209.85.210.169 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:14839 Archived-At: --bcaec5299feb4f420904c8a75a91 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable > 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 a hare/turtouse pair and when circularity is found one adress the issue in some way, what might be needed now is to hook into this code and make sure that rnr7 logic is implemented for that one version. /Stefan On Sat, Sep 1, 2012 at 7:26 PM, Ludovic Court=E8s wrote: > Hi Stefan! > > "stefan.itampe@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 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. > > Typed Guile? Did I miss something? :-) > > Ludo=92. > --bcaec5299feb4f420904c8a75a91 Content-Type: text/html; charset=windows-1252 Content-Transfer-Encoding: quoted-printable > Typed Guile? =A0Did I miss something? =A0:-)
https://gitorious.org/typed-guile

It'= ;s a type system implemented using guile-log!

By the way, I do not t= hink the overhead is that dramatic. I guess that
guile's equal would be any slower with this feature added. you typicall= y
does a circularity check via a hare/turtouse pair and when circularity= is
found one adress the issue in some way, what might be needed now is = to
hook into this code and make sure that rnr7 logic is implemented for thatone version.

/Stefan

On Sat, Sep= 1, 2012 at 7:26 PM, Ludovic Court=E8s <ludo@gnu.org> wrote:
Hi Stefan!

"stefan.itampe@gmail.com" <stefan.itampe@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 to implement it. In typed-guile th= ere is an implementation that does unification on circular lists and
> Also there is probably enough reference information to code this in du= e time.

Typed Guile? =A0Did I miss something? =A0:-)

Ludo=92.

--bcaec5299feb4f420904c8a75a91--