Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Unsafe features
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-09-03 (09:29)
From: Erik de Castro Lopo <ocaml-erikd@m...>
Subject: Re: [Caml-list] Unsafe features
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 de Castro Lopo (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