3 ms·
That's fine and all. But it runs without errors or warnings. I can put that in main.py and do `python3 main.py` and it will simply run fine. What is the point
by bruce343434 3y ago
That's fine and all. But it runs without errors or warnings.
I can put that in main.py and do `python3 main.py` and it will simply run fine.
What is the point of this whole system if it's not enforced?
- mgkimsal 3y agoAmen.
- tomn 3y agoIf 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 3y agoTypescript does not ignore type errors by default. Type error = fail to compile
- tomn 3y agoTry it, it produces output by default. You have to add a flag/option to change this https://www.typescriptlang.org/tsconfig/#noEmitOnError https://www.typescriptlang.org/tsconfig/#noEmitOnError