From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA00839 for caml-redistribution; Sun, 13 Feb 2000 22:13:13 +0100 (MET) 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 SAA07967 for ; Sun, 13 Feb 2000 18:42:31 +0100 (MET) Received: from miss.wu-wien.ac.at (miss.wu-wien.ac.at [137.208.107.17]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id SAA19283 for ; Sun, 13 Feb 2000 18:42:30 +0100 (MET) Received: (from mottl@localhost) by miss.wu-wien.ac.at (8.9.0/8.9.0) id SAA19849 for caml-list@inria.fr; Sun, 13 Feb 2000 18:42:24 +0100 (MET) From: Markus Mottl Message-Id: <200002131742.SAA19849@miss.wu-wien.ac.at> Subject: "catch-all" labels? To: caml-list@inria.fr (OCAML) Date: Sun, 13 Feb 2000 18:42:24 +0100 (MET) X-Mailer: ELM [version 2.5 PL2] MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis Hello, in some function applications labels seem to be somewhat more clumsy than their unlabeled version, e.g.: # List.fold_left fun:(+) acc:0 [1;2;3];; This expression has type int -> int -> int but is here used with type acc:'a -> 'b -> 'a Would it make sense to introduce something like "catch-all" labels, which might be useful in functions like "+" where the order of parameters does not matter, maybe: let (+) _:x _:y = x + y which would match any label? (Only curious...) Regards, Markus Mottl -- Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl