[REBOL] Re: Updates to hof script
From: jan:skibinski:sympatico:ca at: 16-Nov-2002 22:05
> 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.