Python overtakes Java to become the second-most popular programming language

Re:Python overtakes Java to become the second-most popular p... by neverartful on Thursday November 05, 2020 @01:46PM (#25000751)

I was really happy when I first learned of type annotations being added to Python. However, much of that excitement evaporated when I read that it was just a 'hint' and not something that's enforced.

[ Parent | on HN ]

Re:Python overtakes Java to become the second-most popular p... by heavyset_go on Thursday November 05, 2020 @02:20PM (#25001057)

This was also my initial reaction. However, if you couple type annotations with an LSP server[1] that takes the annotations into consideration[2], you'll get on-the-fly type checking in your editor or IDE. That way you can catch type errors as you write your typed Python code.

Besides VS Code, these days lightweight editors like Kate, Sublime Text, Vim, etc can all take advantage of type checking LSP servers for Python.

[1] https://github.com/palantir/python-language-server

[2] https://github.com/tomv564/pyls-mypy

[ Parent | on HN ]

Re:Python overtakes Java to become the second-most popular p... by photonios on Thursday November 05, 2020 @02:21PM (#25001065)

It's not enforced by CPython the interpreter. You run mypy to enforce the type hints: http://mypy-lang.org/

It's quite good.

[ Parent | on HN ]

Re:Python overtakes Java to become the second-most popular p... by animatedb on Thursday November 05, 2020 @06:42PM (#25003354)

I like it a lot. Use it with --disallow-untyped-defs to make sure more is caught.

[ Parent | on HN ]