RealNumber > SubField > Subring > AddativeSubgroup

2:49 PM

ここで、AddativeSubgroupはSuperの+を使えるので、それならコンパイラから見たら同じprotocol extensionじゃないかな?と思った次第

2:49 PM

実際はちゃんと静的な定義がありました