Neelakantan Krishnaswami <email@example.com> 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);
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 Warnock <firstname.lastname@example.org>
627 26th Avenue <URL:http://rpw3.org/>
San Mateo, CA 94403 (650)572-2607