On Thu, Dec 21, 2006 at 09:59:15AM -0500, Serge Aleynikov wrote:
> 
> I believe that introducing strict typing in the language might help in 
> bridging static typing and dynamic loading.  Strict typing would allow 
> to do run-time type verification and type-specific guard checks. 
> Though, this would no longer be Ocaml as we know it today.  ;-)

I think you lost me.  What do you mean by "strict typing" such that
OCaml doesn't do it?  From what I've seen, OCaml is both statically and
strongly typed.

-- 
CCD CopyWrite Chad Perrin [ http://ccd.apotheon.org ]
"A script is what you give the actors.  A program
is what you give the audience." - Larry Wall