From: Norman Ramsey <nr@eecs.harvard.edu>
To: issac@ucdavis.edu (Issac Trotts)
Cc: OCaml Mailing List <caml-list@inria.fr>
Subject: Re: [Caml-list] ocaml embedded scripting language
Date: Wed, 18 Dec 2002 14:55:43 -0500 [thread overview]
Message-ID: <20021218195543.97CAC54C659@mail.eecs.harvard.edu> (raw)
In-Reply-To: Message from issac@ucdavis.edu (Issac Trotts) of "Tue, 17 Dec 2002 12:26:18 PST." <20021217202618.GA491@boson.ucdavis.edu>
> > 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
next prev parent reply other threads:[~2002-12-19 20:41 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-12-10 8:30 [Caml-list] [Q] opengl bindings without tcl/tk SooHyoung Oh
2002-12-10 8:37 ` Jacques Garrigue
2002-12-10 11:17 ` Olivier Andrieu
2002-12-10 13:37 ` Jean-Christophe Filliatre
2002-12-10 14:54 ` Eric Merritt
2002-12-13 20:02 ` Issac Trotts
2002-12-13 21:06 ` Eric Merritt
2002-12-14 1:52 ` [Caml-list] ocaml embedded scripting language Eric Merritt
2002-12-14 18:56 ` Norman Ramsey
2002-12-16 14:49 ` Eric Merritt
2002-12-15 15:08 ` Dan Andersson
2002-12-16 14:51 ` Eric Merritt
2002-12-17 3:02 ` Eric Merritt
2002-12-17 8:37 ` Basile STARYNKEVITCH
2002-12-17 14:26 ` Eric Merritt
2002-12-17 21:27 ` Dan Andersson
2002-12-18 19:51 ` Norman Ramsey
2002-12-17 20:26 ` Issac Trotts
2002-12-18 19:55 ` Norman Ramsey [this message]
2002-12-10 8:38 ` [Caml-list] [Q] opengl bindings without tcl/tk Sven Luther
2002-12-10 10:32 ` Nickolay Semyonov-Kolchin
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=20021218195543.97CAC54C659@mail.eecs.harvard.edu \
--to=nr@eecs.harvard.edu \
--cc=caml-list@inria.fr \
--cc=issac@ucdavis.edu \
/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).