Facebook have launched their own static type checker for Python, as an alternative to mypy!
https://m.facebook.com/notes/protect-the-graph/pyre-fast-type-checking-for-python/2048520695388071/
It uses the same syntax, but seems more focused on Language Server Protocol integration.
miniblog.
Related Posts
The Matter protocol is excellent for puns.
"Does it Matter? It doesn't Matter."
In LSP, a position is represented as a line number and a column offset (in Unicode code units): https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#position
This is pretty elegant. You'll get the correct line regardless of encoding bugs, and the editor already knows the line number so it's cheap to compute.
Really thoughtful critique of the Language Server Protocol, what IDEs need to express, and the design decisions made.