From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA00286; Thu, 4 Jul 2002 16:55:06 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA00410 for caml-list@pauillac.inria.fr; Thu, 4 Jul 2002 16:55:06 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA30616 for ; Thu, 4 Jul 2002 14:55:35 +0200 (MET DST) Received: from porsta.cs.Helsinki.FI (porsta.cs.Helsinki.FI [128.214.48.124]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g64CtYH00767 for ; Thu, 4 Jul 2002 14:55:34 +0200 (MET DST) Received: from alkokrunni.cs.Helsinki.FI (sslwrap@localhost [127.0.0.1]) by porsta.cs.Helsinki.FI (8.11.6/8.11.6) with ESMTP id g64CtOi09721 for ; Thu, 4 Jul 2002 15:55:24 +0300 Received: from localhost (lealanko@localhost) by alkokrunni.cs.Helsinki.FI (8.11.6/8.11.2) with SMTP id g64CtP627343 for ; Thu, 4 Jul 2002 15:55:26 +0300 X-Authentication-Warning: alkokrunni.cs.Helsinki.FI: lealanko owned process doing -bs Received: from la by la.iki.fi with local (Exim 3.33 #1 (Debian)) id 17PoZx-0000Ip-00 for ; Wed, 03 Jul 2002 21:10:13 +0300 Date: Wed, 3 Jul 2002 21:10:11 +0300 From: Lauri Alanko To: caml-list@inria.fr Subject: Re: [Caml-list] simple typing question Message-ID: <20020703181011.GA1083@la.iki.fi> References: <200207020914.LAA16152@pauillac.inria.fr> <200207020949.g629nQ606959@orchestra.cs.caltech.edu> <20020702134226.A18305@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20020702134226.A18305@pauillac.inria.fr> User-Agent: Mutt/1.3.25i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, Jul 02, 2002 at 01:42:26PM +0200, Xavier Leroy wrote: > No reasonably simple type system can distinguish both examples. I take it that effect systems don't count as "reasonably simple". :) Btw, is anyone aware of any work on adding effects as a user-level typing discipline to ML? Lauri Alanko la@iki.fi ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners