On Thursday, 30 August 2018 at 21:40:40 UTC, Everlast wrote:
On Thursday, 30 August 2018 at 00:10:42 UTC, Paul Backus wrote:
[...]
This is not true! You claim that I'm making a blanket statement
about what mathematicians would view then you do the same.
[...]
If ... implies "an arbitrary number of" and you have:
(A...)(A a)
(A)(A a...)
A... = an arbitrary number of types
A a... = an arbitrary number of parameters *typed* as A.
When you have a list of Ts the type is denoted as "T[]". This is
consistent with D's type system.
