Hi Edward
Edwasrd Willink wrote
Surely double -- double is just wrong. It uses the COSSAP
fudge to support Arrays in a non-Array tool via accidental sequences.
Any type system that requires exaplanatory text, (use N successive
samples) is not a type system.
Edward Lee wrote
The only difference
Hi Edward, Bertram, Liying
You have hit upon something that has bothered me for some time,
and have expressed it better than I ever did... There are several
examples of this tension in the Ptolemy II library. E.g., the
FFT actor has type double -- double. Why isn't it
[double] --
Hi Edward
Unfortunately, I'm not well-versed in 'dependent type system's
so I cannot comment on that.
I don't doubt that a set of contradictory type constriants can be
set up, but that's a detectable error, that can be made in a
simpler system too.
I see type inference as a multi-axis lattice
