I then showed how coarse-grained mechanisms, based on categorytheory, that allow you to leverage the code written (and debugged) by the language designer to solve problems.
之后,我还展示了基于范畴论的粗粒度的机制,它可以让您利用语言设计者所写(和调试)的代码来解决问题。
3
Aim CDT (categorical data type) is a parallel model basing on categorytheory, and this paper discusses the CDT construction of the memory type in details.