uv と ty を統合する

2026/10/21 6:30

uv と ty を統合する

RSS: https://news.ycombinator.com/rss

要約▶

Japanese Translation:

The text describes an experimental integration between

uv
, a fast Python package manager, and
ty
, a type checker, designed to streamline workflows for developers using PEP 723 scripts. This combination creates a unified
uv check
command that automatically manages environments, installs dependencies, and performs type checking without manual setup or configuration. By leveraging PEP 723 metadata,
uv
prepares isolated environments while
ty
checks code, allowing scripts with independent requirements to be verified within their own context. While the full integration of Ruff is planned for future updates, the current release focuses on
ty
, requiring a specific security flag to enable automatic environment creation due to third-party code execution risks. The ecosystem also includes VS Code support via extensions and settings, as well as pre-commit hooks that utilize this workflow under the hood.

本文

uv と ty の統合が正式リリース:Python スクリプトへのファーストクラスなサポートと一元化された診断

実験的な機能が正式版へ移行し、uv と ty の統合が利用可能となりました。これにより、Python スクリプトへの対応が強化され、

uv check
での一元化された診断も実現しています。

Astral ツールチェーンのビジョン

Astral は Python エコシステム向けに以下的高パフォーマンスツールを開発しています:

  • uv:パッケージマネージャー
  • Ruff:リンターおよびフォーマッター
  • ty:型チェッカーおよび言語サーバー

各ツールは個別に機能し、同時にエコシステム全体と連携することで相乗効果を発揮する統合されたワークフローを提供します。

主要な新機能

Python スクリプトへのファーストクラスなサポート

PEP 723(インラインメタデータ)を活用し、uv が環境準備を行ったのちに ty がスクリプトを理解・チェックできるようになりました。

  • 統合された型チェック
    • コマンドラインおよびエディタ上で、ty は uv を用いて各スクリプトの環境を自動的に準備します。
    • スクリプトの宣言された依存関係に基づき、正確な型チェックが実行されます。
  • 異なる要件の同時サポート
    • リポジトリ内の異なるスクリプトは独立した依存関係や Python バージョンを宣言できます。
    • それぞれのスクリプトは自身の要件のみを確認対象とします。
  • エディタ上の高度な機能
    • PEP 723 メタデータの同期により、補完、ホバー情報、定義の移動などが利用可能になります。
    • エディタ統合を有効にすると、ty はバックグラウンドで uv を呼び出し、必要な環境を自動セットアップします。
  • 将来の予定
    • スクリプトサポートをデフォルトで有効化し、標準的なプロジェクトへの自動環境セットアップを導入予定です。

一元化された診断コマンド

uv check
コマンドが ty のサポートを含む統一されたインターフェースを提供します。将来的には Ruff も統合予定。

  • 自動環境セットアップとチェック
    • uv check
      を実行すると、環境の準備や依存関係のインストールが行われます(初回のみ ty バイナリのインストールが必要)。
    • プロジェクトが即座に動作し、過去に未使用だった場合でも体験の変化はありません。
  • ワークスペース対応
    • 個々のパッケージだけでなく、全体ワークスペースもチェック可能です。
      • 特定のパッケージ:
        uv check --package <name>
      • 全パッケージ:
        uv check --all-packages
    • ワークスペースが成長しても設定変更は不要です。
  • 独立したスクリプト対応
    • PEP 723 スクリプトは独自の環境を持ち、個別にチェックされます。
      • 例:
        uv check --script example.py
  • バージョン管理と CI/CD
    • uv check
      は lockfile に記録された ty のバージョンを使用します。
    • プロジェクト設定をコミットすることで、開発者や CI が同じ ty バージョンを共有できます。
  • pre-commit フックとの連携
    • pre-commit フックは裏側で
      uv check
      を使用し、依存関係宣言から自動的に ty の環境を設定します。

動作原理

統合は uv ワークスペースメタデータ に基づいています。ty は uv から取得したパッケージ情報、依存関係、および Python エンバロンメントを用いて型チェックやエディタ機能を提供します。

  • PEP 723 スクリプトの処理フロー
    • ty は uv を呼び出し、宣言された依存関係を含む環境を構築します。
    • サードパーティ製コードの実行が必要となるため、現在は**オプトイン(手動有効化)**が必要です。

エディタでの有効化方法(例:VS Code)

PEP 723 スクリプトの統合を試す場合は、以下のように

settings.json
で uv 統合を有効にしてください。

{
  "ty.experimental.useUv": "on"
}
  • コマンドラインでの利用
    • プロジェクト内で
      uv check
      を実行するだけで、設定なしで自動的に統合が有効になります。

要件とバージョン情報

以下のバージョンが必要です:

  • uv: 0.12.3 以上
  • ty: 0.0.76 以上

次のステップ

この機能は現在実験的段階です。体験改善のため、皆様からのフィードバックを歓迎します。

  • 今後の開発計画
    • uv の環境機能と ty のコード理解を組み合わせた新しいチェック機能(例:未使用依存関係の検出など)の開発を進めます。
    • 詳細は将来的な記事で発表予定です。
  • 安定化への取り組み
    • ty の安定版リリースに向けた作業も並行して継続しています。

