HaloO,
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
