typing(構造的型付け)を入れようという案。#7844まあ、「何人かでちょっとディスカッションしたよ」というくらいの段階みたい。やりたいことの説明や、構文の案(3案ほど)が出ている程度(実装方法に関する言及あまりなし)。typingがどういうものなのかについて簡単に説明。typingと言います。Javaとか.NETのインターフェイスやクラスの継承・実装、C++のクラス継承なんかは、以下のように、明示的な参照・実装が必要になります。いうのはnominative(指名的、任命的)な型付けといいます。一方で、Goのインターフェイスは、(C#で提案されている案の1つを使って類似機能を書くと)以下のように、シグネチャだけ見て暗黙的に「実装されている」ことにしてくれます(これが、structural)。良し悪しあって、以下のような感じnominativeな方が若干実行性能がいいただ、structuralの方はほんの小さなコストで、結構大きな自由度が手に入るstructuralの方は、実装クラス側が知らず知らずのうちに合わない構造に修正される可能性がある3番目の「知らず知らずのうちに修正」が怖いので、Javaとか.NETとかみたいな動的リンクが基本のプログラミング言語ではstructuralのデメリットが大きいんですが。Goの場合は静的リンクだからインターフェイスをstructuralにできたというのもあるはず。いえ、別にどっちか片方だけでないといけないということもないわけです。C#では、普通のインターフェイスはnominativeだけど、追加でstructuralな何かを加えて使い分けたってかまわないはず。typingの便利さを享受できるはずです。ついて運営者について。