本統合の実装にあたり、Astral チームの Aria Desires 氏、Micha Reiser 氏、および Zsolt Dollenstein 氏の尽力に深く感謝申し上げます。

同じ日のほかのニュース

一覧に戻る →

2026/10/25 8:11

米国のメディア・映画・芸術分野で20万人の雇用が失われた。その内訳はいくらなのか?AIの影響はどれくらいか?

## Japanese Translation: ## サマリー: 米国のクリエイティブ産業は歴史的な縮小に直面しており、雇用喪失の規模は 2001 年および 2008 年の不況と匹敵する深刻さです。この減少の主因は、映画制作、サウンド録音、出版セクターにおける大規模なリストラにあります。ハリウッドだけで 4 年で 10 万超の雇用を失い、同セクター全体の雇用の約3分の1となり、総雇用数は 2008 年以来の水準に後退し、30 年ぶりの低水準に近づいています。同様の期間中に記述出版物は約 7 万の雇用を喪失し、デジタルアートの各サブセクターも減少を続けており、特に新聞社のスタッフ数は 90 年代以降に 85% も減少し、雑誌出版業者は同期間でスタッフの 66% を失っています。ツアーや物理メディア販売によって支えられていた過去の時代とは異なり、現在のストリーミング収益では以前ほどの水準には達せず、音楽業界もそのビジネスモデルをシフトさせています。この経済的後退に拍車をかけているのは人工知能技術の戦略的な転換です。これらの労働者の約 32% がすでに生成型 AI を利用しているにもかかわらず、画像、映像、音楽生成などの高コスト分野では数学や科学への投資と比較して経済的リターンが低いため、テックセクターはそうした分野から撤退しており(アンソルピックなどで見られるように)、AI ツールによる迅速な回復は短期間で望むことはできず、伝統的なアートの労働力にとって長引く課題を示唆しています。さらに状況は複雑化しており、2022 年のテック雇用の増加が約 30 万でしたが、それ以降毎年雇用を喪失し続けており、これらのデジタルの逆風にもかかわらず対面エンターテインメントは引き続き成長しているという事実が加わっています。

2026/10/25 6:47

構築するソフトウェアに対し、より雄大であるべきです

## 日本語訳: 本件の核心メッセージは、高度な AI ツールを利用する個人が、大規模資金調達なしに高パフォーマンスで影響力のあるソフトウェアを構築できる可能性を示しており、「vibeslop」や低品質な AI 出力に対する懐疑論に挑戦している点です。具体的な証拠としては、Michael Malis の pgrust プロジェクトがあり、これは PostgreSQL に重大なバグ(SP-GiST、JSONPath、pgcrypto、メモリ安全性)を発見しており、メインプロジェクトが成功しない場合でもその最適化は Clickhouse などの主要システムを採用される可能性があります。パフォーマンスは重要な推進力であり、AI モデルは今や数年を要する論文やコードベースからの複雑な技術(例:カスタムレギュラー表現式エンジン、ボードゲーム AI、IMAP RFC 処理)を数時間以内に実装しており、Ripgrep 検索、Rust コンパイル、ファイルシステムオーバーヘッドなどのタスクにおけるボトルネックを大幅に減少させています。大規模な研究所が SOTA モデルのために高価なハードウェアを使用する一方、独立した取り組みは AI が検証および実装可能な能力の差が広がっていることを証明しており、これによりエンジニアリング課題への挑戦が最小限のオーバーヘッドで行えるようになり、データベースおよびツールエコシステムにおける漸進的な進展を促進しています。

2026/10/25 4:06

Goose プログラミング言語

## 日本語訳: Goose は、動的値をコンパイラ管理のスタック上にインライン保持することで、ヒープ割当とガベージコレクションを排除し、メモリ安全性を実現するシステム言語です。リソースの解放は手動のデアロケーションではなくスコープ終了経由で行われ、単一スタックメモリモデルによって再割当なしでの成長がサポートされ、参照がポインタが進むにつれて拡大する配列内を維持します。コンパイラはすべての参照に対する静的ルートを自動的に推論し、所有者よりも長生きする可能性があるものは却下し、ライフタイムアノテーションやアンセーフブロックの必要はありません。 パフォーマンスベンチマークでは、Goose が標準的な C++、手動最適化された C++、そして安全な Rust に比べて速度とメモリ使用量でともに優れています:標準的な C++ の場合最高 3.3 倍高速に動作し、メモリ使用量は約半分(1.9 倍削減)です。アーキテクチャ上の革新であるバリアントモード enums(各バリアントの正確なサイズを格納)、ナローリンク(位置非依存参照のために 1/2/4 バイトのオフセットを使用)、およびインプレース構築は、オーバーヘッドが著しく低い連続したネスト型データ構造を可能にします。エラーは関数フレーム間を静的に返すことができ、アンワインダーや Result タイプを必要とせず、スレッドは分離されたメモリ空間で動作し、memcpy によってフラットな値が転送されることでデータ競合とロックを回避します。全体として、Goose は組み込みシステムや高频度取引といったクリティカルドメインにおいて高いパフォーマンスと安全性を提供するとともに、開発ライフサイクルを簡素化します。