[REBOL] Re: Updates to hof script
From: jan:skibinski:sympatico:ca at: 16-Nov-2002 11:45
Hi Gabriele,
These are all valid suggestions. I'll think about it.
The notation is not cast in stone. I am still
experimenting. For example, I have no decided yet
on representation for Cartesian types. As an example,
how do I represent types for such a block:
[[3 "a"] [7 "c"] [10 "d"]]?
In Haskell, heterogenous lists (here blocks), are not
allowed (unless one uses existential quantification),
so one have to use so-called tuples instead, as in:
[(3, "a"), (7," c"), (10, "d")]. This list of pairs
(tuples) has the type:
[(Integer, String)]
In Ocaml, the Cartesian types would be represented
by something like:
Integer x String
and a list of such things as:
[Integer x String]
(I almost forgot the Ocaml syntax, so that might
be incorrect.)
Regards,
Jan
Gabriele Santilli wrote: