>>>>> "Eric" == Eric Merritt <cyberlync@yahoo.com> 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: basile<at>starynkevitch<dot>net 
alias: basile<at>tunes<dot>org 
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