你可以之后再实现它：共函子作为部分实现
You may implement this later: Cofunctors as partial implementations
中文总结 AI 辅助
该研究提出将共函子（逆函子）解读为部分实现，用于在系统组装时延迟后端选择，这一概念解读此前未被提出。
中文摘要 AI 辅助
函子是一种常见的实现模型，规范中的每个操作都在一开始就被赋予具体实例化。但有些任务不那么急切：我们常希望在组装系统时，将数据表示和算法等后端选择留到后续。我们发现共函子（也称为逆函子）可直接解读为这类部分实现，即额外参数为依赖状态的延迟选择族的实现。共函子并非新概念，但以这种方式进行概念和目的上的解读似乎是首次提出。
英文摘要
A functor is a familiar model of an implementation, where every operation in a specification is assigned a concrete instantiation at the outset. But some tasks are less eager: we often want to assemble systems while leaving backend choices such as data representations and algorithms for later. We observe that cofunctors admit a direct reading as such partial implementations, which are implementations whose extra argument is a state-dependent family of deferred choices. While cofunctors (also called retrofunctors) are not novel, their conceptual and purposive reading in this manner appears to be.
