Go Proposal Weekly Digest

Go には、doc comment に Deprecated: と書いて非推奨を示す慣習があります。この proposal は、その書式の定義を公式ドキュメント（go.dev/doc/comment）に一本化し、各ツールが共通で使える判定関数 doc.Deprecated を go/doc パッケージに追加するものです。

math パッケージに単精度（float32）版の融合積和演算（FMA: fused multiply-add）math.FMA32 を追加する提案です。FMA は x*y + z を途中で丸めずに計算し、最後に1回だけ丸める演算です。float64 版の math.FMA はすでにあり、今回はその float32 版にあたります。

go/types パッケージに、型パラメータの制約に含まれる全ての型が共有する「共通の基底型（underlying type）」を返す関数 CommonUnderlying(t Type) Type を追加する提案です。もとは仕様上の概念「コア型（core type）」を返す CoreType を公開する提案でしたが、名前と仕様を整理し直して再提出されました。

golang.org/x/tools/go/ast/inspector パッケージの Cursor 型に、Unparen と UnparenEnclosing の2つのメソッドを追加する提案です。どちらも、AST（抽象構文木）を走査するときに括弧（*ast.ParenExpr）を読み飛ばすためのものです。

chan E | chan<- E | <-chan E のように、向き（送信専用・受信専用・双方向）の違うチャネル型をまとめた制約では、現在は要素型 E を型推論できません。この proposal は、型推論の「loose unification（緩い単一化）」でチャネルの向きを無視するよう言語仕様を変え、こうした場合にも E を推論できるようにするものです。

net/http のフォーム解析の挙動を開発者が細かく制御できるようにする提案です。目的は3つあります。URLクエリパラメータだけを安全に取り出せる新しいAPIを用意すること、意図しないmultipartフォーム解析を止められるようにすること、解析するデータのサイズ（メモリ・ディスク・値の個数）に上限を設定できるようにすることです。提案者はnet/httpのメンテナであるDamien Neil（@neild）です。

golang.org/x/tools/go/analysis パッケージの型（Analyzer、Pass、Diagnostic など）を、標準ライブラリの新パッケージ go/analysis として公開する提案です。x/tools 側の型は標準ライブラリの型への型エイリアスに置き換えます。これにより、標準ライブラリ（std）、cmd、x/tools の3者が同一の型を共有できるようになります。

runtime/pprof に新しいプロファイル種別 "memory" を追加する提案です。従来のヒーププロファイルが示すのは「生存しているヒープ」だけでした。新プロファイルはこれに加えて、死んだヒープ、スタック、ランタイム自身のメモリ、さらに RSS（OS から見た常駐物理メモリ量）をもとに推定した Go 以外のメモリまで、プログラムのメモリ使用量全体を1つのプロファイルで内訳表示します。

既存のマップの容量を、あとから追加する要素数に合わせて前もって広げておく maps.Grow 関数を maps パッケージに追加する提案です。あわせて、maps.Copy もコピー先のマップを内部で事前に拡張するように変更されます。

キーの順序（比較関数で決まる並び）を保ったまま要素を管理する汎用コンテナ sorted.Map と sorted.Set を、golang.org/x/exp/collection/sorted に追加する提案です。C++ の std::map、Java の TreeMap/TreeSet、Rust の BTreeMap/BTreeSet にあたるものです。

集合（set）を表すジェネリック型 Set[E] を、実験用パッケージ golang.org/x/exp/collection/set に追加する提案です。中身は map[E]struct{} そのもので、Go APIで集合を受け渡すときの標準的な型として試験的に導入されます。

golang.org/x/exp/collection/hashed パッケージに、汎用のハッシュテーブル型 Map[K, V] を追加する提案です。組み込みの map はキーを == でしか比較できませんが、Map ではハッシュ関数とキーの同値関係（どのキー同士を「同じ」とみなすか）を利用者が指定できます。

キーの比較方法を利用者が決められるハッシュテーブル型の集合 Set[E] を、新しいパッケージ golang.org/x/exp/collection/hashed に追加する提案です。要素の型が == で比較できない場合や、== とは違う「同じとみなす基準」を使いたい場合に使います。

Go 1.18 のジェネリクスと Go 1.23 のイテレータを前提に、集合（Set）、順序付きマップ、カスタムハッシュを使うマップ、ヒープなどのコレクション型をまとめて追加するための「傘（umbrella）proposal」です。Go Collections ワーキンググループ（@jba, @adonovan, @griesemer, @mvdan, @rogpeppe, @khr, @ianlancetaylor）が提出しました。最初の置き場所は標準ライブラリではなく golang.org/x/exp/collection/... です。

sync パッケージに、ジェネリック型 sync.Counter[T] を追加する提案です。CPU（GOMAXPROCS の P）ごとに値を分割して保持する「シャード化カウンタ」で、書き込みが多く読み取りが少ないメトリクス収集のような用途で、多数のコアからの同時更新でも性能が落ちにくくなります。