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 SAA31679; Thu, 3 Jun 2004 18:34:45 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA31668 for ; Thu, 3 Jun 2004 18:34:44 +0200 (MET DST) Received: from pedigree.cs.ubc.ca (pedigree.cs.ubc.ca [142.103.6.50]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i53GYgSH026714 for ; Thu, 3 Jun 2004 18:34:43 +0200 Received: from cascade.cs.ubc.ca (cascade.cs.ubc.ca [142.103.7.7]) by pedigree.cs.ubc.ca (8.12.10/8.11.4) with ESMTP id i53GYYRu029849; Thu, 3 Jun 2004 09:34:34 -0700 (PDT) Date: Thu, 3 Jun 2004 09:34:34 -0700 (PDT) From: Christopher Dutchyn To: Richard Jones cc: caml-list@inria.fr Subject: Re: [Caml-list] Default values for structures (feature request) In-Reply-To: <20040603093106.GA26175@redhat.com> Message-ID: References: <20040602121210.GA4385@redhat.com> <20040602.215655.68536952.garrigue@kurims.kyoto-u.ac.jp> <20040603093106.GA26175@redhat.com> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at concorde with ID 40BF5322.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; ubc:99 caml-list:01 lacking:01 compiler:01 chris:01 wrote:03 dependent:03 types:03 types:03 structures:05 feature:07 type:07 thu:08 shouldn't:10 request:89 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, 3 Jun 2004, Richard Jones wrote: > Out of interest, is there a theoretical reason why types shouldn't > contain values, or is it just because it's a lot of work to change the > compiler? This leads to dependent types, and pure type systems, and other esoterica that are still active research areas -- (read: there are important questions lacking goood answers). Chris Dutchyn ------------------- 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