[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Continuations

>>>>> "Shriram" == Shriram Krishnamurthi <sk@cs.brown.edu> writes:

Shriram> Michael Sperber wrote:

>> (Of course, binding and assignment/mutation are often confused by
>> programmers, with about the same problems.)

Shriram> This problem is made worse in languages like Java that don't offer
Shriram> distinct syntactic forms for these two operations.  In effect, you
Shriram> have to reconstruct the programmer's intent by analyzing the source
Shriram> (looking, for instance, for static single-assignment).

<anal-retentive>Huh?  In Java, declarations are binding forms, binding
names to locations.  The problem is that there isn't a visually
distinct form for creating locations with an initial

Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla