| 单词 | monad |
| 释义 | BETA Examples ofmonadDictionary> Examples ofmonad monadisn’t in the Cambridge Dictionary yet. You can help! Add a definition Similar remarks apply to each of the monads appearing in this paper. From theCambridge English Corpus Satisfaction of themonadlaws is, however, not enforced by the compiler. From theCambridge English Corpus The type checkingmonadis just a combination of a state and errormonad, and it interacts with a parsingmonad. From theCambridge English Corpus We can incrementally construct these terms and interpret them as computations in the statemonad. From theCambridge English Corpus Is there any way of characterising the algebras for thismonad? From theCambridge English Corpus We note at once that we cannot expect every taut presentation of a shapedmonadto be shaped. From theCambridge English Corpus Any shapelymonadadmits amonadmap to lists that assigns its list of members. From theCambridge English Corpus However, we will see that some examples of collectionmonaddo not have an obvious equational presentation. From theCambridge English Corpus The next result establishes constraints for any equational presentation of a zippedmonad. From theCambridge English Corpus This leads to a theory of divergences from which a notion of (computable) partial function is derived together with a liftmonadclassifying partial functions. From theCambridge English Corpus We can now characterize those monads with commutative strength as follows. From theCambridge English Corpus In fact, no exactness is required of the local monads in this case. From theCambridge English Corpus In general, operations that work on one specificmonadcan be lifted into the new, extendedmonad. From theCambridge English Corpus In category theory, non-determinism and probability are represented by suitable monads. From theCambridge English Corpus In other words, a classifyingmonadis effective if it is the partial map classifier for a category of partial maps. From theCambridge English Corpus The system of monads should be taken as the metaphysical model of the best of all possible worlds. From theCambridge English Corpus We can give explicit criteria of a more elementary sort providing a characterization of morphisms that are lax monads. From theCambridge English Corpus The following three equations express the laws required of amonad. From theCambridge English Corpus These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。