2026/09/09 20:57

Rust のニバー型を安定化する

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

要約▶

Japanese Translation:

Rust 2024 は、

(「never」型) を安定化させることで大きな転換点となります。これは存在しない値を示すこの型の導入により、以前のデフォルトの戻り値である

()

（ユニット型）が置換され、到達不可能なエラー分岐を最適化しコード生成を簡素化することを目的としています。Rust 1.99 以降からは、曖昧な式に対して推論されるデフォルトが

に変更されるため破壊的変更が発生します。これにより、古いデフォルト挙動に依存していた既存の汎用型コードが機能しなくなる可能性があります。これらの問題に対処するためには、プログラマーは明示的にジェネリックを使用して戻り値の型を指定するか、暗黙的な推論に頼らずパターンのマッチングを利用する必要があります。当初テスト段階で数千の crates が検出されましたが、実際に修正が必要な破壊的変更は僅かでした。コミュニティは主要なライブラリへのバッチバックポートを進めており、この移行を円滑に行っています。開発者は以下のどちらかを選ぶ必要があります：以前の Rust 1.98 を继续使用するか、新しい標準を採用してデッドコードエリミネーションを簡素化し、将来的な汎用型プログラミングタスクにおけるコンパイル効率を向上させるためにプロジェクトを更新することです。

Text to translate:

Rust 2024 marks a major shift by stabilizing the "never" type (

), which signifies that a value never exists. This change replaces the previous default fallback type,

()

, specifically to optimize unreachable error branches and simplify code generation. Starting with Rust 1.99, developers can expect breaking changes where ambiguous expressions now infer

instead of

()

. Consequently, existing generic code may fail if it relies on the old default behavior. To resolve these issues, programmers must explicitly specify return types using generics or utilize pattern matching rather than relying on implicit inference. While thousands of crates were initially flagged during testing, only a handful required full breaks to be fixed. The community is actively backporting updates to popular libraries to smooth this transition. Developers face a choice: stick with the previous version, Rust 1.98, or update their projects to embrace the new standard that streamlines dead code elimination and enhances compiler efficiency for future generic programming tasks.

本文

Rust で「永らえない型（!）」が安定化された背景と課題

概要

2024 年 8 月 24 日、Rust コンパイラーへの寄稿者「waffle」により、長らく内部利用のみだった**「永らえない型（never type, !）」**が正式に安定化されました。
これまでに2 年以上の議論と検証を経ての実現です。
前世代のエディション互換性を損なう可能性や、既存コードへの影響を慎重に検討し、Craterなどのツールを用いて壊れるライブラリを特定・修正するプロセスを踏みました。

なぜ「永らえない型」が必要なのか？

1. 実用的な理由：効率的なジェネリックコード

```
FromStr
```
トrait などの変換処理において、**変換が常に成功する（不墜）**ケースを表現できます。
Before: エラーハンドリング用として
```
Result<T, !>
```
を使わざるを得なかった。
After: 型推論によりエラー分岐が存在しないことをコンパイラーに理解させ、不要なコードを最適化・削除できる。

impl FromStr for ByteString {
    type Err = !; // 永らえない型を使用
    fn from_str(s: &str) -> Result<Self, !> { /* ... */ }
}
// コンパイラーが自動的にこれを fn from_str(s: &str) -> Self に最適化可能

2. 哲学的な理由：一貫性のある型推論

```
if
```
や
```
while
```
のように式（Expression）として扱う構造において、無終ループが発生した場合の結果型を推論しやすくする。
永らえない型の特性: 任意の型に自動的に変換される。
- コードが永らえない型の値を持つと判断した場所は**到達不可能（Dead Code）**となり、安全に削除・最適化できる。
- これにより、型推論システムを簡素化できている。

技術的課題：Never Fallback と Never Infallible

Never Fallback（永らえないフォールバック）の問題

明示的な戻り型が指定されていない非公開関数で無終ループが発生した場合、コンパイラーは型を推論できない。
Rust 2024 エディション以前: フォールバック型は
```
()
```
（単位型）だった。
Rust 2024 エディション以降: フォールバック型が
```
!
```
に変更され、暗黙変換が事実上止まった。

影響:

// Rust 2024 以前：コンパイル可能（T を () と推論）
let f: fn() -> Result<T, E> = || loop {} ?; 

