Frederick Smith wrote:
 
> I do not believe a simple effect annotation on function types, as suggested, would
> suffice.  Although we may like to think of OCaml programs as effect free, they are
> replete with effects: 1) I/O, 2) exceptions, and 3) non-termination.  

	Arghh. You're quite right. Even if we forget about
non-termination, the dynamic nature of exception handling
makes it very hard to make static typing rules which account
for them.

-- 
John (Max) Skaller, mailto:skaller@maxtal.com.au
10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850
checkout Vyper http://Vyper.sourceforge.net
download Interscript http://Interscript.sourceforge.net
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr