From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.2 required=5.0 tests=AWL,DATE_IN_PAST_12_24, SPF_NEUTRAL autolearn=disabled version=3.1.3 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 EE3DFBC0A for ; Thu, 24 May 2007 15:15:00 +0200 (CEST) Received: from an-out-0708.google.com (an-out-0708.google.com [209.85.132.249]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4ODEdAv019648 for ; Thu, 24 May 2007 15:14:58 +0200 Received: by an-out-0708.google.com with SMTP id c24so36002ana for ; Thu, 24 May 2007 06:14:57 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:subject:to:cc:in-reply-to:references:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:from; b=ExeQlBKFq0l/cQmZHDcaLeLvPTrCirkqGvwaW8sB9W2NeQdLIB9oRd+D2JnvxDAUT/tR0WKoFmlFQekJV6nX6u7I5fUvVpRHI3KrqskadNViMO4eqaJpeOwztFPUrJGhdQD6o4I+0AHN4ZXrNetg+IvVRjMmonD8SFVkM60OqYk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:subject:to:cc:in-reply-to:references:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:from; b=YGJ9KeBl7coFcWAUl9YtnufjkHCmLqvZPkwHfoernmfiFFhWKitgIHghcyYTKfSuA0DONHMLFOfXnDfBEGvE7exjb/FftkhTVI3d5sd6X1YYATMyO6Z6VmqFqE8SHmp5LbIDDh1SfSnFzOMvzsMWPVgi0iGVagWkdEG5yS23E0c= Received: by 10.100.211.11 with SMTP id j11mr1496126ang.1180012497752; Thu, 24 May 2007 06:14:57 -0700 (PDT) Received: from ?192.168.2.12? ( [24.173.161.251]) by mx.google.com with ESMTP id c27sm4750834ana.2007.05.24.06.14.56; Thu, 24 May 2007 06:14:57 -0700 (PDT) Subject: Re: [Caml-list] Teaching bottomline, part 3: what should improve. To: skaller Cc: OCaml In-Reply-To: <1179875804.17533.33.camel@rosella.wigram> References: <1179871823.6966.78.camel@Blefuscu> <1179875804.17533.33.camel@rosella.wigram> Content-Type: text/plain Date: Wed, 23 May 2007 09:55:26 -0400 Message-Id: <1179928531.6966.140.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Content-Transfer-Encoding: 7bit From: David Teller X-j-chkmail-Score: MSGID : 46558FBF.000 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at concorde with ID 46558FBF.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; unification:01 unification:01 ocaml:01 univ-orleans:01 lifo:01 d'orleans:01 wrote:01 wrote:01 imho:01 typing:01 caml-list:01 tend:02 laboratoire:03 languages:03 distributed:05 On Wed, 2007-05-23 at 09:16 +1000, skaller wrote: > On Tue, 2007-05-22 at 18:10 -0400, David Teller wrote: > > > * Error messages of the type system are somewhat obscure. [...] > I understand that is may be hard, if not impossible, to implement, > as it would require a unification engine that could manage > source references in parallel with deductions .. still the information > IS available originally. I tend to believe that there is a simple solution to the problem (I haven't looked at Dan Grossman's paper yet): re-run the typing of the last function and print out the hypothesis and each unification as it happens. > I bet this would be an interesting and valuable PhD project, > and, IMHO, without it type inferencing languages are useless > in industry. I concur. > Type errors in Ocaml code are very common for the > simple reason they're just about the only error you can make :) :) -- David Teller ------------------------------------------ Security of Distributed Systems ----------------------- -- http://www.univ-orleans.fr/lifo/Members/David.Teller ----- Laboratoire d'Informatique Fondamentale d'Orleans