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 JAA04762; Tue, 17 Dec 2002 09:37:22 +0100 (MET) 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 JAA04758 for ; Tue, 17 Dec 2002 09:37:21 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from kraid.nerim.net (kraid.nerim.net [62.4.16.95]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gBH8bKH10400 for ; Tue, 17 Dec 2002 09:37:20 +0100 (MET) Received: from hector.lesours (lesours.starynkevitch.net [80.65.224.217]) by kraid.nerim.net (Postfix) with ESMTP id 2DF8B40EF2; Tue, 17 Dec 2002 09:26:01 +0100 (CET) Received: from basile by hector.lesours with local (Exim 3.36 #1 (Debian)) id 18ODE7-0003V1-00; Tue, 17 Dec 2002 09:37:19 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <15870.57917.942590.759421@hector.lesours> Date: Tue, 17 Dec 2002 09:37:17 +0100 To: Eric Merritt Cc: Dan Andersson , caml-list@inria.fr Subject: Re: [Caml-list] ocaml embedded scripting language In-Reply-To: <20021217030244.64549.qmail@web40803.mail.yahoo.com> References: <3DFCA8EB.13742.2E8F165@localhost> <20021217030244.64549.qmail@web40803.mail.yahoo.com> X-Mailer: VM 7.07 under Emacs 21.2.2 From: Basile STARYNKEVITCH Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >>>>> "Eric" == Eric Merritt writes: Eric> Everyone, Well I decided to take dans advice and do a simple Eric> forth like implementation. I still suggest carefully looking at N.Ramsey's Lua implementation Eric> Overall it doesn't seem like its Eric> going to be difficult at all. I have run into a small Eric> snag. As a side note I have already decided that this is Eric> note possible, this is just a last ditch to see if there is Eric> a solution. Eric> It has to do with the type system more then anything Eric> else. I use a stack to handle data that the interpreted Eric> process is manipulating. I provide a specific set of words Eric> that this forth like language will use to manipulate the Eric> stack. Of course, stacks may only be of a single type 'a. So Eric> if declare a new type to be Eric> type some_type = Int of int | Float of float | Word of Eric> string Eric> Them my stack is some_type Stack.t Eric> Ok this is all fine and dandy, until a few months from now Eric> when I want to add a new type say File of Eric> Unix.file_descr. Did you consider using variant or classes? -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet alias: basiletunesorg 8, rue de la Faïencerie, 92340 Bourg La Reine, France ------------------- 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