From: Brian Smith <blsmith@blue.weeg.uiowa.edu>
To: caml-list <caml-list@inria.fr>
Subject: Re: [Caml-list] productivity improvement
Date: Thu, 18 Jul 2002 18:27:12 -0500 [thread overview]
Message-ID: <3D374ED0.8000208@blue.weeg.uiowa.edu> (raw)
In-Reply-To: <200207182313.TAA19905@dewberry.cc.columbia.edu>
Oleg wrote:
> You will need to modify the original node type and function "eval" by adding
> an extra pattern to "match" statement, and then recompile everying that
> depends on it. At the same time, with C++ the type of node remains the same.
> You just need to derive a new class from it:
I am wondering about this point too. But, perhaps you can use O'Caml
classes to do the same thing as the C++ template classes?
Anway, I think that the above "problem" can also be an asset. If you are
building an interpreter, and you add a new construct to the interpreted
language, then all code that claims to know about every construct will
become erroneous, and so you will know right away what new code needs to
be added. There doesn't seem to be anything like that in an
inheritance-based model.
- Brian
-------------------
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
next prev parent reply other threads:[~2002-07-20 14:28 UTC|newest]
Thread overview: 77+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <20020716172916.4903.qmail@web10702.mail.yahoo.com>
2002-07-18 23:14 ` Oleg
2002-07-18 23:27 ` Brian Smith [this message]
2002-07-18 23:54 ` William Lovas
2002-07-19 3:59 ` Oleg
[not found] ` <20020719010318.B3631@boson.den.co.bbnow.net>
2002-07-19 8:22 ` Oleg
2002-07-19 8:57 ` Andreas Rossberg
2002-07-19 10:14 ` Alessandro Baretta
2002-07-19 18:15 ` John Max Skaller
2002-07-19 18:33 ` Brian Smith
2002-07-20 17:30 ` John Max Skaller
2002-07-19 19:06 ` Alessandro Baretta
2002-07-20 17:49 ` John Max Skaller
2002-07-19 10:34 ` Oleg
2002-07-19 17:25 ` Andreas Rossberg
2002-07-20 16:58 ` John Max Skaller
2002-07-19 16:35 ` Brian Rogoff
2002-10-16 23:24 ` Eray Ozkural
2002-07-19 1:25 ` Alessandro Baretta
2002-07-19 4:04 ` Oleg
2002-07-19 15:46 ` [Caml-list] Rule based language [was: productivity improvement] Alessandro Baretta
2002-07-19 17:20 ` [Caml-list] compact.c Julie Farago
2002-10-15 9:31 ` [Caml-list] productivity improvement Eray Ozkural
2002-10-15 12:34 ` Oleg
2002-10-15 15:08 ` Eray Ozkural
2002-07-19 4:42 ` Emmanuel Renieris
2002-07-19 9:57 ` Oleg
2002-07-19 10:43 ` Alessandro Baretta
2002-07-19 10:52 ` Daniel de Rauglaudre
2002-07-19 11:36 ` Alessandro Baretta
2002-07-19 11:10 ` Xavier Leroy
2002-10-15 9:24 ` Eray Ozkural
2002-10-15 18:47 ` Pal-Kristian Engstad
2002-10-17 0:12 ` Eray Ozkural
2002-10-17 9:34 ` Diego Olivier Fernandez Pons
2002-10-17 15:55 ` Jeffrey Palmer
2002-10-17 16:15 ` brogoff
2002-10-17 18:21 ` [Caml-list] Re: Camlp4 optimizations (was: productivity improvement) Christophe TROESTLER
2002-10-17 18:32 ` Chris Hecker
2002-10-17 19:08 ` Shivkumar Chandrasekaran
2002-10-17 20:01 ` Chris Hecker
2002-10-17 19:36 ` Daniel de Rauglaudre
2002-10-17 19:59 ` Brian Hurt
2002-10-17 20:22 ` Chris Hecker
2002-10-17 21:19 ` Brian Hurt
2002-10-17 21:37 ` Jeffrey Palmer
2002-10-17 23:55 ` Alessandro Baretta
2002-10-18 0:57 ` Jeffrey Palmer
2002-10-18 4:21 ` Alessandro Baretta
2002-10-18 8:23 ` Remi VANICAT
2002-10-18 8:46 ` Sven Luther
2002-10-18 1:47 ` Brian Hurt
2002-10-17 23:03 ` Chris Hecker
2002-10-18 23:55 ` brogoff
2002-10-18 10:43 ` [Caml-list] productivity improvement Diego Olivier Fernandez Pons
2002-10-21 8:57 ` Francois Pottier
[not found] ` <200207200640.CAA11477@dewberry.cc.columbia.edu>
[not found] ` <3D391B41.50900@baretta.com>
[not found] ` <200207210059.UAA17003@dewberry.cc.columbia.edu>
2002-07-21 13:00 ` [Caml-list] Rule based language [was: productivity improvement] Alessandro Baretta
2002-07-23 9:53 ` Oleg
2002-07-24 8:07 ` Alessandro Baretta
[not found] <200207092004.QAA09587@psi-phi.mit.edu>
2002-07-09 20:16 ` [Caml-list] productivity improvement Oleg
2002-07-08 19:53 Oleg
2002-07-08 20:14 ` Michael Vanier
2002-07-10 15:50 ` John Max Skaller
2002-07-10 18:56 ` Alessandro Baretta
2002-07-10 19:09 ` Jun P.FURUSE
2002-07-11 23:43 ` Pierre Weis
2002-07-09 12:45 ` Basile STARYNKEVITCH
2002-07-09 18:20 ` Shannon --jj Behrens
2002-07-09 19:16 ` Oleg
2002-07-09 20:31 ` Shannon --jj Behrens
2002-07-10 10:02 ` sebastien FURIC
2002-07-10 11:58 ` Dave Mason
2002-07-10 13:11 ` sebastien FURIC
2002-07-10 19:22 ` nadji
2002-07-10 15:39 ` John Max Skaller
2002-07-11 8:57 ` Nicolas barnier
2002-07-16 3:34 ` Oleg
2002-10-18 3:13 ` Eray Ozkural
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=3D374ED0.8000208@blue.weeg.uiowa.edu \
--to=blsmith@blue.weeg.uiowa.edu \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).