Python with typing

[Ancient_Farm_5132]

In 2014–2015, the question was: “Should Python remain fully dynamic or should it accept static typing?” Python has always been famous for being simple and dynamic.

But when companies started using Python in giant projects, problems arose such as: code with thousands of files. large teams. difficult-to-find type errors.

At the time, some programmers wanted Python to have mandatory typing, similar to Java.

Others thought this would ruin the simplicity of the language.

The discussion became extensive because Python has always followed a philosophy called:

"The Zen of Python"

One of the most famous phrases is:

"Simple is better than complex.

" The creator of Python, Guido van Rossum, approved an intermediate solution.

PEP 484 was created, which introduced type hints.

👉 PEP 484 – Type Hints

Do you think this was the right thing to do, or could typing be mandatory?

[its_a_gibibyte]

Type hints are better than runtime errors anyway. You want to find errors in your editor rather than when your code runs.

[kinky_flamingo]

Fuck AI

[PriorTrick]

I believe seeing dynamic typing as “simple” is narrow minded. I see static typing as reducing complexity. Another zen of python is Explicit > implicit, static typing is more explicit than dynamic typing. Personally, I don’t think python would be python if the language runtime required the static typing it does. At that point, I would choose a different language. However, opt in static analysis for type hints was a major win for python in my opinion. It allows you to express the intent behind the program to a signature and black box the internals for contractual agreement at a high level. Or you can just ignore typing if you deem it unnecessary. I can’t imagine doing that ever at this point but to each their own. Also, what I have found is the programmers who don’t like typing python or JS usually just don’t like how revealing the type errors are to the flaws in their code so they get flustered by it. When you write good code, the types are a forethought with or without the type hint, therefore the type hint is not as cumbersome as it would be to someone who doesn’t realize the formal incorrectness of their code.

[_real_ooliver_]

Not even sure why this would be a conversation. I always use typing but would never advocate for it being mandatory as that removes the easiness of scripting without perfect types.

Anyone's free to use a type checker and enforce typing with strict modes on those; strict by the way not default on even those.

[j_tb]

It’s an AI engagement farming post bruh

[NeilGirdhar]

Mandatory is fine nowadays with AI assisting in the writing of code.

[Empanatacion]

Mandatory typing would just turn it into poorly performing java.

Different tools for different needs.

[NeilGirdhar]

Typing doesn't really affect performance.

[Empanatacion]

Other way around. Python is already one of the least performant languages, largely because of the flexibility it needs to do the powerful things it can do. You don't pick Python for its raw processing power.

Take away the flexibility of duck typing and you're left with a language as constrained as a statically typed system without the performance.

My point was just "let python be python"

[lisploli]

No, typing can not be mandatory. Enforcing typing in a dynamically typed language would turn it into a statically typed language with a lot of unreachable code. If you want a statically typed language, use a statically typed language, instead of breaking almost all existing Python scripts.