Comment by daniel-s

Do you mean like mypy and optional type hints or something different, enforceable like Typescript?