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 VAA02185; Thu, 19 Dec 2002 21:41:35 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA02169 for caml-list@pauillac.inria.fr; Thu, 19 Dec 2002 21:41:34 +0100 (MET) 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 UAA20656 for ; Wed, 18 Dec 2002 20:55:44 +0100 (MET) Received: from mail.eecs.harvard.edu ([140.247.60.24]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gBIJtin07757 for ; Wed, 18 Dec 2002 20:55:44 +0100 (MET) Received: from labrador.eecs.harvard.edu (labrador.eecs.harvard.edu [140.247.60.247]) by mail.eecs.harvard.edu (Postfix) with ESMTP id 97CAC54C659; Wed, 18 Dec 2002 14:55:43 -0500 (EST) To: issac@ucdavis.edu (Issac Trotts) Cc: OCaml Mailing List Subject: Re: [Caml-list] ocaml embedded scripting language In-Reply-To: Message from issac@ucdavis.edu (Issac Trotts) of "Tue, 17 Dec 2002 12:26:18 PST." <20021217202618.GA491@boson.ucdavis.edu> References: <3DFCA8EB.13742.2E8F165@localhost> <20021217030244.64549.qmail@web40803.mail.yahoo.com> <20021217202618.GA491@boson.ucdavis.edu> Date: Wed, 18 Dec 2002 14:55:43 -0500 From: Norman Ramsey Message-Id: <20021218195543.97CAC54C659@mail.eecs.harvard.edu> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > It has to do with the type system more then anything > > else. I use a stack to handle data that the > > interpreted process is manipulating... > > > > Ok this is all fine and dandy, until a few months > > from now when I want to add a new type say File of > > Unix.file_descr. The word implementations to support > > the new type wouldn't actually be a problem. However, > > extending the type seems to be impossible. This is a hard problem, to my knowledge not solved in the literature. There are instances of interpreters that provide type-extensibility, but none that also support separate compilation. We have solved this problem through some heavy use of ML modules. I am still working on the paper that describes this solution. But you can get some hints from an unpublished manuscript `Toward A Calculus of Signatures' at http://www.eecs.harvard.edu/~nr/pubs/sigcalc-abstract.html The part you want is the extended example in Section 2. Norman ------------------- 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