Last call for comments on SRFI 161: Unifiable Boxes Arthur A. Gleckler (07 Jan 2019 04:25 UTC)
Re: Last call for comments on SRFI 161: Unifiable Boxes Marc Nieper-Wißkirchen (07 Jan 2019 07:16 UTC)
(missing)
Fwd: Last call for comments on SRFI 161: Unifiable Boxes Marc Nieper-Wißkirchen (07 Jan 2019 09:14 UTC)
(missing)
Fwd: Last call for comments on SRFI 161: Unifiable Boxes Marc Nieper-Wißkirchen (07 Jan 2019 09:13 UTC)
Re: Last call for comments on SRFI 161: Unifiable Boxes Marc Nieper-Wißkirchen (07 Jan 2019 09:33 UTC)
Re: Last call for comments on SRFI 161: Unifiable Boxes Marc Nieper-Wißkirchen (07 Jan 2019 11:13 UTC)
Re: Last call for comments on SRFI 161: Unifiable Boxes Marc Nieper-Wißkirchen (07 Jan 2019 11:38 UTC)
Re: Last call for comments on SRFI 161: Unifiable Boxes Marc Nieper-Wißkirchen (17 Jan 2019 06:24 UTC)
Re: Last call for comments on SRFI 161: Unifiable Boxes Sudarshan S Chawathe (08 Jan 2019 01:02 UTC)
Re: Last call for comments on SRFI 161: Unifiable Boxes Arthur A. Gleckler (08 Jan 2019 01:08 UTC)

Re: Last call for comments on SRFI 161: Unifiable Boxes Marc Nieper-Wißkirchen 07 Jan 2019 07:16 UTC

Did you forget to attach your code to your email?

Thanks,

Marc

Am Mo., 7. Jan. 2019 um 08:14 Uhr schrieb Elf <xxxxxx@ephemeral.net>:
>
>
> Hello, question:
> Why is the equality predicate not stable?
>
> Please look at the attached code. This was a quick throw-together from
> my recollection of an implementation of disjoint sets I did several
> years ago (I didn't even start looking for the code yet), but a quick
> test showed that it has stable equality and no need for find, _provided_
> that the values being passed to ubox are orderable. (It should be
> possible to trivially modify it to not require this, but this is my
> recollection, as stated.)
>
> (I did not yet look at the sample implementation, apologies.)
>
> -elf
>
> On Sun, 6 Jan 2019, Arthur A. Gleckler wrote:
>
> > Date: Sun, 6 Jan 2019 20:25:42
> > From: Arthur A. Gleckler <xxxxxx@speechcode.com>
> > To: xxxxxx@srfi.schemers.org
> > Subject: Last call for comments on SRFI 161: Unifiable Boxes
> >
> > Marc Nieper-Wißkirchen, author of SRFI 161, Unifiable Boxes, has asked me
> > to announce "last call" for this SRFI.  He believes that it is ready for
> > finalization, but would like to give reviewers one last chance to submit
> > corrections and feedback before we finalize it.
> >
> >  https://srfi.schemers.org/srfi-161
> >
> > In particular, I appeal to anyone reading this to try the sample
> > implementation, run the tests, and send feedback about your results.
> >
> > If you're interested in this SRFI, please give your feedback via the SRFI
> > 161 mailing list before 2019/1/14.  After that, assuming that no major
> > revisions are required, we will declare it final.
> >
> > Regards,
> >
> >
> > SRFI Editor
> >

--
Prof. Dr. Marc Nieper-Wißkirchen

Universität Augsburg
Institut für Mathematik
Universitätsstraße 14
86159 Augsburg

Tel: 0821/598-2146
Fax: 0821/598-2090

E-Mail: xxxxxx@math.uni-augsburg.de
Web: www.math.uni-augsburg.de/alg/mitarbeiter/mnieper/