Monad

The ideal monad under the application of nonstandard model saturation

理想单子在非标准饱和模型下的若干应用

The monad of the uniform structure and its applications

一致结构的单子及其应用

Construction of a Simple Reflect Language Interpreter Based on Monad

一种基于Monad反射语言解释器的构造

An Automatic Generation Technique for Monad

Monad的一种自动生成技术

Furthermore the history of monad concept was tentatively investigated about which no study had been found at least in Chinese Mainland .

此外，还对单子概念的历史发展进行了初步探讨，至少在国内尚未见到有关研究。

We haven 't used the state monad , but there are lots of other useful monads .

我们没有使用过statemonad，但是用过许多其他很有用的monads。

In this paper an automatic Monad generator from other style of Monad is designed and implemented in Haskell .

鉴于这种思想，用支持Monad程序设计的高阶函数语言Haskell实现了一个Monad的自动生成系统。

The nonstandard characteristic of Cauchy net and the family of sets including small sets are presented by the monad of the uniform structure .

利用一致结构的单子给出了Cauchy网及含小集集族的非标准特征。

Since Pythagorean put forward the concept of monad , then indivisibles have appeared in mathematics lasted for twenty-five hundred years or more .

自公元前六世纪毕达哥拉斯在数学中提出单子概念开始，数学中就出现了不可分量的概念。

The paper offers the numeration of simultaneous confidence regions of ( 1 - α) % of monad linear regression coefficient β 0 , β 1 .

本文只用基本的统计理论，给出了一元线性回归系数β0，β1的（1-α）%的联合置信区间的计算方法。

The experiment showed that ISSR marker could distinguish the difference of monad strains to avoid the blindness and repetitiveness and to effectively reduce the workload .

说明ISSR分子标记可以鉴别出单孢菌株的差异，从而避免杂交工作的盲目性和重复性，有效减少杂交工作量。

In order to avoid the result of egoism , Husserl put forward how the transcendental monad constructed the other ego als intersubjective equal fellow .

为了避免此种唯我论的困境，胡塞尔提出超验单子论的自我如何将其它自我作为主体间的平等伙伴建构出来。

I suppose it would be cool if Rich opened up the reader , it might help out for creating nice syntax for things like the pattern matching and monad implementations .

如果Rich开放该reader，我想一定很酷，或许这将帮助为模式匹配和monad实现创建良好的语法。

Secondly , teachers ' consciousness appears as oppressive consciousness and separate consciousness in fact and both of them are monad consciousness . There is I-It relation in nature .

第二，教师意识的实然状态主要显现为压迫意识和分离意识，两者皆为单子意识，本质上是我-它关系。

Post-Modern agnosticism stressed the monad of subject world by attempting to transcend the dichotomy of subject and object , which is an extreme agnosticism .

现代不可知论在试图超越主客二元分立的认识方式的基础上，强调主体世界的一元性，而走向一种彻底的不可知论。

I am not a monad master by any means , but I feel similarly about mondads as I do about multi-methods and macros .

我不能算是精通monad，但是我觉得mondads和multi-methods及macros都差不多。

This paper defines the purely functional channel system operations based on a monad which is combined a state transformer monad with a exception monad . The operational semantics of channel system operations have been given for using .

该文通过组合状态转换Monad和异常处理Monad来定义纯函数式语言通道系统操作，给出了通道系统操作的操作语义。

In order to resolve the I / O problem in pure functional language , we can use the way of Monad ' putting the I / O into the programming language . This way can keep the advantage of functional programming language .

为了能够较好地处理函数式程序设计语言中的IO问题，通过采用Monad方法将IO加入到函数式程序设计语言中，来保持函数式程序设计语言的优点。

This paper discusses the definition of a complete functional I / O file system based on the state transformer . Using a nondeterministic Monad , we construct the process networks of operating systems . And the semantics of channel system have been given for using -

本文通过状态转换器来定义I/O的文件系统，并用非确定性Monad描述了操作系统的进程网，从而给出了通道系统的语义。