Re: [Caml-list] Unsafe features

[Erik de Castro Lopo <ocaml-erikd@mega-nerd.com>]

Florian Weimer wrote:

> 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 Marshall module.

Erik
-- 
+-----------------------------------------------------------+
  Erik de Castro Lopo  nospam@mega-nerd.com (Yes it's valid)
+-----------------------------------------------------------+
"The beauty of religious mania is that it has the power to
explain everything. Once God (or Satan) is accepted as the first
cause of everything which happens in the mortal world, nothing
is left to chance...logic can be happily tossed out the window."
- Stephen King