161 followers
@mod_poppo [Dreye & Blume 2007] https://t.co/pRN5dFQzai の1.2節"Abstract Data Types and Dependencies"も読むとよいです: Definition的には拒絶するのが正しいですが、受理するようにしても型安全であるだけでなく、実装が簡単になるという利点があります
@mod_poppo [Dreye & Blume 2007] https://t.co/pRN5dFQzai の1.2節"Abstract Data Types and Dependencies"も読むとよいです: Definition的には拒絶するのが正しいですが、受理するようにしても型安全であるだけでなく、実装が簡単になるという利点があります