John M. Dlugosz wrote:
More globally, nothing is said much about parameters to types.
> It shows an example like  Array[of=>T] but never discusses the
> syntax of defining parameterized types or anything.  Is there
a paper or discussion on that I could read?

Essentially the direct indexing of a name with [] and {} is
reserved for type theoretical things. And one paper that makes
use of this is Theory.pod from Luke. Apart from that the
current design doesn't say much about the type system ;(

Regards, TSa.

The Angel of Geometry and the Devil of Algebra fight for the soul
of any mathematical being.   -- Attributed to Hermann Weyl

Reply via email to