これを Swift で書こうとして無理だと悟って休日が終わりました。はぁ…。
はやく protocol 宣言に型変数をかけるようになってほしい。

Self = A を表現する言語機能が Swift には足りていないのが原因かなと思います。その部分を妥協するとしたら普通に Phantom Type 的な解決法として以下のような具合になるのかなぁと思います。

もちろん hogeId + 456 なんてものはできないですね…。残念。
しかも以下のようなことはできない。

ため息しかでない。

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です