2つのジェネリックな値を持ってその関係を規定できるから generic protocol のように機能しますね

4:03 AM

構文のスタイルとしてはRustやSwiftより Haskell の type class に近い気がします

4:04 AM

SwiftのprotocolやRustのtraitは雰囲気をクラス指向に寄せてとっつきやすくしたと思うけど

4:04 AM

Goのcontractはそういう意味では難しいHaskellに戻ってる雰囲気がする。