Comment on Why don't you use dependent types?parentComments−BigTTYGothGF10moFor 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.−vaylian10moCan these constraints be statically checked with mypy or a language server?−BigTTYGothGF10moThe 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.
Comments
Numpy arrays have been checkable by dtype for a little while now, and I think recent versions also support shape constraints.
Can these constraints be statically checked with mypy or a language server?
The 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.