Modular monadic slicing for programs with Pointers.
含指针程序的模块单子切片。
Of course, the monadic approach to IO has its disadvantages.
当然，IO单子的方法有其自身的缺点。
In this paper we analyze the relation of some special domains and its monadic polynomial rings.
给出一些特殊的整环与它的一元多项式环之间的关系。
Because traditional program slicing methods lack modularity and flexibility, we had proposed a new formal method for program slicing-modular monadic slicing.
因目前切片方法缺乏模块性和灵活性，我们实验室曾提出一种新的形式化切片方法——模块单子切片。
Likewise, a monadic programming style enables us to encode exceptions and state in a legible, compositional manner.
类似地，单质编程风格帮助我们用一种清晰的、组合的方式来描述异常和状态。
Likewise, a monadic programming style enables us to encode exceptions and state in a legible, compositional manner.
类似地，单质编程风格帮助我们用一种清晰的、组合的方式来描述异常和状态。
应用推荐