English version
Accueil     Ŕ propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis ŕ jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml ŕ l'adresse ocaml.org.

Browse thread
Scripting in ocaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-12-21 (20:25)
From: Chad Perrin <perrin@a...>
Subject: Re: [Caml-list] Scripting in ocaml
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