Browse thread
Scripting in ocaml
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2006-12-22 (12:39) |
From: | Jon Harrop <jon@f...> |
Subject: | Re: [Caml-list] Scripting in ocaml |
On Thursday 21 December 2006 22:19, Chad Perrin wrote: > 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). As many Lisp compilers try to do type inference and check types at run-time (giving warnings), Lisp is not dynamically typed according to your argument. Moreover, this is a property of the implementation and not of the language. -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. Objective CAML for Scientists http://www.ffconsultancy.com/products/ocaml_for_scientists