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 22:05

Hi Brett,
> I was thinking about the vector notation of [] and vector of vectors with > [[]]. Are these to be viewed as constraints over REBOL blocks or something > else, an implied datatype in a sense? >
I would view them as constraints for now. But the notation may evolve to accept type constructors, as in: inner-product :: Matrix ring -> Matrix ring -> Matrix ring This would not tell us anything about specific data structures used to represent matrices. It could have been implemented as trees for all I know. Another implementation could use explicit blocks: inner-product :: [[number]] -> [[number]] -> [[number]] Both approaches could be valid as far as I can see. Jan