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=0.4 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 9618DBC0A for ; Thu, 24 May 2007 10:23:39 +0200 (CEST) Received: from server2.thinkcrime.de (server2.thinkcrime.de [213.133.110.149]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4O8NdQg018171 for ; Thu, 24 May 2007 10:23:39 +0200 Received: from hod-sarge-2005-10.lan.m-e-leypold.de (dslb-088-072-208-003.pools.arcor-ip.net [88.72.208.3]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by server2.thinkcrime.de (Postfix) with ESMTP id 5D240488016 for ; Thu, 24 May 2007 10:23:42 +0200 (CEST) Received: by hod-sarge-2005-10.lan.m-e-leypold.de (Postfix, from userid 1003) id 969E537BC9; Thu, 24 May 2007 10:04:21 +0200 (CEST) To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Teaching bottomline, part 3: what should improve. References: <1179871823.6966.78.camel@Blefuscu> <1179875804.17533.33.camel@rosella.wigram> <20070523091909.GA8019@snarc.org> <46543875.9010305@janestcapital.com> <20070523214823.GA16180@snarc.org> Organization: Leypold, Software-Dienstleistungen und -Beratung From: "Markus E.L." Date: Thu, 24 May 2007 10:04:21 +0200 In-Reply-To: <20070523214823.GA16180@snarc.org> (Vincent Hanquez's message of "Wed, 23 May 2007 23:48:23 +0200") Message-ID: User-Agent: Some cool user agent (SCUG) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at concorde with ID 46554B8B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; markus:01 mli:01 haskell:01 ocaml:01 val:01 caml-list:01 inline:01 int:01 int:01 len:02 string:02 string:02 let:03 let:03 annoying:06 > For .mli file, it's not always an advantage to have them; having 2 > files to edit each time you make a modification is quite annoying.. > I wish there was an inline signature ala Haskell for OCaml, something > along the line of: > > === string.ml ==== > val length : string -> int > .... > > let length s = ... > .... > ================== let len (s :string) : int = ... ? Regards -- M