コントラクトはインタフェースのシンタックスシュガーになるのか #golang - tenntenn.dev
本稿はGo5 Advent Calendar 2019の25日目の記事です。 本稿で扱っている内容は今後変更される可能性があり、必ずしもGoのバージョンアップで取り込まれるというようなものではありません。 GopherCon 2019のIan Lance Taylor氏のGenerics in Goというセッションとその後公開されたDesign Docではコントラクトという機能が紹介／定義されています。 Design Docに登場したコントラクトは以下のように、型パラメタへの制約定義したものです。 contract C(P1, P2) { P1 m1(x P1) P2 m2(x P1) P2 P2 int, float64 } // コントラクトCを用いて関数fの型パラメタに制約をかけている func f(type P1, P2 C) (x P1, y P2) P2 { // (略) }
Contracts — Draft Design
Ian Lance Taylor Robert Griesemer July 31, 2019 SupersededWe will not be pursuing the approach outlined in this design draft. It has been replaced by a new proposal. This document exists for historical context. AbstractWe suggest extending the Go language to add optional type parameters to types and functions. Type parameters may be constrained by contracts: they may be used as ordinary types that
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
