[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] Mutable Pairs
On Jun 14, David Rush wrote:
> On 14 June 2010 16:27, Eli Barzilay <eli@x> wrote:
> > On Jun 14, Brian Harvey wrote:
> > language to support teams of 500 lousy programmers.
> > What I understood from David is that when he uses `map' in his
> > code, he will never pass it a function that is not his too.
> No. I simply never expose an encapsulated list structure to
> potentially malicious code. That is not the same thing as your
So if you implement a gui framework, you either don't do callbacks, or
you declare the library as one that works with good code only?
> If a user of one of my libraries wants to make their own list of my
> objects and then clobber its structure that's entirely her own
> business, but I don't provide access to *my* lists through *my*
And this reduces lists to a kind of to data that is either used
internally in your code only, copied whenever you want to talk to
> > Seems that I need to repeat this a fifth time:
> No, you don't. You have advocated a position which actually
> *removes* the ability to mutate one of the two basic aggregate types
> in Scheme.
Yes: removes the ability to mutate it, but not remove mutation. But I
didn't really advocate for that, knowing how unlikely it is. What I
was hoping to see is a shred of acknowledgment that immutable data is
preferrable when possible. That having mutable pairs as a default is
mostly a matter of legacy and compatibility. That somehow Schemers
are not completely stuck in the 80s. The pretentiousness of generally
denying any value in immutable data is, IMO, astonishing.
> > currently (RnRS) Scheme is guessing wrong in >99% of the cases,
> > and it makes it extremely hard for me to correct it.
> This is FUD. The occurrence of the class of bugs for which you have
> highlighted the potential is *far* (orders of magnitude) lower than
> this. You have a point, and it is a real problem from a provability
(And that's the pretentiousness. I started by saying that I have no
interest in provability.)
And now you can dismiss this with a "Puh-lease", and Brian can
conclude with "Pfui".
(And this is my bus stop.)
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
Scheme-reports mailing list