Neelakantan Krishnaswami  <neelk@cs.cmu.edu> wrote:
+---------------
| Ulrich Hobelmann wrote:
| > Isn't OCaml the ML dialect that uses different syntaxes
| > for integer and FP math?
| 
| Yes, but that's one of its good ideas.
+---------------

And not original. BLISS (1971) did it too. Storage was typeless
(and hence so were variables, which were only names for locations);
only operators were typed. E.g. [using ":=" here instead of the
original Teletype left-arrow, which got stolen by ASCII "_"]:

	I := .I + (2 * .J);

versus:

	X := .X FADR (2.34 FMPR .Y);

The problem was that you could easily shoot yourself in the foot
if you used integer ops on floating values or v-v.


-Rob

-----
Rob Warnock			<rpw3@rpw3.org>
627 26th Avenue			<URL:http://rpw3.org/>
San Mateo, CA 94403		(650)572-2607