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 VAA19402; Tue, 2 Sep 2003 21:01:30 +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 VAA09758 for ; Tue, 2 Sep 2003 21:01:28 +0200 (MET DST) Received: from mail.speakeasy.net (mail13.speakeasy.net [216.254.0.213]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h82J1Rf15812 for ; Tue, 2 Sep 2003 21:01:27 +0200 (MET DST) Received: (qmail 24433 invoked from network); 2 Sep 2003 19:01:26 -0000 Received: from unknown (HELO grace.speakeasy.org) ([216.254.0.2]) (envelope-sender ) by mail13.speakeasy.net (qmail-ldap-1.03) with DES-CBC3-SHA encrypted SMTP for ; 2 Sep 2003 19:01:26 -0000 Date: Tue, 2 Sep 2003 12:01:26 -0700 (PDT) From: brogoff@speakeasy.net To: Christoph Bauer cc: caml-list@inria.fr Subject: Re: [Caml-list] Type inference + optional parameters In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Loop: caml-list@inria.fr X-Spam: no; 0.00; brogoff:01 caml-list:01 inference:01 bauer:01 facetious:01 speakeasy:01 sep:01 wrote:03 argument:03 conv:04 parameter:04 functions:05 parameters:05 brian:06 type:07 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, 2 Sep 2003, Christoph Bauer wrote: > Sorry, but what are the benefits of these functions over the original > function without the optional parameter? None. I was being facetious, sorry. > I need a conversion function conv:'a -> 'b and the default value should be > the identity. There is no suitable default suitable conversion function of that type (think about it for a minute and you'll understand), so there is no good way to make an optional argument of type ('a -> 'b). -- Brian ------------------- 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