// Rust 2024 以降：コンパイルエラー（T が ! になり、Default を実装できないため）
let f: fn() -> Result<T, E> = || loop {} ?;

Never Infallible（永らえない不墜）の問題

過去に
```
Infallible
```
という不安定な型がありましたが、最適化には対応していなかった。
```
!
```
を安定化し、
```
Infallible
```
を
```
!
```
のエイリアスにする計画があったが、既存コードとの互換性問題が生じた。
- ```
!
```
  は暗黙変換を持つため、定義変更で既存コードの型推論が変わるリスクがある。

破壊的影響の検証：Crater と修正活動

Craterによる分析

waffle が実行した
```
crater
```
ツール（全公開 Rust ライブラリのコンパイルチェック）の結果：
- 影響を受けた Crate（パッケージ）：3,300 件
- 完全に壊れた（修正なしで使えない）Crate: 7 件のみ
- 残りは古いライブラリバージョン依存であり、更新可能なものが多い。

主な原因：ジェネリック関数の型推論

明示的な戻り型が指定されていない場合にフォールバック型が変わることでエラーになるケースが多数。

// 問題の典型的なパターン
fn foo<T: Default>() -> Result<T, Error> { ... }
foo()?; // コンパイルエラー：T が ! になり、Default を実装できないため

修正のアプローチ

バックポート版の提供:
- ライブラリメンテナーに対し、壊れたコードを修復したパッチバージョン（例：
```
v1.0.1
```
  ）を提供。
- ビルド環境が自動的に新しいバージョンを検出・採用する仕組みを利用。
成功例:
- 協力によって1,553 の失敗した Crateに対処し、互換性を保ちつつ更新可能にした。
拒否されたケース:
- ライフサイクルを終えた古いバージョンへの対応を拒んだ場合もあるが、ユーザー自身がアップグレードする必要があると説明。

結論：安定化と今後の対応

正式な導入

Rust 1.99以降で「永らえない型」が公式に安定化し、「
```
Infallible
```
」は
```
!
```
のエイリアスとなる。
これにより、より簡潔で安全なジェネリックコードの記述が可能になる。

ユーザーへの選択肢

破壊的な影響を受ける場合の 3 つの対応策：

Rust バージョン 1.98 に留まる（ただし新機能は使えない）。
依存関係をサポートされた最新版に更新する。
問題関数呼び出しで戻り型を明示的に指定するパッチを適用する。

互換性へのコミットメント

この変更は破壊的であり、一見後方互換性の違反に見えますが：
- 比較的低頻度な発生ケースである。
- 何年も前から警告され計画されていた。
- コミュニティと協力し、壊れるコードを特定・修正するためのバックポート版提供まで行った。
このプロセス全体は、Rust の後方互換性への真のコミットメントを示す事例と言えます。

注意: 「永らえない型」を使う際は、その特殊な挙動（到達不可能性の表現など）を理解した上で記述してください。

同じ日のほかのニュース

一覧に戻る →

2026/09/13 1:25

OpenStreetMap に最初の変更を加える

## Japanese Translation: OpenStreetMap は、近隣の店舗や施設に公式ウェブサイトのタグを追加することで、有意義な貢献を誰もが求めるよう呼びかけています。この作業は 15 分以内で完了可能です。この単純な行動は、米国だけで 100 万を超える店舗が存在するにもかかわらず、アクティブなマッパーの数はそれに比べて遥かに少ないという重要なデータギャップに対処しています。既存のエントリの多くはこの不可欠なウェブ住所を欠いています。無料の JOSM エディタと、そのウェブサイトウィザードプラグインを活用することで、貢献者は不足しているタグを効率的に特定できます。単一のウェブサイトタグを追加するだけで、マッピングソフトウェアは電話番号、営業時間、メールアドレスなどの重要な詳細情報を自動的に推測でき、世界中で利用可能な多数の無料サービスへのデータ提供を強化します。著者は、シアトルのウォリングフォード地区で 1 つのチェンジセット内にて 66 の新規タグを追加するだけでその影響を実証しました。結局のところ、これらのツールの普及啓発は、誰でも無料で利用できるより完全なデジタル地図の構築に貢献します。 ## Text to translate: The original summary is high quality and well-balanced, so it does not require improvement. ## Summary: OpenStreetMap invites everyone to make a meaningful contribution by adding official website tags to nearby shops or amenities—a task achievable in under fifteen minutes. This simple action addresses a critical data gap, especially given that the U.S. alone hosts over one million shops while active mappers are far fewer; many existing entries lack these crucial web addresses. Using the free JOSM editor and its Website Wizard plugin, contributors can efficiently locate missing tags. Adding a single website tag automatically enables mapping software to infer other vital details like phone numbers, opening hours, and emails, enriching data for dozens of free services worldwide. The author demonstrated this impact by adding sixty-six new tags in Seattle's Wallingford neighborhood in one changeset. Ultimately, spreading awareness of these tools helps build a more complete digital map for everyone to use at no cost.

2026/09/13 5:25

Real-SWE：AI モデルを実際の企業コードベースでの運用におけるベンチマーク評価

## Japanese Translation: 2026年9月、新しい Real-SWE ベンチマークが、実際の企業からライセンスされた私有のリアルワールドエンタープライズコードベースにおいて、最先端 AI モデルに挑戦する。これに対し、以前の公衆インターネットデータを用いた評価では約 99% のトークンが隠されていたが、このベンチマークでは課題は孤立したサンドボックスから直接verbatim またはインスピレーションを得られた形で抽出されており、ここでは機密生産コードとビジネス結果への影響シナリオ（例：請求書、税金、移行）が含まれる。評価はモデル単体ではなく、モデルおよびハーネスの組み合わせを測定しており、エンタープライズエンジニアの実際の作業方法を反映している。解決率は、各課題につき 8 回の独立したランにわたる pass@1 の平均値として量化され、95% 信頼区間が示される。タスクは平均して短く、中位値では約 1,742 文字であり、Terminal-Bench よりもはるかに短いが、DeepSWE や FrontierCode よりも長い。各参考ソリューションは通常、中位値で約 11 ファイルを編集する。性能には大きなばらつきがある：上位の解決率には Fable 5.1（38.8%）、GPT-6 AstraCodex CLI（33.8%）、Gemini 3.8 FlashGemini CLI（31.2%）、GLM 5.3Claude Code（28.8%）、Gro k 4.6Grok Build/Muse Spark 1.3Muse Code（23.8%）が含まれる。モデルは短いロールアウトでも苦戦する：約 71% のロールアウト（10 分未満）が失敗したのに対し、より長いロールアウトでは約 73% が失敗しており、最も一般的な失敗モードは要件の欠落であり、どのモデルもすべての課題を解決することはできない。展開コストもモデルによって大きく異なる：選択するモデルによっては約 2.50 ドルから 6.96 ドル程度で変動し（Gemini 3.8 Flash は下限、Fable 5.1 は上限）、一部のモデルでは報告されていない高いコストが発生する可能性もある。この変化により、エンタープライズエンジニアは、標準的な公衆データベンチマークではほとんど準備がなされない制限された環境において、複雑な固有のパターンとビジネスリスクをナビゲートすることになる。

2026/09/09 10:57

Apple iPod エングレーバー（2019）

## 日本語翻訳: 2005 年、Apple のエンジニアは「iPod のパーソナライズ」ウェブページを革新し、巧妙な回避策を用いて静的フォームをインタラクティブなショッピングツールへと変換しました。このアップグレード以前には、顧客はカスタム製品を表示することなく、単なるテキスト入力を記入するしかできませんでした。これを解決するために、開発者は JavaScript を用いて JPEG 画像を切り替え、ユーザーがデバイスを実時間で視覚化できるようにする回転する iPod アニメーションを作成しました。また、ユーザーがタイプしたテキストに基づいてエンベージングオーバーレイを動的に生成する ImageMagick ソフトウェアを採用し、顧客が製品上に自分の名前が表示される様子を正確にプレビューできるようになりました。さらに、CSS クラスの切り替えによって古典的な黄色いフェード効果をシミュレートし、出荷見積もりに対する動的なフィードバックを提供しました。これらの手法は早期ブラウザ技術の深刻な制限に依存していましたが、顧客体験を向上させる能力においてほぼ魔法のように感じられました。この歴史的プロトタイプは、限られた技術的手段であっても、ウェブイノベーションが製品のカスタマイズ性を大幅に改善し、購入前のバイヤーの信頼性を高め、将来的なインタラクティブ電子商取引デザインのための基準を設定できることを証明しました。