Types for Python HTTP APIs

Post by joshuamorton » Sat, Sep 14, 2019, 5:01 PM UTC

nurettin wrote: post #45

acemarke wrote: post #23

Earlier quoted context omitted.

Python 3 has optional static typing: https://docs.python.org/3/library/typing.html https://realpython.com/python-type-checking/

Static typing is exactly what python doesn't have. It will remain dynamically typed. It has type hints which can be used with external tools to enforce type correctness to some degree, but python code will run even if you assign: def f(x: int): x = "str" f(42)

Post by nurettin » Sun, Sep 15, 2019, 8:58 AM UTC

joshuamorton wrote: post #51

nurettin wrote: post #45

Earlier quoted context omitted.

Static typing is exactly what python doesn't have. It will remain dynamically typed. It has type hints which can be used with external tools to enforce type correctness to some degree, but python code will run even if you assign: def f(x: int): x = "str" f(42)

This is true of java and c as well. You can cast things or subvert the type system and the code will still run. At least where I work, my build process prevents me from running Python code with invalid type annotations, so it's exactly the same as for Java is cpp or any other statically typed language.

Post by joshuamorton » Sun, Sep 15, 2019, 8:40 PM UTC

nurettin wrote: post #53

joshuamorton wrote: post #51

Earlier quoted context omitted.

This is true of java and c as well. You can cast things or subvert the type system and the code will still run. At least where I work, my build process prevents me from running Python code with invalid type annotations, so it's exactly the same as for Java is cpp or any other statically typed language.

In my opinion, the main difference between the two from a developer's perspective is this; You can't grep for dynamic type errors. You can grep for a cast to see where you've made a mistake and find a way to do it without a cast. This of course goes for the named casts in C++. It is harder to grep for casts in C.