單子語義（monadic semantics）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名：單子語義
- 外文名：monadic semantics
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
用單子方法對程式語言系統進行語義解釋。
出處
《計算機科學技術名詞 》第三版。
單子語義
相關詞條
- 單子語義
單子語義（monadic semantics）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義用單子方法對程式語言系統進行語義解釋。出處《計算機科學技術名詞 》第三版。1...
- 模組單子語義
模組單子語義 模組單子語義（modular monadic semantics）是2018年公布的計算機科學技術名詞。定義 通過使用單子和單子轉換器來描述程式的語義性質。出處 《計算機科學技術名詞 》第三版。
- 指稱語義
Montague文法是英語的理想片段的某種形式的指稱語義。同其他計算機科學領域的聯繫 某些指稱語義的著作把類型解釋為域理論意義上的域，因而可以被看作模型論的分支，導致了同類型論和範疇論的聯繫。在計算機科學內與抽象釋義、程式驗證和函式式編程有聯繫，參見函式式程式語言中的單子(monad)。特別是，指稱語義使用了續體...
- Haskell
單子是一個抽象類型，可以表達不同種類的計算，包括異常處理、非確定性、語法分析以及軟體事務記憶體，其中一個套用是用於表達副作用的類型。單子定義為普通的數據類型，同時Haskell也為其提供了幾種語法糖。Haskell有一個活躍的社區，線上上包倉庫Hackage上有豐富的第三方開源庫或工具。語法 數據類型 Haskell是強類型語言...
- BOM表
1）重疊空間（Overlapping Spaces）不同套用域的兩個BOM視圖空間，會出現視圖屬性重疊，在重疊區域視圖屬性具有相同語義。2）投影空間（Projection Spaces）一個BOM視圖空間是由另一個BOM視圖空間的投影空間，如原材料採購BOM視圖（BOM View）空間和外購件採購BOM視圖空間是採購BOM視圖空間的投影空間。3）組合空間（...
- 哲學流派
（萊布尼茨）（世界由性質連續的“單子”組成，包括精神和物質，都是“單子”覺醒程度不同的表現）經驗論（經驗主義）（洛克）（經驗是知識的唯一來源，物質有第一性質和第二性質，前者在物本身，後者則是知覺產物）（休謨）（最初知覺是知識的唯一來源，時空和因果都是知覺的產物）（貝克萊）（存在就是被自我感知...
- 中文切詞
例如：機械工程，基本語義單元為“機械”和“工程”，如果按單子切分為“機”、“械”、“工”、“程”，則這些單字不符合人對中文語義的理解，因此不符合需求。分類方法 基於字元串匹配的分詞方法 這種方法又叫做機械分詞方法，它是按照一定的策略將待分析的漢字串與一個 “充分大的”機器詞典中的詞條進行配，若...
- 唯心主義
Besitz在語義上要求一個賓語，以表示“對……的占有”。這個邏輯賓語在文中由Macht（權力）一詞承當。所以，對照頁中的法譯文把Besitz譯為及物動詞Posséder（占有）。Bestiz被馬克思用來描述這樣一個歷史過程：社會權力最初並不是行使權力的那個分工集團的私有物，該集團卻利用履行社會職能的機會“占有”了這個權力，...
- 同音詞
同音詞的大量存在也使得許多人在漢字的書寫上出現眾多的別字。例如將“唉聲嘆氣”寫成“哀聲嘆氣”，將“一籌莫展”寫成“一愁莫展”，將“川流不息”寫成“穿流不息”等，這自然與書寫者對詞語語義的理解不明有關，而這種理解不明不能不說很大一部分是由同音詞造成的。同音詞的大量存在更給信息的現代化帶來...
- 皇(漢語文字)
《春秋·昭公二十二年》:“劉子單子以王猛居於皇。” (Huáng)姓氏用字,參看“皇姓”。 動詞 〈文言〉用同“匡”。匡正。 correct 《詩經·豳風·破斧》:“周公東征,四國是皇。” 《穆天子傳》卷五:“皇我萬民,旦夕勿忘。” 連詞 〈文言〉用同“況”。表示進層的意思。 《尚書·秦誓》:“我皇多有之...
- 翻譯專業名著名譯研讀本6:哈姆雷特
因此．我主張靈活地譯素詩體，放寬翻譯的限制，不再拘泥音步或頓數，而是適當講究節奏感和音節輕重，不排除行中韻和尾韻．適當控制句子的轉行和每一行的長短，使其勻稱、美觀、自然：同時，允許採用某些自由詩的排列原則，避免隨意折行的混亂和彆扭：關注語義翻譯基礎上漢語語言本身的文學性、表現力、個性化、風格化等...
- 魔力Haskell
9.3.1 標記語義、常態和弱常態 87 9.3.2 seq和deepseq 90 第 10章 模組語法以及cabal、Haddock 工具 94 10.1 模組語法 94 10.2 使用cabal 96 10.2.1 使用cabal安裝依賴 96 10.2.2 項目的cabal配置 98 10.3 Haddock 101 第 二部分 重要的類型和類型類 第 11章 函子 107 11.1...
- 微觀管理
菲德勒運用LPC評分表來測定領導者的兩種動因系統，LPC表上具有雙極的語義差別標度，可以請領導者回想所有曾經與他共同工作過的人，並對其中最難相處的人加以描述，從而進行評分。一般地說，以任務為動因的領導對其難以相處的下屬進行描述時，往往使用非常消極、否定的字眼。因為在他看來，工作做不好的人，其個性是討厭...
- 知識論(哲學分支學科)
如一命題的分析性不僅來自其形式，也來自非邏輯詞項的意義，則該命題是語義分析命題。如：所有的單身漢都是未婚的。語義分析命題可以通過定義替代轉變為句法分析命題。如將單身漢定義為“未婚成年男子”，替代得到句法分析命題“所有的未婚成年男子都是未婚的。”綜合陳述，主語與謂語相互獨立。如我父親的弟弟超重。由於...
- 主體生成論:對主體死亡論之超越
三、繆勒對Mar和clax語義學解讀：原始人的“前反思意識 四、特朗普的“生存說”、“群體合作”和“群體衝突 第二節奴隸社會的“團體意識”及其與“個體意識”的張力 一、個體意識的萌生：從德謨克利特到普羅塔哥拉和蘇格拉底 二、柏拉圖的“正義論”與“賢人政體”(“哲學王”)三、亞里士多德的“幸福論”、“人性...
- 紅狐叢書:橄欖林的黃昏
《紅狐叢書 · 橄欖林的黃昏：語義和營養》[西班牙]詹瑪·歌爾伽 Jesús Sayols 譯 目錄：石 語義和營養 房子 洗禮 小故事 遊樂場 柏林的天空 長途 一位婦女 選自《分鐘書》生長的方向 單子 戰後 失蹤 《紅狐叢書 · 橄欖林的黃昏：玫瑰變奏曲》[葡萄牙]努諾·朱迪斯 姚風 譯 目錄：童年 動物學：烏鶇 階級...
- .NET並發編程實戰
10.2.5 使用Result類型保留異常語義 294 10.3 在異步操作中控制異常 298 10.3.1 F#使用Async和Result 建模錯誤處理 302 10.3.2 使用monadic運算符bind擴展F# AsyncResult類型 304 10.4 使用函式式組合器抽象化操作 308 10.5 函式式組合器概要 309 10.5.1 TPL內置異步組合器 ...
- 中華取名網
在中華取名網語言命名研究中心Language & naming Research Center提取名稱想要表達訊息的可能語素，結合這些語義，運用存貯各種語言和構思的資料庫，進行有效率的命名開發，通過商標資料庫進行網路同語確認，提供戰略化的命名方案，並衡量在現有定義和用法，專門編制中文單子小詞典。◆名稱庫；按含義、種類、法律地位排列；◆...
- 符號分析
他的繼承者丹麥語言學家葉爾姆斯列夫(1899-1956)通過其《語言學理論導論》和《語言論集》兩本著述，為後來的結構語義學的建立奠定了認識論基礎。法國語言學家本維尼斯特(1902-1976)有關“陳述活動語言學”的研究成果，使得符號學藉助於敘述主體的陳述來掌握意義成為可能，從而形成了話語符號學的概念和研究方法，因此也...
- 預處理器
因為它在編譯階段前就進行了。類似地，靜態檢查、類型安全正規表式或代碼生成可能透過宏被加入到OCaml的語法和語義里，如同微執行緒（亦稱為協程或fibers）、單子或透明的XML操作。作為模板引擎的預處理器 任何“一般目的預處理器”，例如M4，都可以當成模版引擎（template engine）使用。
- 主體生成論
三、繆勒對Mar和clax語義學解讀：原始人的“前反思意識 四、特朗普的“生存說”、“群體合作”和“群體衝突 第二節奴隸社會的“團體意識”及其與“個體意識”的張力 一、個體意識的萌生：從德謨克利特到普羅塔哥拉和蘇格拉底 二、柏拉圖的“正義論”與“賢人政體”（“哲學王”）三、亞里士多德的“幸福論”、“...
- 陳中毅(南京信息工程大學外國語言學研究中心副主任)
5. 中國英語專業本科生議論文寫作中wh-結構的使用特徵研究，核心期刊《天津外國語大學學報》，2017年第2期。6. “NP1是NP2”等於“NP2是NP1”嗎?——基於摹狀詞理論的語義分析，核心期刊《西華大學學報》，2017年第2期。7. 語段理論下的 WH-移位限制研究，核心期刊《西華大學學報》，2014年第3期。
- 澹生堂集
壽方伯王積齋八袠序 劉行素先生七袠序 賀竹居宗正七袠序 公賀郡司理李泰寰公祖壽誕序 壽封司寇大夫胡太翁八袠序 壽見塗潘先生八袠序 壽靖江少尹殷征叔序 壽王母任太安人八袠序卷之九（跋引題書事後） 跋文信國手札後 跋羅念庵先生集選後 跋侍御方魯岳田居乙記後 跋鄒南皋先生語義合編後 跋畢東郊先生管...
- 函式式反應式編程
函式式反應式編程自1997 年 FRP 被提出以來，它產生了多種形式。其中一條多樣性的坐標軸是語義從離散到連續。 另一條軸是 FRP 系統可以如何被動態地更改。如事件驅動 FRP 和 Elm 0.17 版本之前的形式那樣，它們要求更新過程是離散的，且由事件驅動。這些形式在 FRP 的實踐中被加以推崇，它們專注於擁有簡單 API...
- 內態MTL-代數簇及其套用研究
《內態MTL-代數簇及其套用研究》是依託陝西師範大學，由賀鵬飛擔任項目負責人的青年科學基金項目。項目摘要 MTL-代數是基於左連續三角模的邏輯系統MTL對應的語義代數，內態是模糊邏輯中機率模型的代數化形式。本項目通過探討MTL-代數上的內態，研究內態MTL-代數簇的結構，構建內態MTL-代數簇對應的邏輯推理系統，旨在將...
- 老闆不能對員工說的50句話
不能對員工說的第31句話：他的能力比你強，所以這個單子由他來接手 49 不能對員工說的第32句話：幫我了解一些他的事 50 不能對員工說的第33句話：你們之間要互相監督 51 不能對員工說的第34句話：你們到底支持誰 53 不能對員工說的第35句話：你不努力，我就升他當經理 55 第八章 語義模糊，態度不...
- 西方哲學初步
回到語言的家 一、維根斯坦：一個教人沉默的哲學家 二、硬心腸的維也納學派 三、在語詞叢林中漫遊 四、普通語義學：用標點符號表達哲學思想 第十六章 大熔爐煅造出的走廊哲學 一、皮爾士：走在時代前面的人 二、詹姆士：“有一點兒用處，就有那么一點兒意義”三、動手的哲學杜威 後記一 後記二 增補版後記 ...
- 比較公民教育視域下的參與式公益研究
一、構建參與式公益的網路語義關聯 二、在構建語義關聯中培育德性公民 三、構建參與公益網路命運共同體 結語 通過參與式公益培育中國特色社會主義新時代公民 一、要揚棄西方公民教育 二、要開展中國特色社會主義公民教育 三、要培育學會參與公益的中國特色社會主義公民 參考文獻 附錄 作者發表的重要論文與本書的關聯章節 後...
- 文化研究關鍵字(2007年江蘇人民出版社出版的圖書)
意識形態國家機器 隱喻借喻 永恆輪迴 憂鬱 遊牧 有機知識分子 語言轉向 語義學 欲望 欲望機器 寓言 元歷史 元敘事 怨十艮 Z 在場/缺席 褶子 陣地戰 震驚 政治無意識 症狀閱讀 知識考古學 知識型 主奴辯證法 主權 主體/客體 資本/資本主義 自然之鏡 自由 自由主義 蹤跡 總體性 族裔 作者之死 術語對照表 ...
