Rustだとある(ジェネリックかもしれない)traitを満たすのは、impl文で明示的にコンフォーマンスを取るけど

3:54 AM

Goのやつはcontract文としてそれが通るか？みたいなチェックをするっぽい

3:55 AM

型クラス相当の事はできるのかなあ contractの引数に対して更にcontract制約をかけられないとダメな気がする？

3:56 AM

よくわからないけどこれまでの言語のどれとも違う仕様っぽくて興味深いですね (edited)