Comment on Why don't you use dependent types?parentComments−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
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.