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
Efficency of varient types
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-12-02 (15:07)
From: Michael D. Adams <mdmkolbe@g...>
Subject: Re: [Caml-list] Re: Efficency of varient types
On 12/1/05, Stefan Monnier <> wrote:
> > 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.

Thanks, it looks very interesting.  I haven't into it yet, and I will
be interested to see whether it matches my ideas about how it could be
done (i.e. use subsumption to find the least general generalization
instead of unification to find the least specific substitution like
you would with normal ("hard"?) type inference).

Michael D. Adams