型パラメータの提案(「総称型」というのは厳密には正しくないらしい)は2021年2月に承認され,製造フェーズに入ったようだ。言語で導入される総称型について予習する(その3)以前書いた記事に関して,仕様が変わったらしい。Designそこで,これまでのおさらいと変更点について簡単に紹介する。言語で導入される「総称型(generics)」について,これまで提案されていた仕様は以下の通り。総称型であることを示す。contract)」と呼ばれ,総称型に対する制約(constraint)として機能している。新しい提案では,型コントラクトを捨て,制約の定義を以下のように変更する。いった感じに型の列挙ができる点がこれまでと異なる。'い'}などと記述できる。型も制約として使える。型を入れ子にすることで複雑な制約条件を構成することもできる。e.Error()}としても見た目の結果は同じになる。injection)」であるのに対し,総称型を使った記述はコンパイル時に型ごとに別々の関数として展開される。これを「単態化(monomorphization)」と呼ぶ。依存の注入と単態化ではリソース管理の戦略がまるで異なる。関数を総称型で記述するのは,どう考えても効率が悪い。包摂される型は必要に応じていくらでも定義可能であり,それらの型ごとに単態化されるなどぞんぞがさばる。標準では実装されてなかったりする。原則の観点から考えても)コード管理しやすくなるだろう。プログラマは息をするように依存を注入する」。言語の強みであるが,使える道具は多いに越したことはない。https://go2goplay.golang.org/総称型についてもここで色々と試せるようなので,遊びに行ってみてはいかがだろうか。お披露目されるかもしれないとのこと。言語の教科書と言ってもいいだろう。フィードバック用のディスカッションページを用意しました。アカウントが必要ですが,お気軽にご利用ください。電子メールも利用できます。電子メールを利用する際の公開鍵はプロフィールから取得できます。Baldanders.info.。