7 ms·
From the perpsective pure type checking, Python/Numpy is heading in this direction: https://peps.python.org/pep-0646/#motivation https://peps.python.org/pep-064
by nerdponx 3y ago
From the perpsective pure type checking, Python/Numpy is heading in this direction: https://peps.python.org/pep-0646/#motivation https://peps.python.org/pep-0646/#motivation.
However what you can't do without dependent types (as far as I know) is infer or verify statically that the transpose of a Tensor<f64,20,10> is a Tensor<f64,10,20>.
- gpderetta 3y agoSomething like this you mean: https://gcc.godbolt.org/z/P8475n4sc https://gcc.godbolt.org/z/P8475n4sc? Edit: I think that dependent typing is needed only of the matrix bounds are only known at runtime.