Conversation

Notices

1. ( ᐛ) まりなっピ (sasanquaneuf@qiitadon.com)'s status on Tuesday, 09-Oct-2018 13:17:07 JST ( ᐛ) まりなっピ

   オブジェクト指向に関する現実世界の話でいつも思うのは、みんなの生きてる世界にはModelとかViewとかControllerとか、あるいはStoreとかServiceとか、そういうものがありふれているんだろうか。
   私の住む世界には、そういう者たちは居ないので、私もはやくそういう妖精たち（？）が沢山現実世界に居るような世界に行きたい。

   • なのやつ and カバ repeated this.
   • ( ᐛ) まりなっピ (sasanquaneuf@qiitadon.com)'s status on Tuesday, 09-Oct-2018 13:22:36 JST ( ᐛ) まりなっピ

     in reply to

     文法の意味を現実世界になぞらえて理解することや、システムの設計自体を現実世界になぞらえて理解するのは、それはそれで意味があると思うけど、一方でプログラミングするという作業で出来上がるものに関して、その素朴な計算過程は、現実世界の対象の構造とは必ずしも同じでないと思う。
     例えば機能的にはChurchの構成によって、ラムダ計算の中で自然数を再現できるけど、そういうのを現実世界の何かと概念的に厳密に対応させようとすると、凄くしんどいと思う…