Static checks for dynamic languages using LLMs

Recently I bumped into pyright, a nice tool, offered freely by Microsoft that performs checks on python code, and warns software engineers for possible bugs.

Dynamic languages is a domain that haunts me for lots of years and how to improve the software development process around them. But it is not an easy task. Many tools have been around for quite a while, that implemented several strategies for autocompletion and early error detection, like webstorm or vscode extensions. It's like a never-ending story; we want to be less specific when coding, but…