プログラミング・開発言語– category –

Solidityは、Ethereum Foundationのチーフサイエンティスト時代のGavin Woodが2014年に提案し、Christian Reitwiessnerが中心となって開発を進めたスマートコントラクト記述用のドメイン特化言語です。JavaScript、Python、C++から影響を受けた静的型付け...

Pylintは、Pythonの最も歴史あるリンターのひとつで、2003年にベルギーのLogilab社で開発が始まった老舗ツールである。当時はPEP 8もまだ普及しておらず、Pythonコードの慣習を機械的にチェックする手段が極めて限られていた時代に、Sylvain Thénault氏ら...

hadolintは、Dockerfileを対象に専用ルールで静的解析を行うコマンドラインツールである。2016年にスイスのLukas Martinelli氏らが開発を始めたOSSで、名前は「Haskell Dockerfile Linter」の頭字語に由来する。コンテナイメージはレイヤーごとに積み上が...

Stylelintは、CSS、SCSS、Less、PostCSSなどのスタイルシートを対象とした静的解析ツールで、構文エラーや慣習違反、ベンダー固有プロパティの混入を検出する。2015年にDavid Clark氏とRichard Hallows氏らによって開発が始まり、当時主流だったCSSLintやS...

ShellCheckは、Bashを中心としたシェルスクリプトの構文解析と挙動検査を行うオープンソースの静的解析ツールである。ノルウェー在住のVidar Holen氏が2012年に開発を始め、Haskellで実装されている点が一風変わっている。シェルスクリプトは、わずかな書...

Clippyは、Rust公式が提供するリンターで、コンパイラだけでは検出しきれない慣用句違反や非効率な書き方、潜在的バグを指摘するツールである。2014年頃にAndre Bogus氏（GitHub上ではllogiq）が個人プロジェクトとして開始し、その後Rustの公式ツール群、...

gofmtは、Go言語に同梱される公式のソースコード整形ツールである。2009年にGoが公開された当初からツールチェーンの一部として用意されており、Robert Griesemer氏、Rob Pike氏、Ken Thompson氏らGoogleの初期チームの設計思想を体現する存在として知られ...

RuboCopは、Rubyコードの書式や慣習を自動で点検し、必要に応じて修正までかけてくれる静的解析ツールである。ブルガリアの開発者Bozhidar Batsov氏が2012年に最初のバージョンを公開し、彼自身がメンテナーを務める「The Ruby Style Guide」を実装に落と...

SonarQubeは、ソースコードのバグ、セキュリティ脆弱性、保守性の問題を統合的に解析するサーバ型プラットフォームである。フランスのSonarSource社が2007年にSonarという名称で公開し、その後SonarQubeへ改称しながら、Java、C#、Python、JavaScript、Go...

Pyrightは、Microsoftが2019年に公開したPython向けの静的型チェッカおよび言語サーバである。TypeScriptコンパイラの設計を主導したEric Traut氏が中心となって開発しており、TypeScriptで培われた高速な型推論と差分解析の経験が、そのままPythonの世界...