If you want type checking, run mypy. If you don't want type checking, don't run ... | Hacker News

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

		tomn on Dec 22, 2023 \| parent \| context \| favorite \| on: Why if TYPE_CHECKING? If you want type checking, run mypy. If you don't want type checking, don't run mypy. I don't see what's so difficult. If it was technically possible to run programs that have type errors in other languages, they would have the option to ignore type errors too, because it's convenient. Typescript also ignores errors (generating js output for you to run) by default, so what's the point if it's not enforced?

bruce343434 on Dec 22, 2023 [–]

Typescript does not ignore type errors by default. Type error = fail to compile

tomn on Dec 22, 2023 | [–]

Try it, it produces output by default. You have to add a flag/option to change this https://www.typescriptlang.org/tsconfig/#noEmitOnError

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