Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] [Q] opengl bindings without tcl/tk
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-12-19 (20:41)
From: Norman Ramsey <nr@e...>
Subject: Re: [Caml-list] ocaml embedded scripting language
 > >  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 
The part you want is the extended example in Section 2.

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: