[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: the benefits of immutability
On Tuesday, August 19, 2003, at 04:06 PM, Joe Marshall wrote:
> From: "Guy Steele - Sun Microsystems Labs" <Guy.Steele@Sun.COM>
>> From: "Joe Marshall" <firstname.lastname@example.org>
>> To: <email@example.com>
>> Cc: "Vadim Nasardinov" <firstname.lastname@example.org>, "Perry E. Metzger"
>> <email@example.com>, <firstname.lastname@example.org>
>> Subject: Re: the benefits of immutability
>> Date: Tue, 19 Aug 2003 13:19:02 -0400
>> Hmmm, a few points off:
>> 1. When I said `the square root function and the ToString
>> I intended that those be the `standard' Math.sqrt and
>> operators. Although your `toString' and `sqrt' functions do
>> the appropriate operations, they are essentially arbitrary
>> the appropriate name, not the functions I asked for.
>> What, you don't like (inverse) eta conversion?
> C'mon, you know eta conversion is unsound in a typed calculus!
\y:t.M(y) = M for all M : t -> s
Period. Eta conversion is naturally unsound in a call-by-value
calculus, typed or untyped.