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 AAA23369; Fri, 23 May 2003 00:31:11 +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 AAA23359 for ; Fri, 23 May 2003 00:31:10 +0200 (MET DST) Received: from mail.gmx.net (pop.gmx.net [213.165.64.20]) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id h4MMV9H03221 for ; Fri, 23 May 2003 00:31:09 +0200 (MET DST) Received: (qmail 19128 invoked by uid 65534); 22 May 2003 22:31:07 -0000 Received: from pD9E141AA.dip.t-dialin.net (EHLO gmx.de) (217.225.65.170) by mail.gmx.net (mp022-rz3) with SMTP; 23 May 2003 00:31:07 +0200 Date: Fri, 23 May 2003 00:31:07 +0200 Mime-Version: 1.0 (Apple Message framework v552) Content-Type: text/plain; charset=US-ASCII; format=flowed Subject: [Caml-list] Why are arithmetic functions not polymorph? From: hermanns To: caml-list@inria.fr Content-Transfer-Encoding: 7bit Message-Id: <147AB214-8CA5-11D7-B453-003065A2962C@gmx.de> X-Mailer: Apple Mail (2.552) X-Spam: no; 0.00; stupid:01 equivalents:01 funtions:01 ocaml:01 arithmetic:01 comparison:02 anybody:03 functions:05 problem:07 i'm:07 explain:09 sense:12 point:13 hello:15 don't:16 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello, I'm new to OCaml, so I hope my question is not to stupid. Can anybody explain to me why the arithmetic functions ('+', '-', ...) are not polymorph (in the sense that they have floating point equivalents '+.', '-.', ...). I don't understand this, because comparison funtions ('<', '>', ...) are polymorph. So, where is the problem with arithmetic functions? regards, Jan ------------------- 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