#csharp

.NET 11 では、C# 15 の新機能として `union` キーワードが使えるようになった Union type は「1つの値が複数の型のどれかを取れる」仕組み `Result<T>` や `Option<T>` のような定番パターンを、言語レベルで表現しやすくなる `switch` 式で中身の型を安全に分岐でき、未対応のケースがあるとコンパイラが警告してくれる 実装の裏側は意外とシンプルで、`[Union]` 属性と `IUnion` インターフェースが鍵 既存のカスタム Union 実装にも、今後は恩恵が広がりそう Union type は、ざっくり言うと「この変数には A 型か B 型か C 型のどれかが入る」という型です。 たとえば現実世界でも、同じ「OS情報」という名前であっても、中身は Windows だったり Linux だったり macOS だったりしますよね。 でも、それぞれ持っている情報はバラバラです。 Windows: `Version` だけ Linux: `Distro` と `Version` MacOS: `Name` と `Version` こうい

Microsoft は C# の `unsafe` の意味を、単なる「危ない構文」から「呼び出し側にも責任がある契約」へと再設計している 新しいモデルでは、`unsafe` な処理を 内側の `unsafe { }` ブロック に閉じ込め、コンパイラが見える形で明示する `unsafe` は、ポインタそのものよりも メモリ安全性に関わる契約 を表す方向に広がる 安全性の説明として `/// <safety>` コメントを推奨し、レビューしやすくする .NET 11 で preview、.NET 12 で production release を予定している 背景には、AI-assisted code generation の増加で「人間が全部レビューしきれない」問題がある --- Microsoft の .NET Blog で、C# のメモリ安全性を大きく改善する構想が紹介されました。 ざっくり言うと、`unsafe` キーワードの意味を作り直す という話です。 これまでの `unsafe` は、ポインタを使うための「危ないモード」のようなものでした。もちろんそ