fp-checker 0.1.0

Python コードに対して関数型プログラミングのルール違反を検査するツール

fp-checker

Python コードを解析し、関数型プログラミングのルールに反した関数を検査する Rust 製ツールです。CLI と Python API の両方を提供し、結果は text / JSON / SARIF の各形式で出力できます。組み込みルールに加えて、設定ファイルだけで custom rule を追加できます。

どこを見れば何が分かるか

• 機能概要: docs/features.md
• ルール仕様: docs/rules.md
• CLI / Python API の使い方: docs/usage.md
• 設定ファイル仕様: docs/configuration.md
• 開発方法と Dev Container: docs/development.md
• CI / セキュリティ方針: docs/quality-and-security.md

現在の実装範囲

• Rust workspace: fp_checker_core, fp_checker_cli, fp_checker_py
• Python 構文解析: rustpython-parser ベースの adapter
• ignore デコレータ: @fp_ignore を既定値としてサポート
• MVP ルール:
  • 可変グローバル状態
  • 代入の多用
  • 直接 I/O
  • 非決定的呼び出し
  • 外部状態への副作用
  • ミュータブルなデフォルト引数
  • 直接的な effectful call
  • global / nonlocal
• 追加ルール:
  • hidden mutation
  • loop 内副作用
  • 例外制御フロー
  • class method 内副作用
  • 参照透過性を壊す暗黙依存
  • 非推奨 API 使用
• 出力形式: text / JSON / SARIF
• AI 向けの structured fix_hint を JSON に含める
• CLI / Python API / pyproject.toml 設定対応
• 設定スキーマ: unknown key を reject する strict TOML
• config 駆動の custom rule: call / name / attribute_write
• CI 上の Python smoke test: 3.9 / 3.10 / 3.11 / 3.12
• JSON schema 検証: tests/fixtures/report.schema.json
• リリース自動化: tag push で GitHub Release と PyPI publish
• benchmark: cargo bench -p fp_checker_core
• pre-commit: .pre-commit-config.yaml

クイックスタート

CLI

cargo run -p fp_checker_cli -- check tests/fixtures/sample_project

cargo run -p fp_checker_cli -- check tests/fixtures/sample_project --format json

cargo run -p fp_checker_cli -- check tests/fixtures/sample_project --format sarif

Python API

maturin develop --manifest-path crates/fp_checker_py/Cargo.toml
python3 -c "import fp_checker; print(fp_checker.available_rules())"

import fp_checker

print(fp_checker.check_code("def f(items=[]):\n    return items", format="json"))

開発コマンド

cargo check
cargo fmt --check
cargo clippy --all-targets -- -D warnings
cargo test

リポジトリ構成

.
├── crates/
│   ├── fp_checker_cli/
│   ├── fp_checker_core/
│   └── fp_checker_py/
├── docs/
├── python/
│   └── examples/
├── tests/
│   └── fixtures/
├── .devcontainer/
├── .github/
│   ├── dependabot.yml
│   └── workflows/
├── Cargo.toml
├── pyproject.toml
├── CONTRIBUTING.md
├── SECURITY.md
└── CHANGELOG.md