From ggrothendieck at gmail.com  Fri Feb 26 13:09:47 2010
From: ggrothendieck at gmail.com (Gabor Grothendieck)
Date: Fri, 26 Feb 2010 07:09:47 -0500
Subject: [Rd] proto and baseenv()
In-Reply-To: <20100226054154.GA23715@klutometis.wikitex.org>
References: <20100225043854.GA26106@klutometis.wikitex.org> 
	<4B8666E0.4070808@TU-Dresden.de>
	<20100225075038.79ca9b63.misc7@emerose.org> 
	<4B868B1A.5050409@stats.uwo.ca>
	<20100225194919.00b10700.misc7@emerose.org> 
	<20100226022322.GB19263@klutometis.wikitex.org>
	<971536df1002251931r4972bcdes9c6910423fc52af6@mail.gmail.com> 
	<20100226041617.GB21674@klutometis.wikitex.org>
	<971536df1002252042q40b9b00do23b24370ea919482@mail.gmail.com> 
	<20100226054154.GA23715@klutometis.wikitex.org>
Message-ID: <971536df1002260409ud3ca15od596bf7af753d8be@mail.gmail.com>

On Fri, Feb 26, 2010 at 12:41 AM, Peter Danenberg <pcd at roxygen.org> wrote:
>> Also other object systems which are alternatives to proto seem less
>> relevant than basic scoping and free variable lookup in functions.
>
> Sorry, but that seems absurd; object systems are less relevant to each
> other than the totally orthogonal question of scope?

Yes, if you are using one then obviously you have decided to use it in
place of the other.  Also your example of S3 was misleading since it
used lists which do not have inheritance and did not truly illustrate
S3.  Free variables in S3 methods follow the same lookup procedure as
ordinary functions and using S3 together with proto works well.  In
fact, proto uses two S3 classes.

>
>> proto does that but uses the consistent default rather than the
>> inconsistent default that you prefer.
>
> $.proto falls back upon get(), I presume, because the authors didn't
> feel like recursing up the parent hierarchy themselves; I'll continue
> to believe that the scope pollution was an oversight until they
> contradict me. At which point I'll probably switch object systems.

Here I think you are admitting that the basic facilities of R do work
in the way proto does.

Also, your alternative likely would be unusable due to performance
whereas proto is fast enough to be usable (see list of applications
that use it at http://r-proto.googlecode.com/#Applications).  Its not
as fast as S3 (though sometimes you can get it that fast by optimizing
your code).  The development version of proto is even faster than the
current version of proto due to the addition of lazy evaluation.

> Vague appeals to consistency, when you're really only talking about
> naive get() semantics, don't mean much; especially after you've spent
> hours debugging mysterious bugs resulting from scope pollution.

In end it seems that your real beef is with R so perhaps you should be
using a different language.

With respect to proto its really just discussing whether to use

proto(baseenv(), ...) vs proto(...)

since the former gives you everything you want and the distinction
seems pretty trivial given how easy it is to use one or the other.  If
you used iolanguage or similar you would have to specify Object so
there is not even a penalty in terms of compactness.

There have also been threads on how to "fix" scoping in R for
individual functions and various manipulations of environments have
been suggested but in the end no one does this in practice.  In proto
at least you can do the part you want and its trivial to do so.



[Rd] proto and baseenv()
Gabor Grothendieck