> For example, I wish Python had the ability to express "a 10 x 5 matrix of floa... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		BigTTYGothGF 51 days ago \| parent \| context \| favorite \| on: Why don't you use dependent types? > 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 51 days ago [–]

Can these constraints be statically checked with mypy or a language server?

BigTTYGothGF 51 days ago | [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact