From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA19730; Tue, 14 May 2002 15:50:10 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA19726 for ; Tue, 14 May 2002 15:50:10 +0200 (MET DST) Received: from hirsch.in-berlin.de (hirsch.in-berlin.de [192.109.42.6]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g4EDo9n11793 for ; Tue, 14 May 2002 15:50:09 +0200 (MET DST) Received: from hirsch.in-berlin.de (localhost [127.0.0.1]) by hirsch.in-berlin.de (8.12.1/8.12.1/Debian -2) with ESMTP id g4EDo4Fu025286 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NOT); Tue, 14 May 2002 15:50:04 +0200 Received: (from uucp@localhost) by hirsch.in-berlin.de (8.12.1/8.12.1/Debian -2) with UUCP id g4EDo4rx025284; Tue, 14 May 2002 15:50:04 +0200 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: caml-list@inria.fr Received: from localhost (oliver@localhost) by first.in-berlin.de (8.7.6/8.7.3) with SMTP id PAA00519; Tue, 14 May 2002 15:33:31 +0200 Date: Tue, 14 May 2002 15:33:31 +0200 (MET DST) From: Oliver Bandel To: Markus Mottl cc: OCAML Subject: Re: [Caml-list] Turning off type-checking In-Reply-To: <20020513133102.GB9777@kiefer.ai.univie.ac.at> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, 13 May 2002, Markus Mottl wrote: > Hello, > > people have always kept telling me that I have perverse needs, but that's > the way it is: I (ab)use OCaml for interpreting models learnt by a machine > learning system. The problem is that such models may require hundreds > of thousand lines of OCaml-code including absolutely mad amounts of > pattern-matches on and constructions of values of sum- and product type. [...] > It would be really nice if there were some command-line flag for the > OCaml-compilers which turns off every check that is not required under the > assumption that the given OCaml-code is (type) correct [...] use Perl; Ciao, Oliver ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners