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 FAA06203; Tue, 14 May 2002 05:10:26 +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 FAA06199 for ; Tue, 14 May 2002 05:10:26 +0200 (MET DST) Received: from exchange.cs.cornell.edu (exchange.cs.cornell.edu [128.84.97.8]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g4E3AP913441 for ; Tue, 14 May 2002 05:10:25 +0200 (MET DST) content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-MimeOLE: Produced By Microsoft Exchange V6.0.5762.3 Subject: RE: [Caml-list] Turning off type-checking Date: Mon, 13 May 2002 23:10:23 -0400 Message-ID: <706871B20764CD449DB0E8E3D81C4D4301EE6D43@opus.cs.cornell.edu> Thread-Topic: [Caml-list] Turning off type-checking Thread-Index: AcH6yHOq8FCK3QH9RJuA6jVg43Qg+gAKBMGQ From: "Gregory Morrisett" To: "Berke Durak" , "Markus Mottl" , Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Could the type experts on this list confirm or deny that : > - For ``classical'' types, type-checking amounts to=20 > term unification. > - Term unification can be done in worst-case linear-time. > - Ocaml's unification algorithm is worst-case suboptimal. > - This explains the ``awful amount of time'' needed for=20 > type checking. Well, type-checking ML involves more than term unification -- the=20 worst case complexity is something truly horrible (EXP-time). Having said this, for most programs, the worst-case complexity rarely, if ever arises in "natural" code. (I've not run into it...) So, I'd actually be surprised if there was any significant speedup obtained by eliminating the type-inference from the compilation path. =20 -Greg ------------------- 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