<div class="chatlog__message-group"> <div id="chatlog__message-container-432914722287910913" class="chatlog__message-container" data-message-id="432914722287910913"> <div class="chatlog__message"> <div class="chatlog__message-aside"><img class="chatlog__avatar" src="https://cdn.discordapp.com/avatars/293572563010060288/92f572b5e1ef6656a55498787c15a5ad.png?size=512" alt="Avatar" loading="lazy"></div> <div class="chatlog__message-primary"> <div class="chatlog__header"><span class="chatlog__author" style="color:rgb(231,76,60)" title="tarunon" data-user-id="293572563010060288">tarunon</span> <a href="/channels/375206337937801216?category=main&channel=swift-zatsu&message_id=432914926382612480"><span class="chatlog__timestamp" title="Monday, April 9, 2018 2:48 PM"></span></a><a href="#chatlog__message-container-432914722287910913">4/9/2018 2:48 PM</a></div> <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">RealNumber > SubField > Subring > AddativeSubgroup</span></div> </div> </div> </div> <div id="chatlog__message-container-432914878475403275" class="chatlog__message-container" data-message-id="432914878475403275"> <div class="chatlog__message"> <div class="chatlog__message-aside"> <div class="chatlog__short-timestamp" title="Monday, April 9, 2018 2:49 PM">2:49 PM</div> </div> <div class="chatlog__message-primary"> <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">ここで、AddativeSubgroupはSuperの+を使えるので、それならコンパイラから見たら同じprotocol extensionじゃないかな?と思った次第</span></div> </div> </div> </div> <div id="chatlog__message-container-432914926382612480" class="chatlog__message-container" data-message-id="432914926382612480"> <div class="chatlog__message"> <div class="chatlog__message-aside"> <div class="chatlog__short-timestamp" title="Monday, April 9, 2018 2:49 PM">2:49 PM</div> </div> <div class="chatlog__message-primary"> <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">実際はちゃんと静的な定義がありました</span></div> </div> </div> </div> </div>