Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
OO design
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-05-10 (18:16)
From: Geoffrey Alan Washburn <geoffw@c...>
Subject: Re: OO design
Dan Grossman wrote:

> It enforces that you don't confuse your reads and writes, but *not* that 
> you don't use a file after you close it.  A monadic approach (where each 
> operation would return a "new" file) or linearity appears necessary for 
> the latter.

	Okay, good point.  However, that raises the interesting question of 
whether there is a nice positive specification of the class of 
"protocols" that are expressible in the presence of effects, rather than 
a negative characterization -- all those that can be broken by aliasing, 
nontermination, etc.