Re: strong/weak typing terminology (was Re: [Caml-list] Scripting in ocaml)

["Daniel Bünzli" <daniel.buenzli@epfl.ch>]

Le 22 déc. 06 à 19:16, skaller a écrit :

> It is also unclear what you mean by 'unsafe'.
>
> Ocaml is not safe:
>
> 	let a = Array.create 0 0 in
> 	let y = a.[99] in (* WOOPS *)
>
> The fact that an exception is thrown may or may not
> make the language safe depending on whether or not
> you INTEND to trigger an exception. The best you can
> say is that if you don't catch it, its a bug.

I'm sorry I don't follow you. \x13This would be an example of safety \x13 
according to the definition I gave. Ocaml protects its array  
abstraction -- which allows to look at a bounded piece of memory as a  
finite array of values of a certain type --\x13 by raising \x13an exception  
if you try to access out of the bounds of the memory instead of  
silently \x13running the program with the arbitrary data it got by  
reading out of bounds.

Daniel