Re: can e do this?

On Apr 6, 2008, at 5:44, Mark Miller wrote:
> On Sun, Apr 6, 2008 at 12:26 AM, John Carlson  
> <[email protected]> wrote:
>> In E, can you write something like this?
>>
>>  if (the next expression is true) then {
>>         the previous expression is false
>>  }
>>
>>  How?  I would expect it to go into some kind of infinite loop, or  
>> throw an exception.
>
> Not in this way. But the Datalock example in section 16.3 (p119) of  
> my thesis may be close enough. It becomes stuck, but neither with  
> an infinite loop nor with an exception.

This is older than MarkM's thesis, but easier to retrieve, and it's  
entirely about the particular problem:

http://www.erights.org/elang/concurrency/epimenides.html

-- 
Kevin Reid                            <http://homepage.mac.com/kpreid/>