Re: [Caml-list] Unsafe features

[Damien Bobillot <damien.bobillot@m4x.org>]

[-- Attachment #1: Type: text/plain, Size: 796 bytes --]


Le 2 sept. 05 à 14:02, Florian Weimer a écrit :

> Has Ocaml any unsafe features?  With "unsafe", I mean constructs
> which, when (ab)used in certain ways, make further reasoning about the
> behavior of the program impossible (and neither the compiler nor the
> run-time system provides a diagnosis).  Examples in other languages
> are out-of-bounds array access, null pointer dereference, integer
> arithmetic overflow, premature deallocation of heap objects, wrong
> type declarations -- you get the idea.
>
> The C language interface falls into this category.  Are there any
> other problematic areas?

The Obj.magic function. I don't know exactly what it does, but I  
think it does arbitrary type conversions.

-- 
Damien alias Schmurtz
aim:goim?screenname=schmuuurtz


[-- Attachment #2: smime.p7s --]
[-- Type: application/pkcs7-signature, Size: 2375 bytes --]