3 ms·
> For example, I wish Python had the ability to express "a 10 x 5 matrix of float32s" as a type, and typecheck that. Numpy arrays have been checkable by dtype
by BigTTYGothGF 1y ago
> For example, I wish Python had the ability to express "a 10 x 5 matrix of float32s" as a type, and typecheck that.
Numpy arrays have been checkable by dtype for a little while now, and I think recent versions also support shape constraints.
- vaylian 1y agoCan these constraints be statically checked with mypy or a language server?
- BigTTYGothGF 1y agoThe dtype constraint can with pyright (and presumably others). We're still on older versions of numpy so I don't have first hand knowledge of the shape constraints.