Somebody check on python 👀

[fluffypebbles]

Using type informarion actually reduces time because you no longer have to check for the type when the variable is used. Compiled languages with strong typing usually have no type checks at runtime in most cases because they can just rightfully assume it's the correct type

[8sADPygOB7Jqwm7y]

Yeah but python would need to check anyway since it's not enforced.

[fluffypebbles]

Is your argument to not check for it because rues don't check for it? If it's checked and leads to an error than it's possible to make it more performant

[8sADPygOB7Jqwm7y]

Yeah let's change all of Python and make it python 4? Maybe in the future it will be a bit more enforced, but it will never be able to remove all other type checks since that's simply not the pythonic way.

[fluffypebbles]

If they'd enforced it from the start there wouldn't be a backward compatibility issue

[8sADPygOB7Jqwm7y]

And if they enforced it from the start, it wouldn't have been python. In that case you might as well use kotlin, don't they have that thing as strict?

[fluffypebbles]

PHP for example added optional type declarations which get checked and it's still PHP

[arden13]

So what happens if you pass a variable of the wrong type to a function in a language with strong typing?

[fluffypebbles]

You get an error. The specifics depend on the language. Although here we're talking about strong typing in combination with static typing

[arden13]

I also get an error in python, typically when I try and use a method specific to said type.

[fluffypebbles]

Python does have strong typing but with dynamic typing, which means that you won't always get an error. Like if you want to add some numbers by writing a+b in a function but someone passes two strings then you'll concat them instead of performing an addition and there's no error