> I am working on a program that translates code from scheme into ocaml.
>  (Later I will try python into ocaml.)  Because it is a dynamicly
> typed language, the most natural translation would make everything a
> function of a large variant type like:

Google for "soft typing".  You can start without soft typing and add it
later on to get better performance.


        Stefan