Mailing List Archive: 49091 messages
  • Home
  • Script library
  • AltME Archive
  • Mailing list
  • Articles Index
  • Site search

[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: