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 VAA09037; Mon, 12 Aug 2002 21:05:35 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 VAA09034 for ; Mon, 12 Aug 2002 21:05:34 +0200 (MET DST) Received: from lobus.fungible.com (adsl-64-161-114-6.dsl.snfc21.pacbell.net [64.161.114.6]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g7CJ5Wf08852 for ; Mon, 12 Aug 2002 21:05:33 +0200 (MET DST) Received: by lobus.fungible.com (Postfix, from userid 1000) id 587CF7F66; Mon, 12 Aug 2002 12:05:21 -0700 (PDT) Date: Mon, 12 Aug 2002 12:02:09 -0700 From-Tims-Fingers: true To: caml-list@inria.fr Subject: [Caml-list] Why are type functions postfix? Message-Id: <20020812190521.587CF7F66@lobus.fungible.com> From: tim@fungible.com (Tim Freeman) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk In OCAML and other ML dialects I've used, you say: let x: int ref = ref 3 Is there any reason that type functions like the first "ref" are postfix, unlike function application like the second "ref" that is prefix? If it's just history and there's no good reason, that's fine by me. I'm just curious. -- Tim Freeman tim@fungible.com GPG public key fingerprint ECDF 46F8 3B80 BB9E 575D 7180 76DF FE00 34B1 5C78 ------------------- 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