Chinese (Simplified) localization update (2024.11)

[NCBM]

This PR will be a draft until we are ready.

[NCBM]

it seems that mypy_primer is easy to fail recently.

[DetachHead]

yeah just ignore that. it's tracked in #563

[NCBM]

I have a bold idea that I'm not sure if it is fine to avoid/skip running the primer CI when merely non-English localization files are modified. If the primer only helps comparing functionalities of type checking, non-English localization files rarely (or maybe never) affect the functionality. Of course it is also possible to involve non-English texts in the primer if essential.

[DetachHead]

good idea. i raised #890

ignore those failures, i broke the primer when i converted the project to uv but it should be fixed now

[NCBM]

Then this PR is currently generally ready, or I can wait for next sync with pyright or new l10n messages since there are still some days to enter the December.

[DetachHead]

thanks, will try to get around to reviewing this before this week's release on wednesday

[github-actions]

Diff from mypy_primer, showing the effect of this PR on open source code:

sympy (https://github.com/sympy/sympy)
-     Type of "n" is "Unknown | ((n: int = 15, subs: Unknown | None = None, maxn: int = 100, chop: bool = False, strict: bool = False, quad: Unknown | None = None, verbose: bool = False) -> (Unknown | One | EvalfMixin* | Any | NaN | Zero | Infinity | NegativeInfinity | Float)) | ((n: int = 15, subs: Unknown | None = None, maxn: int = 100, chop: bool = False, strict: bool = False, quad: Unknown | None = None, verbose: bool = False) -> (Unknown | NegativeOne | EvalfMixin* | Any | NaN | Zero | Infinity | NegativeInfinity | Float)) | ((n: int = 15, subs: Unknown | None = None, maxn: int = 100, chop: bool = False, strict: bool = False, quad: Unknown | None = None, verbose: bool = False) -> (Unknown | Zero | EvalfMixin* | Any | NaN | Infinity | NegativeInfinity | Float)) | ((n: int = 15, subs: Unknown | None = None, maxn: int = 100, chop: bool = False, strict: bool = False, quad: Unknown | None = None, verbose: bool = False) -> (Unknown | Integer | EvalfMixin* | Any | NaN | Zero | Infinity | NegativeInfinity | Float)) | ((n: int = 15, subs: Unknown | None = None, maxn: int = 100, chop: bool = False, strict: bool = False, quad: Unknown | None = None, verbose: bool = False) -> (Unknown | Rational | EvalfMixin* | Any | NaN | Zero | Infinity | NegativeInfinity | Float)) | ((n: int = 15, subs: Unknown | None = None, maxn: int = 100, chop: bool = False, strict: bool = False, quad: Unknown | None = None, verbose: bool = False) -> (Unknown | ComplexInfinity | EvalfMixin* | Any | NaN | Zero | Infinity | NegativeInfinity | Float)) | ((n: int = 15, subs: Unknown | None = None, maxn: int = 100, chop: bool = False, strict: bool = False, quad: Unknown | None = None, verbose: bool = False) -> (Unknown | Half | EvalfMixin* | Any | NaN | Zero | Infinity | NegativeInfinity | Float)) | ((n: int = 15, subs: Unknown | None = None, maxn: int = 100, chop: bool = False, strict: bool = False, quad: Unknown | None = None, verbose: bool = False) -> (Unknown | Expr | EvalfMixin* | Any | NaN | Zero | Infinity | NegativeInfinity | Float))" (reportUnknownMemberType)
+     Type of "n" is "Unknown | ((n: int = 15, subs: Unknown | None = None, maxn: int = 100, chop: bool = False, strict: bool = False, quad: Unknown | None = None, verbose: bool = False) -> (Unknown | One | EvalfMixin* | Any | NaN | Zero | Infinity | NegativeInfinity | Float)) | ((n: int = 15, subs: Unknown | None = None, maxn: int = 100, chop: bool = False, strict: bool = False, quad: Unknown | None = None, verbose: bool = False) -> (Unknown | NegativeOne | EvalfMixin* | Any | NaN | Zero | Infinity | NegativeInfinity | Float)) | ((n: int = 15, subs: Unknown | None = None, maxn: int = 100, chop: bool = False, strict: bool = False, quad: Unknown | None = None, verbose: bool = False) -> (Unknown | Zero | EvalfMixin* | Any | NaN | Infinity | NegativeInfinity | Float)) | ((n: int = 15, subs: Unknown | None = None, maxn: int = 100, chop: bool = False, strict: bool = False, quad: Unknown | None = None, verbose: bool = False) -> (Unknown | Integer | EvalfMixin* | Any | NaN | Zero | Infinity | NegativeInfinity | Float)) | ((n: int = 15, subs: Unknown | None = None, maxn: int = 100, chop: bool = False, strict: bool = False, quad: Unknown | None = None, verbose: bool = False) -> (Unknown | Rational | EvalfMixin* | Any | NaN | Zero | Infinity | NegativeInfinity | Float)) | ((n: int = 15, subs: Unknown | None = None, maxn: int = 100, chop: bool = False, strict: bool = False, quad: Unknown | None = None, verbose: bool = False) -> (Unknown | ComplexInfinity | EvalfMixin* | Any | NaN | Zero | Infinity | NegativeInfinity | Float)) | ((n: int = 15, subs: Unknown | None = None, maxn: int = 100, chop: bool = False, strict: bool = False, quad: Unknown | None = None, verbose: bool = False) -> (Unknown | Half | EvalfMixin* | Any | NaN | Zero | Infinity | NegativeInfinity | Float)) | Any | ((n: int = 15, subs: Unknown | None = None, maxn: int = 100, chop: bool = False, strict: bool = False, quad: Unknown | None = None, verbose: bool = False) -> (Unknown | Expr | EvalfMixin* | Any | NaN | Zero | Infinity | NegativeInfinity | Float))" (reportUnknownMemberType)
-   /tmp/mypy_primer/projects/sympy/sympy/solvers/tests/test_solveset.py:506:20 - warning: Argument type is unknown
-     Argument corresponds to parameter "args" in function "__new__" (reportUnknownArgumentType)
+   /tmp/mypy_primer/projects/sympy/sympy/solvers/tests/test_solveset.py:706:26 - warning: Argument type is Any
+     Argument corresponds to parameter "f" in function "solveset_real" (reportAny)
-     Type of "number" is "Unknown | One | NegativeOne | Zero | Integer | Rational | NaN | ComplexInfinity | Half | Expr" (reportUnknownVariableType)
+     Type of "number" is "Unknown | One | NegativeOne | Zero | Integer | Rational | NaN | ComplexInfinity | Half | Infinity | NegativeInfinity | Float | _NotImplementedType | Expr" (reportUnknownVariableType)
+   /tmp/mypy_primer/projects/sympy/sympy/solvers/tests/test_solveset.py:2793:21 - warning: Argument type is Any
+     Argument corresponds to parameter "f" in function "solveset" (reportAny)
-     Type of "eq" is "_NotImplementedType | GreaterThan | Unknown | Equality | Relational | Unequality" (reportUnknownVariableType)
+     Type of "eq" is "_NotImplementedType | Unknown" (reportUnknownVariableType)
+   /tmp/mypy_primer/projects/sympy/sympy/solvers/tests/test_solveset.py:3411:13 - warning: Argument type is Any
+     Argument corresponds to parameter "lhs" in function "__new__" (reportAny)
-   /tmp/mypy_primer/projects/sympy/sympy/solvers/tests/test_solveset.py:3513:5 - warning: Type of "e" is partially unknown
-     Type of "e" is "ComplexInfinity | Rational | NaN | One | NegativeOne | Zero | Integer | Half | Unknown | Expr" (reportUnknownVariableType)
-     Type of "ans" is "set[tuple[Any | Unknown, Any] | tuple[Unknown, Any]]" (reportUnknownVariableType)
+     Type of "ans" is "set[tuple[Any, Any] | tuple[Unknown, Any]]" (reportUnknownVariableType)
-     Type of "P" is "(condition: Unknown, given_condition: Unknown | None = None, numsamples: Unknown | None = None, evaluate: bool = True, **kwargs: Unknown) -> (Unknown | Any | BernoulliDistribution | Probability | Zero | One | Self@Expr | tuple[Unknown, ...] | Sum | Order | NaN | Piecewise | Basic | Equality | Relational | Unequality | ComplexInfinity | Expr | Float | Half | Infinity | Integer | Lambda | NegativeInfinity | NegativeOne | Number | Rational | int | None)" (reportUnknownVariableType)
+     Type of "P" is "(condition: Unknown, given_condition: Unknown | None = None, numsamples: Unknown | None = None, evaluate: bool = True, **kwargs: Unknown) -> (Unknown | Any | BernoulliDistribution | Probability | Zero | One | Self@Expr | tuple[Unknown, ...] | Sum | Order | NaN | Piecewise | Basic | Equality | ComplexInfinity | Expr | Half | Infinity | Integer | Lambda | NegativeInfinity | NegativeOne | Number | Rational | int | None)" (reportUnknownVariableType)
-     Type of "E" is "(expr: Unknown, condition: Unknown | None = None, numsamples: Unknown | None = None, evaluate: bool = True, **kwargs: Unknown) -> (Unknown | Basic | Expectation | tuple[Unknown, ...] | Sum | Self@Expr | Order | Any | Zero | NaN | Piecewise | Equality | Relational | Unequality | Integral | ExpectationMatrix | Literal[0] | None)" (reportUnknownVariableType)
+     Type of "E" is "(expr: Unknown, condition: Unknown | None = None, numsamples: Unknown | None = None, evaluate: bool = True, **kwargs: Unknown) -> (Unknown | Basic | Expectation | tuple[Unknown, ...] | Sum | Self@Expr | Order | Any | Zero | NaN | Piecewise | Equality | Integral | ExpectationMatrix | Literal[0] | None)" (reportUnknownVariableType)
-     Type of "H" is "(expr: Unknown, condition: Unknown | None = None, **kwargs: Unknown) -> (int | Expr | Basic | Expectation | Unknown | tuple[Unknown, ...] | Sum | Self@Expr | Order | Any | Zero | NaN | Piecewise | Equality | Relational | Unequality | Integral | ExpectationMatrix | None)" (reportUnknownVariableType)
+     Type of "H" is "(expr: Unknown, condition: Unknown | None = None, **kwargs: Unknown) -> (int | Expr | Basic | Expectation | Unknown | tuple[Unknown, ...] | Sum | Self@Expr | Order | Any | Zero | NaN | Piecewise | Equality | Integral | ExpectationMatrix | None)" (reportUnknownVariableType)
-     Type of "covariance" is "(X: Unknown, Y: Unknown, condition: Unknown | None = None, **kwargs: Unknown) -> (CrossCovarianceMatrix | Covariance | Unknown | Basic | Expectation | tuple[Unknown, ...] | Sum | Self@Expr | Order | Any | Zero | NaN | Piecewise | Equality | Relational | Unequality | Integral | ExpectationMatrix | Literal[0] | None)" (reportUnknownVariableType)
+     Type of "covariance" is "(X: Unknown, Y: Unknown, condition: Unknown | None = None, **kwargs: Unknown) -> (CrossCovarianceMatrix | Covariance | Unknown | Basic | Expectation | tuple[Unknown, ...] | Sum | Self@Expr | Order | Any | Zero | NaN | Piecewise | Equality | Integral | ExpectationMatrix | Literal[0] | None)" (reportUnknownVariableType)
-     Type of "entropy" is "(expr: Unknown, condition: Unknown | None = None, **kwargs: Unknown) -> (int | Expr | Basic | Expectation | Unknown | tuple[Unknown, ...] | Sum | Self@Expr | Order | Any | Zero | NaN | Piecewise | Equality | Relational | Unequality | Integral | ExpectationMatrix | None)" (reportUnknownVariableType)
+     Type of "entropy" is "(expr: Unknown, condition: Unknown | None = None, **kwargs: Unknown) -> (int | Expr | Basic | Expectation | Unknown | tuple[Unknown, ...] | Sum | Self@Expr | Order | Any | Zero | NaN | Piecewise | Equality | Integral | ExpectationMatrix | None)" (reportUnknownVariableType)
-     Type of "correlation" is "(X: Unknown, Y: Unknown, condition: Unknown | None = None, **kwargs: Unknown) -> (Unknown | Expr | Any | ComplexInfinity | Rational | NaN | One | NegativeOne | Zero | Integer | Half)" (reportUnknownVariableType)

... (truncated 3995 lines) ...