From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 7AB96BDDB for ; Sat, 3 Sep 2005 11:29:06 +0200 (CEST) Received: from smtp2.syd.swiftdsl.com.au (smtp2.syd.swiftdsl.com.au [218.214.225.98]) by concorde.inria.fr (8.13.0/8.13.0) with SMTP id j839T4Ph019681 for ; Sat, 3 Sep 2005 11:29:05 +0200 Received: (qmail 6380 invoked from network); 3 Sep 2005 09:29:16 -0000 Received: from unknown (HELO coltrane.mega-nerd.net) (218.214.64.136) by smtp2.syd.swiftdsl.com.au with SMTP; 3 Sep 2005 09:29:16 -0000 Received: from coltrane (localhost [127.0.0.1]) by coltrane.mega-nerd.net (Postfix) with SMTP id AB0E37B91 for ; Sat, 3 Sep 2005 19:29:00 +1000 (EST) Date: Sat, 3 Sep 2005 19:29:00 +1000 From: Erik de Castro Lopo To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Unsafe features Message-Id: <20050903192900.315f96a7.ocaml-erikd@mega-nerd.com> In-Reply-To: <87slwny8xs.fsf@mid.deneb.enyo.de> References: <87slwny8xs.fsf@mid.deneb.enyo.de> Organization: Erik Conspiracy Secret Labs X-Mailer: Sylpheed version 2.0.0 (GTK+ 2.6.8; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 43196CE0.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 florian:01 ocaml:01 compiler:01 run-time:01 pointer:01 deallocation:01 heap:01 nospam:98 mania:98 ...:98 wrote:01 integer:01 reasoning:01 arithmetic:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 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