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 LAA16044; Fri, 1 Oct 2004 11:00:28 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA16090 for ; Fri, 1 Oct 2004 11:00:27 +0200 (MET DST) Received: from iona.labri.fr (iona.labri.fr [147.210.8.143]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i9190REr007274 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 1 Oct 2004 11:00:27 +0200 Received: from localhost (guismo.drimm.u-bordeaux1.fr [147.210.36.243]) by localhost.labri.fr (Postfix) with ESMTP id 3DE1F1017AC for ; Fri, 1 Oct 2004 11:00:27 +0200 (CEST) Received: from iona.labri.fr ([147.210.8.143]) by localhost (guismo [147.210.36.243]) (amavisd-new, port 10024) with LMTP id 27680-08-8 for ; Fri, 1 Oct 2004 11:00:26 +0200 (CEST) Received: from igloo.labri.fr (igloo.labri.fr [147.210.9.44]) (using TLSv1 with cipher EDH-RSA-DES-CBC3-SHA (168/168 bits)) (Client did not present a certificate) by iona.labri.fr (Postfix) with ESMTP id F0B551017A6 for ; Fri, 1 Oct 2004 11:00:25 +0200 (CEST) Received: from igloo.labri.fr (localhost.localdomain [127.0.0.1]) by igloo.labri.fr (8.12.5/8.12.5) with ESMTP id i9191Y95015790 for ; Fri, 1 Oct 2004 11:01:34 +0200 Received: (from blume@localhost) by igloo.labri.fr (8.12.5/8.12.5/Submit) id i9191YWB015788 for caml-list@inria.fr; Fri, 1 Oct 2004 11:01:34 +0200 Date: Fri, 1 Oct 2004 11:01:34 +0200 From: Achim Blumensath To: caml-list@inria.fr Subject: Re: [Caml-list] Formal Methods Message-ID: <20041001090134.GB15132@labri.fr> Mail-Followup-To: caml-list@inria.fr References: <003901c4a713$ea0e4f00$1b447182@cas.mcmaster.ca> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.4i X-Virus-Scanned: by amavisd-new at u-bordeaux1.fr X-Miltered: at nez-perce with ID 415D1CAB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; blumensath:01 blume:01 caml-list:01 2004:99 jacques:01 analogy:01 ocaml's:01 inference:01 degenerate:01 spits:01 bug:01 blumensath:01 www-mgi:01 blume:01 o----:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, Oct 01, 2004 at 10:24:15AM +0200, Thomas Fischbacher wrote: > On Thu, 30 Sep 2004, Jacques Carette wrote: > > I also see an analogy with type systems such as Ocaml's: in theory, type > > inference is exponential, while in practice it is very fast. This is > > because the worst cases are very degenerate, and do not tend to occur in > > common / meaningful programs. > > Well, I this is quite different from what I experience if I use a (perl) > code-generator which spits out ocaml code. > > I don't know if this is still a problem, but I already encountered severe > difficulties when trying to compile a fixed constant definition of an > array (length ~380 000) of arrays (length ~10) of strings (length ~4). I don't think this is related to the type system of OCaml. It seems to be just an inefficient implementation: the part of the compiler dealing with arrays is apparently not tail-recursive (see feature wish 2306 in the bug database). Achim -- ________________________________________________________________________ | \_____/ | Achim Blumensath \O/ \___/\ | LaBRI / Bordeaux =o= \ /\ \| www-mgi.informatik.rwth-aachen.de/~blume /"\ o----| ____________________________________________________________________\___| ------------------- 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