On Thu, Dec 21, 2006 at 04:11:00PM -0500, Serge Aleynikov wrote:
> Chad Perrin wrote:
> > 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.
> >
> 
> What I meant by "strict typing" was performing type checks *at runtime*, 
> i.e. that there are no unsafe operations.

So, basically, by "strict typing" you mean something like both
compile-time and runtime type checking?  If it was *only* runtime type
checking, you'd just be using a dynamic type system (the opposite of
static typing, basically).

-- 
CCD CopyWrite Chad Perrin [ http://ccd.apotheon.org ]
"The first rule of magic is simple. Don't waste your time waving your
hands and hopping when a rock or a club will do." - McCloctnick the Lucid