2022/12/11

Python静的解析ツールを作っています。まだモジュール周りの対応が出来てないのでリポジトリは公開してませんが。

Ergの型検査器をPythonに使うことを試しています
上手く行けば静的解析ツールとして公表するかも pic.twitter.com/ULNO3miKfa

— Shiba (@s_sbym) December 10, 2022

元々はErgから呼び出しているPythonスクリプトも型付けしたいなということで始めたプロジェクトですが、これでPythonの静的解析ツールとかLanguage Serverまで作れてしまうのでは？　ということでErg公開当時並みにワクワクしています。Pythonの静的解析ツールはそれこそ沢山ありますが、触りながら比較した感じ、どれもどこかしらが足りないか遅い感じで、完成すればトップクラスに「使える」やつになってしまうかもしれません。