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 VAA32337; Mon, 3 May 2004 21:17:47 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 VAA31125 for ; Mon, 3 May 2004 21:17:46 +0200 (MET DST) Received: from ptb-relay03.plus.net (ptb-relay03.plus.net [212.159.14.214]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i43JHjEV022573 for ; Mon, 3 May 2004 21:17:45 +0200 Received: from [80.229.56.224] (helo=chetara) by ptb-relay03.plus.net with esmtp (Exim) id 1BKiwj-000Cvm-Gn for caml-list@inria.fr; Mon, 03 May 2004 19:17:45 +0000 From: Jon Harrop Organization: University of Cambridge To: "'caml-list'" Subject: [Caml-list] Mathematica Date: Mon, 3 May 2004 20:17:20 +0100 User-Agent: KMail/1.5.4 References: <005001c4313f$fcb30d70$1b447182@cas.mcmaster.ca> In-Reply-To: <005001c4313f$fcb30d70$1b447182@cas.mcmaster.ca> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200405032017.20874.jdh30@cam.ac.uk> X-Miltered: at nez-perce with ID 40969AD9.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; side-effect:01 criticism:01 compiler:01 ast:02 coding:03 interpreter:03 interpreter:03 brief:96 constructive:04 implement:05 cheers:06 quite:06 i'd:06 type:07 typed:07 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I've spent the past few days trying to implement an interpreter for the Mathematica language. This is quite an exotic language. For example, it has a single type - the AST - and is "strongly typed" as a side-effect. For anyone who is interested, a brief description and my resulting code are on the web here: http://www.chem.pwf.cam.ac.uk/~jdh30/programming/mathematica/ I'd be particularly interested to hear any constructive criticism of my coding style, both from the point of view of interpreter/compiler writing and also more general comments... Cheers, Jon. ------------------- 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