Conversation

Notices

1. ( ᐛ) まりなっピ (sasanquaneuf@qiitadon.com)'s status on Saturday, 04-Aug-2018 14:01:38 JST ( ᐛ) まりなっピ

   計算機科学的な共変・反変は、よく出てくるのはジェネリクス（総称型）とかの文脈ですね
   Super/Subの親子関係について、逆転するような関係を許すジェネリクスが反変、元と同じ親子関係のみを許すジェネリクスが共変
   これが易しそう
   https://ufcpp.net/study/csharp/sp4_variance.html

   • scivola@qiitadon.com's status on Saturday, 04-Aug-2018 14:07:04 JST scivola

     in reply to

     @sasanquaneuf 「易しそう」の文献に三秒で撃沈。
     ばなないぬさんの一行説明はすげーヒントになりそう。

     まずジェネリクスとゆーのが，えー，やっぱ薬は安いほうがいいです，くらいの認識です。

     ( ᐛ) まりなっピ repeated this.
   • ( ᐛ) まりなっピ (sasanquaneuf@qiitadon.com)'s status on Saturday, 04-Aug-2018 14:16:24 JST ( ᐛ) まりなっピ

     in reply to

     「プログラミングで」と付けるべきだったかも（関手の共変・反変はもっと別の文脈でも沢山出てくる…けど、反変関手は余圏の関手と思うのかなと）