免責事項：私はGoで1日しか遊んだことがないので、多くの機会を逃した可能性があります。

Goでジェネリック/テンプレート/ whatsInANameが実際にサポートされていない理由を誰かが知っていますか？つまり、ジェネリックがありますが、それはmapコンパイラーによって提供されますが、Goプログラマーは独自の実装を作成できません。Goをできるだけ直交にすることについてのすべての話で、なぜジェネリック型を使用できるが、新しい型を作成できないのですか？

特に関数型プログラミングに関して言えば、ラムダやクロージャさえありますが、静的型システムにジェネリックが欠けている場合、どうすれば一般的な高次関数を作成できfilter(predicate, list)ますか？わかりました。リンクされたリストなどは、interface{}タイプセーフを犠牲にして実行できます。

SO / Googleでクイック検索を行っても洞察は得られなかったため、ジェネリックがあったとしても、後から考えてGoに追加されるようです。私はThompsonがJavaの人よりもはるかに優れていると信じていますが、なぜジェネリックスを除外するのですか？または、それらは計画されていて、まだ実装されていませんか？

この答えはここにあります：http : //golang.org/doc/faq#generics

Goにジェネリック型がないのはなぜですか？

ジェネリックはいつか追加されるかもしれません。一部のプログラマーが理解していることはわかっていますが、私たちは彼らに緊急性を感じません。

ジェネリックは便利ですが、型システムと実行時の複雑さが犠牲になります。我々はそれについて考え続けていますが、複雑さに比例した価値を与えるデザインをまだ見つけていません。一方、Goの組み込みのマップとスライス、および空のインターフェイスを使用してコンテナーを構築する機能（明示的なアンボックス化）を使用すると、多くの場合、ジェネリックが可能にすることをスムーズに実行できないコードを記述できます。

これは未解決の問題です。

行く2

https://blog.golang.org/go2draftにジェネリックのドラフトデザインがあります。

行く1

ラス・コックス、囲碁ベテランの一つが書いた一般的なジレンマを題したブログ記事彼は尋ねているが、

…遅いプログラマー、遅いコンパイラーと肥大化したバイナリー、あるいは遅い実行時間を望んでいますか？

遅いジェネリックの結果である遅いプログラマー、遅いコンパイラはジェネリックのようなC ++によって引き起こされ、遅い実行時間はJavaが使用するボクシング-アンボクシングアプローチから生じます。

ブログで言及されていない4番目の可能性は、C＃ルートを使用することです。C ++のような特殊なコードを生成するが、実行時に必要な場合。私は本当に気に入っていますが、GoはC＃とは非常に異なるため、これはおそらくまったく当てはまりません…

キャスト時に一般的なJava 1.4のような一般的なプログラミング手法を使用するとinterface{}、コンパイル時に型の安全性が失われるだけでなく、ボクシングとアンボクシングとまったく同じ問題が発生します（これが私たちが行っているため）。小さな型（intなど）の場合、Goはinterface{}型を最適化して、インターフェイスにキャストされたintのリストが連続したメモリ領域を占有し、通常のintの2倍のスペースしか使用しないようにします。interface{}ただし、からのキャスト中は、ランタイムチェックのオーバーヘッドがあります。リファレンス。

汎用的なサポートを追加するすべてのプロジェクト（プロジェクトにはいくつかあり、すべて興味深いもの）は、コンパイル時コード生成のC ++ルートに一様に移行します。

ジェネリックは現在組み込まれていませんが、コードを生成する小さなユーティリティと組み合わせてコメントを使用する、go用のジェネリックの外部実装がいくつかあります。

これがそのような実装の1つです：http : //clipperhouse.github.io/gen/

実際、この投稿によると：

多くの人々は、（誤って）Goチームの立場は「Goにはジェネリックは決してないだろう」と結論付けています。反対に、Goをはるかに柔軟で強力なものにするため、およびGoをはるかに複雑にするためのジェネリックの潜在的な可能性を理解しています。ジェネリックを追加する場合は、可能な限り複雑さを追加せずに、柔軟性とパワーを最大限に活用できるようにしたいと考えています。

パラメトリックポリモーフィズム（ジェネリック）はGo 2で検討中ですます。

このアプローチは、型パラメーターの制約を表すために使用できるコントラクトの概念を導入します。

contract Addable(a T) {
  a + a // Could be += also
}

このような契約は、このように使用できます。

func Sum(type T Addable)(l []T) (total T) {
  for _, e := range l {
    total += e
  }
  return total
}

これは現段階での提案です。

あなたのfilter(predicate, list)関数は、このようなタイプのパラメータを用いて実施することもできます。

func Filter(type T)(f func(T) bool, l []T) (result []T) {
  for _, e := range l {
    if f(e) {
      result = append(result, e)
    }
  }
  return result
}

この場合、を拘束する必要はありませんT。