monadic，英語單詞，主要用作形容詞，作形容詞時譯為“單細胞生物的；單孢體的”。
一元方程(monadic equation)是一種最簡單的方程，指含有一個未知數的方程，更確切的意義是：如果一個方程中，有若干個字母，當把其中某一個字母當成未知數，而把其餘字母當成已知數時，方程就稱為該字母的一元方程。在討論多元方程時，也可以出現除一個元外，含有其他各元的項的係數均為零而成為一元方程的情形。...
單子語義 單子語義（monadic semantics）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義 用單子方法對程式語言系統進行語義解釋。出處 《計算機科學技術名詞 》第三版。
精確性一元謂詞(monadic predicates of dis- tinet)是邏輯學的一個概念。概念 精確性一元謂詞，邏輯學的一個概念.任給一個一元謂詞或性質屍，若對任何對象x而言，總能明確判定它要么滿足該性質屍，要么不滿足該性質屍，亦即不存在不能明確判定其是否具有性質屍的對象，則稱該性質屍為精確性一元謂詞.反之，如果存在...
一元邏輯 一元邏輯（monadic logic）是2018年公布的計算機科學技術名詞。定義 只含有一元謂詞的邏輯系統。出處 《計算機科學技術名詞 》第三版。
首先介紹了經典的函式式模型Monadic，然後基於jQuery等工具梳理了在函式式編程的影響下前端工具形態的演進，最後基於熱門框架RxJS和React Hooks分析了函式式思想對它們以及整個前端領域的影響。*第③部分（第8、9章） 總結 首先總結了前端開發的核心複雜度和函式式思想的作用，並探討了前端工程化相關的內容；然後梳理了...
Common Monadic Forms 41 Flag Arguments 41 Dyadic Functions 42 Triads 42 Argument Objects 43 Argument Lists 43 Verbs and Keywords 43 Have No Side Effects 44 Output Arguments 45 Command Query Separation 45 Prefer Exceptions to Returning Error Codes 46 Extract Try/Catch Blocks 46 Error ...
用作形容詞譯為“ [數] 一元的”。短語搭配 unary form [數] 一元形式 ; [數] 一元型 unary relation 一元關係 unary optimization 單值最佳化 單詞用法 柯林斯英漢雙解大詞典 unary /ˈjuːnərɪ/ 1.ADJ consisting of, or affecting, a single element or component; monadic 一元的 ...
（2） The Monadic Mind – D8 （The Meta-Galactic Core）（3） The Keriatric Mind.統一地稱為Causal Mind。代表行星（Planetary）的心智母體。或者行星的標籤。超靈，UH-3 本體，在UH-2 建立12個靈魂本體，每個靈魂本體在UH-1的6 個周期內建立12 化身本體。 因此每個超靈家族是有著144個化身的家庭，每...
偽相等代數上引入並研究了廣義態運算元，得到了一系列更一般的結果；引入並研究了剩餘格、有界超格、EQ-代數等邏輯代上的導子，討論了導子與內態的關係，研究了導子不動之集的性質和結構；利用導子及其不動點集刻畫了相應代數的結構；引入並研究了MTL-代數上Very true 運算元;引入並研究了有界Hoop代數上的Monadic...
模組單子語義 模組單子語義（modular monadic semantics）是2018年公布的計算機科學技術名詞。定義 通過使用單子和單子轉換器來描述程式的語義性質。出處 《計算機科學技術名詞 》第三版。
如：我們希望研究刪點操作對樹寬度的影響；針對程式語言的研究，我們試圖給出樹寬度有界圖的公理系統；為了理解monadic二階邏輯(MSO)的表達能力，我們計畫考察獨立於序的MSO。結題摘要 本項目的主題是參數複雜性、SAT求解器和樹寬度的研究，其總體目標是利用參數複雜性的觀點來分析一些基於邏輯和圖論問題比經典複雜性更...
35.MonadicityofInj_0 overTop,D. Zhao andB. Zhao,J. Math. Res. Exposition, vol. 20(4), pp. 475 – 482, 2000.MR1795408(2001h:18006).36.Moore-Smith limits and theHenstockintegral,G. I.June, P. Y.Lee and D. Zhao,Real Analysis Exchange, Vol. 24(1), pp. 447 – 455, 1998/...
此時，已作出了各種各樣的單目(monadic)、雙目(dyadic)函式，為統一句法，按照語言的格式進行了各種規整，如設法使絕對值的記|X|定為|X等。但是，那時APL還未能成為可以在計算機上運行的語言，始終是用於算法和邏輯設計的紙上語言。APL能在現實的計算機上運行，是1964年以後J.Lawrence，H.Hellerman等人在工具語言...
5.4 Monadic鏈式調用及 組合 126 5.5 總結 131 第三部分 函式式技能提升 第6章 堅不可摧的代碼 135 6.1 函式式編程對單元測試的影響 136 6.2 測試命令式代碼的 困難 137 6.2.1 難以識別和分解任務 137 6.2.2 對共享資源的依賴會導致結果不一致 138 6.2.3 按預定義順序執行 139 6...
Common Monadic Forms Flag Arguments Dyadic Functions Triads Argument Objects Argument Lists Verbs and Keywords Have No Side Effects Output Arguments Command Query Separation Prefer Exceptions to Returning Error Codes Extract Try/Catch Blocks Error Handling Is One Thing The Error.java Dependency Magnet Don...
[3] 李永明，基於量子邏輯的有窮自動機與單體二階量子邏輯,中國科學 F輯：信息科學,39（11）（2009），1135-1145. (Finite automata based on quantum logic and monadic second-order quantum logic, Science China Information Sciences，53(1)(2010), 101-114.）[4] Li Y.M., Li S.J., A fuzzy sets...
8.4.2 Task是一個monadic容器 232 8.5 基於任務的異步編程：案例研究 235 8.5.1 異步取消 240 8.5.2 帶有monadic Bind運算符的基於任務的異步組合 244 8.5.3 延遲異步計算以實現組合 245 8.5.4 如果出現問題，請重試 246 8.5.5 異步操作的錯誤處理 247 8.5.6 ...
Jscex是“JavaScript Computation EXpression”的縮寫，它為JavaScript語言提供了一個monadic擴展。Jscex完全使用JavaScript編寫，能夠在任意支 持ECMAScript 3的引擎里使用（例如各瀏覽器或Node.js）。Jscex的JIT編譯器能在運行時將JavaScript代碼編譯成Monad形式，無需額外編譯步 驟，並內置異步編程類庫，可以大大簡化...
《模型驗證的一類新工具及複雜性研究》是依託上海交通大學，由沈恩紹擔任項目負責人的面上項目。項目摘要 開發一類新的形式化框架，它們既保留目前常用的非經典邏輯所具有的良好性質，且在表達能力上突破現有的框架的Monadic及“齊次”的局囿，並能允許有effective 模型驗證。這將為真正直接地刻劃與分析並發與分散式過程...
第4章 Monadic編程和它的範疇理論 4.1 Monadic編程簡介 4.2 函子和它的基礎實例 4.3 套用函子 4.4 Maybe實現類 4.5 Either函子 4.6 么半群 4.7 單子：自函子範疇上的么半群 4.8 函式回響式編程 4.9 案例和代碼 4.10 本章小結 第5章 函式式工具形態演進 5.1 jQuery和鏈式調用 5.2...
11.3 Monadic組合子 11.4 單子定律 11.4.1 結合法則 11.4.2 為指定的monad證明結合法則 11.4.3 單位元法則 11.5 什麼是monad 11.5.1 identity monad 11.5.2 狀態monad和partial type application 11.6 小結 12可套用和可遍歷函子 12.1 泛化單子 12.2 Applicative trait 12.3 單子與可套用函子...
第7章 Monadic編程 119 7.1 鏈式調用 119 7.1.1 Promise 120 7.1.2 高階Promise 122 7.2 Monad 123 7.2.1 函子（Functor） 123 7.2.2 Applicative Functor 126 7.2.3 含么半群（Monoid） 130 7.2.4 Monad就是容器界的管道 132 7.2.5 Monad就是自函子範疇上的一個么半群 136 7.3 走...
Auto Properties With Initializers）主構造函式（Primary Constructors）Static Using Statements 聲明表達式(Declaration Expressions)屬性表達式(Property Expressions)和方法表達式(Method Expressions)異常處理改進 Null檢查運算符（Monadic null checking）其他數字文本格式 Params for enumerables 最後 ...
Monadic Collections Option Collections Try Collections Future Collections Summary Exercises Part Ⅱ.Object-Oriented Scala 8. Classes Defining Classes More Class Types Abstract Classes Anonymous Classes More Field and Method Types Overloaded Methods Apply Methods Lazy Values Packaging Accessing Packaged Classes ...
functional programming 18.6 Example: monadic computation over trees ……19 Domain-specific languages 20 Time and space behaviour 21 Conclusion Appendices A Functional,imperative and OO programming B Glossary C Haskell operators D Haskell practicalities E GHCi errors F Project ideas Bibliography Index ...
實現了對應的Kac-Moody代數上Tits自同構和相應的量子包絡代數Lusztig對稱。指出有限域上Dynkin箭圖和tame箭圖的有限維冪零表示的有界導出範疇的導出Hall數是域的元素個數的有理函式，推廣了已知結果。給出了Beck的monadicity定理關於Abel範疇的版本，導出不同的tubular型的加權射影線上凝聚層範疇之間的協變化。
