Is there any configuration similar to strict like mypy

[Izcarmt95]

Something that check if the function are typed or something similar ?

[rchen152]

Hey @Izcarmt95! Sorry for the slow response - this somehow slipped through the cracks. We have an implicit-any error that can be enabled via --error=implicit-any on the command line or by setting:

[errors]
implicit-any = "error"

in a config file. Does that meet your needs? If not, please open a feature request, and we'll look into it. Thanks!

[Izcarmt95]

Thanks for your answer, but I have another question related with this flag since in the docs says that I need to disable the inference, How do I do that?

[yangdanny97]

https://pyrefly.org/en/docs/configuration/#infer-with-first-use

But I don't turning it off is necessary for your use case. That doc is a bit confusing, but what it means is that normally we infer the type of the list based on how it's used, so we typically won't end up inferring Any for it even if it's initialized empty (if we're able to guess a type for the list, then there will be no error). Mypy has similar inference for empty lists so I think this behavior is fine to keep on for you.

For users coming from Pyright which does not have this kind of inference, you'd disable it in Pyrefly to get matching behavior or enable it to get better safety.

[Izcarmt95]

Thanks !
One more question, how do I do to enforce the typing in the return and arguments of a function

[yangdanny97]

Enable these two error codes

unannotated-parameter: https://pyrefly.org/en/docs/error-kinds/#unannotated-parameter
unannotated-return: https://pyrefly.org/en/docs/error-kinds/#unannotated-return

Error configuration: https://pyrefly.org/en/docs/configuration/#errors

[Izcarmt95]

Oh, thanks! That configuration was exactly what I was looking for!

[lolpack]

Here is one more error that is currently off by default implicit-abstract-baseclass (unsure if mypy includes it in strict mode).