ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
這場辯論引起了至少兩個諷刺性的互聯網都市傳說。 2001年，美國諷刺報紙''《洋蔥報》''發表了一篇題為《哈利·波特在兒童中引起撒旦教的興起》的文章，稱“撒旦教大祭司”將''哈利·波特''描述為“我們事業的天賜之物”。 這篇文章被復制成一封連鎖信，并在基督徒之間流傳，作為他們觀點的“證據”。 次年，加拿大日報《''國家郵報》在其諷刺專欄 Post Morten 中''發表了一篇類似的惡搞文章，稱“羅琳——或者，今后將被稱為JK撒旦夫人——她說，在一個灰蒙蒙的日子里，她坐在一家咖啡店里，想著如何度過自己空虛、漫無目的的生活，她突然想到，“我將把自己的身體和靈魂獻給黑暗大師。而作為回報，他會給我荒謬的財富和權力，戰勝世界上的弱者。他做到了！'”這篇文章也被復制成連鎖信，并作為“真相”發布到網絡上。
2009年，美國總統喬治·W·布什的前演講撰稿人馬特·拉蒂默(Matt Latimer)聲稱，在布什政府時期，“白宮人士”否認羅琳獲得總統自由勛章，因為這些書“鼓勵巫術”。
雖然一些福音派基督徒認為''哈利波特''與撒旦教有關，但 2000 年的一項民意調查表明，這一立場仍然是少數人的觀點。聽說過這些書的美國人中，有 7% 對它們持負面看法，其中 52% 持正面看法，其余 41% 不確定。 相比之下，33% 的美國人認為自己是福音派而 39% 的美國人理解圣經。  2001 年，新墨西哥州的阿拉莫戈多基督社區教堂燒毀了數百本哈利波特書籍。教會領袖杰克布洛克（Jack Broke）說，這些書令人憎惡，因為它們鼓勵孩子們研究神秘學。他和他的追隨者承認他們從未讀過其中任何一本書，并加入了一些斯蒂芬金的小說。委內瑞拉學者費爾南多·貝茲（Fernando Baez）在一項關于審查制度和書籍銷毀歷史的研究中評論說：“就算無法獲得城市焚書許可證，銷毀書籍的方法不止一種，緬因州劉易斯頓的道格拉斯·泰勒（Douglas Taylor）舉行了幾次年度聚會，在會上他用剪刀剪壞了這系列的書。”
也有一些福音派人士支持波特的書：福音派作家康妮尼爾（Connie Neal）在她的書中， ''《哈利波特與基督徒有什么關系？》'', ''《哈利波特的福音》'', 《和''巫師、衣櫥和伍基人：在哈利波特、納尼亞和星球大戰中駕馭善與惡》'' 中寫道，這些書宣揚基督教價值觀，可以使用來教育孩子基督教教義。 ''Cornerstone''雜志的麥克赫滕斯坦（Mike Hertenstein）在他的文章《哈利波特大戰麻瓜，神話，魔法與歡樂》中使用了書中用來描述非魔法人類的術語“麻瓜“來描述沒有想象力的基督徒。 ''今日基督教''在2000年1月公布的贊成書社論，稱該系列為美德書，并稱盡管”現代巫術是一種誘人的偽宗教，我們必須保護我們的孩子免其侵害”，但這并非是包含“同情、忠誠、勇氣、友誼甚至自我犧牲的精彩例子”的哈利波特系列。 意大利衛理公會牧師彼得·恰喬（Peter Ciaccio）分析了羅琳的作品與基督教神學之間的關系，指出《哈利·波特》系列是猶太基督教傳統與西方文化遺產（即凱爾特人、北歐人和古典）相遇的正面結果。
天主教會在書中沒有任何官方立場，但包括羅馬教廷、等級制度和其他官方機構在內的各種天主教徒對此問題發表了不同的看法。
從 2001 年開始，悉尼大主教喬治·佩爾（George Pell）樞機主教偶爾在''《星期日電訊報》的''定期專欄中撰寫有關''哈利·波特''系列的文章。在他的專欄中，他稱贊這些書展示了“與基督教深度兼容”的價值觀。 在他的《別''害怕》''一書中，佩爾稱贊這些書包含“大量的道德真理”，并且有助于人們成為更好的人。
2003 年，在利物浦大主教管區擔任教皇文化委員會官員牧師的彼得·弗利特伍德（Peter Fleetwood）， 在釋放''生命之水的宣布耶穌基督的承載者''的新聞發布會上發表了支持小說的評論，稱他們是''基督徒對“新時代”的反思''。''在回答有關哈利波特''系列中呈現的魔法是否應該與文件中警告的一些新時代時間相符的問題時，弗利特伍德說：“如果我很好地理解了哈利波特作者的意圖，它們幫助孩子們分辨善惡。她很清楚這一點。”他補充說，羅琳是“堅信基督徒，在她的生活方式，甚至在她的寫作方式上都是基督徒。” 這一評論被媒體視為對天主教會對小說的認可，并被進一步拓展為當時的教皇約翰·保羅二世對小說進行了認可。
對這些書的批評還來自羅馬大主教管區一位官方驅魔人加布里埃爾·阿莫斯（Gabriele Amorth），他認為，“在哈利·波特的背后隱藏著黑暗之王——魔鬼的簽名”。
在 2005 年''《哈利·波特與混血王子''》上映之前，當時在歐洲主教會議委員會任職的弗利特伍德接受了梵蒂岡電臺的采訪。在采訪中，弗利特伍德重申了他對這些書籍的積極看法，并表示當時的紅衣主教拉辛格的信可能是由教會的一名工作人員寫的，只是由長官簽署。他還表示，他和阿莫斯的意見僅僅是與牧師的個人意見相沖突。
對于電影改編，美國天主教主教會議電影和廣播辦公室將每部電影評為“A-II”或“A-III”， 這意味著內容沒有道德上的冒犯性。 主教會議將改編自''《哈利波特與阿茲卡班的囚徒》''的電影評為 2004 年十佳家庭電影之一， 并將''《哈利波特與死亡圣器 - 第 1 部分》''評為 2010 年最佳電影之一。
梵蒂岡報紙''L'Osservatore Romano''在 2008 年 1 月 14 日至 15 日的一期中用整版的篇幅報道了這場辯論。散文家 保羅 古力薩諾（Paolo Gulisano）說''哈利波特''小說傳授了關于愛和自我給予的重要一課， 但愛德華多 里亞爾蒂（Edoardo Rialti）教授將哈利波特描述為“錯誤的英雄”，并說，“盡管人們能在故事中發現一些積極的價值觀，這個故事的基礎是巫術是正面的，利用神秘學的知識對事物和人的暴力操縱是少數人的優勢，目的是證明手段的合理性，因為被選中的知識淵博的人知道如何控制黑暗力量并將其轉化為善……這是一個深深的謊言，因為這是古老的諾斯替主義誘惑，它將救贖和真理與秘密知識混為一談。” 然而，2009 年 7 月， ''L'Osservatore Romano''稱贊第六部《''哈利·波特》''電影《''哈利·波特與混血王子''》的道德立場，稱“善與惡之間有明確的界線，這部電影明確表示善才是對的。人們也明白，有時這需要努力和犧牲。” 它還指出，這部電影清楚地表明“以伏地魔為代表的對永生的追求”在道德上是錯誤的。
一位法國傳統主義天主教圈沿著惡魔學的路線，發表了一篇關于哈利·波特系列的批判性研究，標題是-英語翻譯-《''哈利·波特與黑暗秩序》''。
在波蘭，來自北部城市科沙林 或格但斯克的牧師于2019年 4 月 1 日公開焚燒書籍和其他他們認為宣揚魔法和巫術的物品，例如''哈利波特、暮光之城''和一本關于有爭議的大師拉杰尼什（Rajneesh）的書籍的副本，以及非洲部落面具。  作為理由，他們引用了以下圣經段落，包括《使徒行傳》中的一段話：“許多練習魔法的人收集了他們的書，并在所有人面前焚燒了它們。他們計算了它們的價值，發現是五萬塊銀子”。 《申命記》中另一段經文說：“燒掉他們的神像。不要貪圖上面的金銀而占為己有，否則你會被它困住。這是你的神所憎惡的。”
2019 年 8 月，在咨詢了美國和羅馬的驅魔師之后，田納西州納什維爾市圣愛德華羅馬天主教堂區學校的牧師丹·瑞希爾（Dan Reehil）禁止了學校圖書館中的這些書籍，理由是“書中使用的詛咒和咒語是真實的；人類冒著將邪靈召喚到閱讀文本的人面前的風險”。
特技是一個不尋常的和困難的物理壯舉，用於執行電視劇、舞臺劇或電影等藝術目的。
在過去的好萊塢電影中，男性特技演員通常比女性還多、白人比黑人多。但當如安吉麗娜·朱莉這樣的動作女英雄及威爾·史密斯這樣的非裔美國明星的崛起，為來自不同背景的特技演員提供了更多的機會。
在電影《》拍攝時曾發生一名特技演員從42英尺的高度摔落地面，起因於製作團隊沒有做好安全措施。自從電腦成像（CGI）逐漸普遍後便能大幅避免這類的事故發生。
* Gene Scott Freese, 2014, ''Hollywood Stunt Performers, 1910s-1970s: A Biographical Dictionary,'' 2nd ed. illustr. rev., McFarland, , see , accessed 16 April 2015.
*  Taurus World Stunt Awards
*  Photos from competition and international gathering stuntriders in Minsk (Belarus)
在函數式編程中，單子（monad）是一種抽象，它允許以泛型方式構造程序。支持它的語言可以使用單子來抽象出程序邏輯需要的。為了達成這個目標，單子提供它們自己的數據類型（每種類型的單子都有特定的類型），它表示一種特殊形式計算，與之在一起的有兩個過程，一個過程用來包裝單子內“任何”基本類型的值（產生單子值），另一個過程用來那些輸出單子值的函數（叫做單子函數）。
單子的概念和術語二者最初都來自范疇論，這里的單子被定義為具有額外結構的函子。開始于1980年代晚期和1990年代早期的研究，確立了單子可以將看似完全不同的計算機科學問題置于一個統一的函數式模型之下。范疇論還提供了叫做單子定律的一些形式要求，任何單子都應當滿足它并可以用它來驗證單子代碼。
通過單子，編程者可以把復雜的函數序列變成簡潔的管道，它抽象出了輔助數據管理、控制流或副作用。單子可以簡化范圍寬廣的問題，比如處理潛在（通過Maybe單子），或將值保持在一個靈活而形式正確的列表中（使用List單子）。因為單子使得某種計算的語義明確，它們還可以用來實現便捷的語言特征。一些語言比如Haskell，甚至在它們的核心庫中為通用單子結構提供預制的定義和常用實例。
單子可以通過定義一個類型構造子m和兩個運算即return和bind來建立。C. A. McCann解釋說：“對于單子m，類型m a的值表示對在這個單子上下文內的類型a的訪問。”
return（也叫做unit），接受一個類型a的值，把它們包裝成使用這個類型構造子建造的類型m a的“單子值”。bind（典型的表示為>>=），接受一個在類型a上的函數f，并應用f于去包裝的值a，轉變單體值m a。在后面的導出自函子章節有可作為替代的等價構造，使用join函數替代了bind算子。
通過這些元素，編程者可以復合出一個函數調用的序列（管道），在一個表達式中通過一些bind算子把它們鏈接起來。每個函數調用轉變它的輸入普通類型值，而bind算子處理返回的單子值，它被填入到序列中下一個步驟。
在每對復合的函數調用之間，bind算子>>=可以向單子值m a注入在函數f內不可訪問的額外信息，并沿著管道傳遞下去。它還可進行細致的執行流控制，比如只在特定條件下調用函數，或以特定次序執行函數調用。
下面的快捷偽代碼例子展示編程者使用單子的動機。未定義值或運算是健壯的軟件應當準備和優雅處理的一個特殊問題。
完成這個目標的第一步是建立一個可選類型，它標記一個值要么承載某個類型T（T可以是任何類型）的值要么沒有承載值。新的類型將叫做Maybe T，而這個類型的值可以包含要么類型T的值，要么空值Nothing。類型T的值x，若定義并用于Maybe上下文則叫做Just x。這么做是通過區分一個變量承載有定義的值的情況和未定義的情況來避免混淆。
data Maybe T = Just T | Nothing
Maybe T可以被理解為一種“包裝”類型，把類型T包裝成具有內建異常處理的一種新類型，盡管不承載關于異常成因的信息。
在下列的偽代碼中，前綴著m的變量有針對某種類型T的類型Maybe T。例如，如果變量mx包含一個值，它是Just x，這里的變量x有類型T。λx -> ...是匿名函數，它的形式參數x的類型是推論而來，而°是函數復合算子。
另一個改進是，函數通過Maybe類型能管理簡單的檢查異常，一旦某個步驟失敗就短路并返回Nothing，如果計算成功則返回正確的值而無需再評論。
加法函數add，在做二個Maybe值mx和my的加法時就實現了上述改進，它可以如下這樣定義：
add :: Maybe Number -> Maybe Number -> Maybe Number
add mx my  = ...
if mx is Nothing then
... Nothing
else if my is Nothing then
... Just (x + y)
書寫函數來逐一處理Maybe值的各種情況可能相當枯燥，并且隨著定義更多函數而變得更甚。將多個步驟鏈接起來的運算是減輕這種狀況的一種方式，通過使用中綴算子如x >>= y，甚至可以直觀的表示將每個步驟得出的（可能未定義的）結果填入下一步驟之中。因為每個結果在技術上被插入到另一個函數之中，這個算子轉而接受一個函數作為一個形式參數。由于add已經指定了它的輸出類型，保持這個算子的靈活性而接受輸出與其輸入不同類型的函數應當沒有什么傷害：
>>= :: Maybe T -> (T -> Maybe U) -> Maybe U
(mx >>= f) = ...
if mx is (Just x) then
... f(x)    -- f返回類型Maybe U的定義值
... Nothing -- f不返回值
具有>>=可用，add可以被精制為更緊湊的表述：
add mx my  =  mx >>= λx -> (my >>= λy -> Just (x + y))
這更加簡潔，而一點額外的分析就能揭示出它的強大之處。首先，Just在add中扮演的唯一角色就是標記（tag）一個低層值為也是Maybe值。為了強調Just通過包裝低層值而在其上施加作用，它也可以被精制為函數，比如叫做eta：
eta :: T -> Maybe T
eta x  =  Just x
整體情況是這兩個函數>>=和eta被設計用來簡化add，但是他們明顯的不以任何方式依賴于add的細節，只是有關于Maybe類型。這些函數事實上可以應用于Maybe類型的任何值和函數，不管底層的值的類型。例如，下面是來自Kleene三值邏輯的一個簡潔的NOT算子，也使用了相同的函數來自動化未定義值：
trinot :: Maybe Boolean -> Maybe Boolean
trinot mp  =  mp >>= λp -> (eta ° not) p
可以看出來Maybe類型，和與之一起的>>=和eta，形成了單子。盡管其他單子會具體化不同的邏輯過程，而且一些單子可能有額外的屬性，它們都有三個類似的構件（直接或間接的）服從這個例子的綱要。
對函數式編程中的單子的更常用的定義，比如上例中用到的，實際上基于了而非范疇論的標準定義。兩個構造可以證明在數學上是等價的，任何定義都能產生有效的單子。給定任何良好定義的基本類型T、U，單子構成自三個部份：
* 類型構造子 M，建造一個單子類型M T
* 類型轉換子，經常叫做unit或return，將一個對象x嵌入到單子中：
* 組合子，典型的叫做bind（約束變量的那個bind），并表示為中綴算子>>=，去包裝一個單體變量，接著把它插入到一個單體函數/表達式之中，結果為一個新的單體值：
但要完全具備單子資格，這三部份還必須遵守一些定律：
* unit是bind的左單位元：
* unit也是bind的右單位元:
* bind本質上符合結合律：
在代數上，這意味任何單子都引起一個范疇（叫做）和在函子（從值到計算）的范疇上的幺半群，具有單子復合作為二元算子和unit作為單位元。
單子模式的價值超出了只是壓縮代碼和提供到數序推理的聯系。不管開發者采用的語言或缺省編程范型是什么，遵從單子模式都會帶來純函數式編程的很多利益。通過實化特定種類的計算，單子不僅封裝了這個計算模式的冗長細節，而且它以聲明式方式來這么做，增進了代碼清晰性。因為單子值所顯式代表的不只是計算出的值，而是計算出的作用（effect），單子表達式在上可以被替代為它們的值，非常像純表達式能做到的那樣，允許了基于重寫的很多技術和優化。
典型的，編程者會使用bind來把單子函數鏈接成一個序列，這導致了一些人把單子描述為“可編程的分號”，參照眾多指令式語言使用分號來分割語句。但是，需要強調單子實際上不確定計算的次序；甚至在使用它們作為中心特征的語言中，更簡單的函數復合可以安排程序內的步驟。單子的一般效用準確的說在于簡化程序的結構并通過抽象來增進關注點分離。
單子結構還可以被看作修飾模式的獨特的數學和編譯時間變種。一些單子可以傳載對函數是不可訪問的額外數據，而且一些單子甚至具有在執行上的更細致控制，例如只在特定條件下調用一個函數。因為它們讓應用程序員實現領域邏輯，而卸載樣板代碼至預先開發的模塊，單子甚至可以當作面向切面編程的工具。
單子的另一個值得注意的用途，是在其他方面都純函數式的代碼中，隔離副作用，比如輸入/輸出或可變的。即使純函數式語言仍可以不使用單子來實現這些“不純”計算，特別是通過對函數復合和（CPS）的錯綜復雜混合。但是使用單子，多數這些腳手架可以被抽象出去，本質上通過提取出在CPS代碼中每個反復出現的模式并集束到一個獨特的單子之中。
如果一個語言缺省的不支持單子，仍有可能實現這個模式，經常沒有多少困難。在從范疇論轉換成編程術語的時候，單子結構是并可以在支持限定的多態的等價特征的任何語言中直接定義。一個概念在操作底層數據類型時保持對操作細節不可知的能力是強大的，然而單子的獨特特征和嚴格行為將它們同其他概念區別開來。
在編程中術語“單子”（monad）實際上最早可追溯至APL和J編程語言，它們趨向于是純函數式的。但是，在這些語言中，“monad”僅是只接受一個形式參數的函數的簡稱（有二個形式參數的函數叫做“dyad”）。
數學家最初在1950年代晚期公式化單子概念（起綽號為“標準構造”），而術語“monad”成為主導要歸功于范疇學家桑德斯·麥克蘭恩。但是，上述的使用bind定義的形式，最初由數學家在1965年描述，用來證明任何單子都可以特征化為在兩個（協變）函子之間的伴隨。
開始于1980年代，單子模式的模糊概念在計算機科學社區中浮出水面。依據編程語言研究者Philip Wadler，計算機科學家于1970年代和1980年代早期，在他討論的價值的時候，預見到了它的一些方面，范疇論作為形式語義學的豐富來源，和在值和計算之間的類型區別。研究性語言，它活躍設計直到1990年，還有效的將I/O基于在單子類型之上，但是這個聯系在當時沒有實現。
計算機科學家最早明確的將范疇論的單子聯系于函數式編程，在1989年于討論會論文之中，隨后在1991年還有更加精制的期刊提交。在早期的工作中，一些計算機科學家使用范疇論推進為lambda演算提供語義。Moggi的關鍵洞察是真實世界程序不只是從值到另外的值的函數，而是形成在這些值之上計算的變換。在用范疇論術語形式化的時候，這導致的結果是單子作為表示這些計算的結構。
其他一些人以這個想法為基礎并進行了推廣，包括Philip Wadler和Simon Peyton Jones，二者都參與了Haskell規定。特別是，Haskell直到v1.2一直使用有問題的“惰性流”模型來將I/O調和于惰性求值，然后切換到了更靈活的單子接口。Haskell社區繼續將單子應用于函數式編程的很多問題中，使用Haskell工作的研究者最終將單子模式推廣成廣泛的結構層級，包括應用式函子和。
首先，使用單子的編程很大程度上局限于Haskell及其派生者，但是由于函數式編程已經影響了其他編程范型，很多語言結合了單子模式（不這么稱呼的話也在精神上）。其公式化現已存在于Scheme、Perl、Python、Racket、Clojure、Scala和F#之中，并已經被考慮用于新的ML標準。
單子模式的利益之一是將數學上的精確性施加到編程邏輯上。不只是單子定律可以用來檢查實例的有效性，而且來自有關結構（比如函子）的特征可以通過子類型來使用。
盡管在計算機科學中少見，可以直接使用范疇論，它定義單子為有二個額外自然變換的函子。作為開始，一個結構要求叫做map的高階函數（“泛函”）從而具備函子資格：
但是這不總是一個主要問題，尤其是在單子派生自預先存在的函子的時候，單子馬上就自動繼承map。 出于歷史原因，在Haskell中這個map轉而叫做fmap。
單子的第一個變換實際上同于來自Kleisli三元組的unit，但是更密切的服從結構的層級，結果是unit特征化一個應用式函子，這是在單子和基本函子之間的中間結構。在應用式的上下文中，unit有時被稱為pure，但是這仍是相同的函數。在這個構造中有不同的地方是定律unit必須滿足；因為bind未定義，這個約束轉而依據map給出：
從應用式函子到單子的最后跳躍來自于第二個變換join函數，在范疇論中這個自然變換通常叫做，它扁平化單子的嵌套應用：
作為特征性函數，join必須還滿足三個單子定律的變體：
不管開發者是否直接定義單子或Kleisli三元組，底層的結構都是相同的，二者形式可以輕易的相互導出：
復數多值平方和立方方根函數可以起來產生六次方根函數。支配輸入和輸出類型的結構和復合不同行動的結構，二者一起是list單子。彈丸符號?指示bind算子，z是復數，方括號指示，而:=含義是定義為:
(f?g)(z) := append(map(f,g(z)))
lift(f) = f° := unit?f = f?unit
sqrt°(z) == append(map(unit,sqrt(z)))= append(map(sqrt,unit(z)))
sxrt(z) = (cbrt°?sqrt°)(z) == append(map(cbrt°,sqrt°(z)))
List單子天然的展示了如何手工的從更簡單的函子導出單子。在很多語言中，列表結構與很多基本特征一起是預定義的，所以假定List類型構造子和append算子（用中綴表示法表示為++）已經存在于這里了。
將一個平常的值嵌入到列表中在多數語言中也是微不足道的：
自此，通過列表推導式迭代的應用一個函數，看起來就是對bind的一個容易的選擇，從而將列表轉換成完全的單子。這個方式的困難在于bind預期一個單子函數，它在這種情況下會輸出列表自身；隨著更多函數的應用，嵌套的列表的層次會累加，要求不止一個基本推導式。
但是，在整個列表上應用任何“簡單”函數的過程，也就是map，就直截了當了：
現在，這兩個過程已經將List提升為應用式函子。要完全具備單子資格，只需要join的一個正確的表示法來扁平化重復的結構，但是對于列表，這意味著去包裝一個外部列表來包含著值的那些內部列表：
結果的單子不只是一個列表，而且在應用函數的時候可以自動調整大小和壓縮自身。bind現在可以從一個公式導出，接著被用來通過單子函數的管道向List填入值：
這種單子列表的一個應用是表示。List可以持有一個算法中所有執行路徑的結果，接著每一步驟壓縮自身來忘記那一步導致了這個結果（有時這是同確定性、窮舉算法的重要區別）。另一利益是檢查可以嵌入到單子中；特定路徑可以透明的在它們第一個失敗點上被剪除，而不需要重寫管道上的函數。
突出List的第二種情況是復合多值函數。例如，一個數的n次復數方根將產生n個不同復數，但是如果另個m方根接受了這些結果，最終復合出的m?n的值應當同一于一次m?n次方根的輸出。List完全自動化了這個問題的處置，壓縮來自每一步驟的結果成一個平坦的、數學上正確的列表。
單子為有價值的技術提供了機會，超出了只是組織程序邏輯。單子可以為有用的語法特征奠定基礎工作，而它們的高級和數學本質能實現重大的抽象。
盡管公開的使用bind通常就行得通，很多編程者偏好模仿指令式語句的語法（在Haskell中稱為“do表示法”，在OCaml中稱為“perform表示法”，在F?中稱為“計算表達式”，在Scala中稱為“for推導式”）。這只是將單子管道偽裝成代碼塊的語法糖；編譯器會悄悄的將這些表達式轉換成底層的函數式代碼。
將上述的Maybe單子例子中的add函數偽碼轉換成Haskell代碼來用行動展示這個特征。非單子版本的add用Haskell寫出來如下這樣：
add mx my =
case mx of
Nothing -> Nothing
Just x  -> case my of
Just y  -> Just (x + y)
在使用單子的Haskell中，return是unit的標準名字，加上必須顯式處置的lambda表達式，即使多了這些技術，Maybe單子使得定義更加清晰：
mx >>= (\x ->
my >>= (\y ->
return (x + y)))
使用do表示法，可以進一步精煉成非常直觀的序列：
add mx my = do
甚至通用單子定律自身都可以用do表示法來表達：
do { x
盡管方便，開發者應當記住這種塊風格只是語法上的并可外觀上替代為單子(甚至非單子的CPS）表達式。使用bind來表達單子管道仍在很多情況下是更加清晰的，一些函數式編程擁戴者提議，由于塊風格允許初學者存續來自指令式編程的習慣，應當避免缺省的而只在明顯更優越的時候使用它。
正如提及過的那樣，純粹的代碼不應有不可管理的副作用，但是不妨礙程序“顯式”的描述和管理各種作用。這個想法是Haskell的IO單子的中心，在這里一個類型IO a的對象，可以被看作包含了程序外部的世界的當前狀態，并計算類型a的一個值。不計算值的計算，也就是過程，有著類型IO ，它“計算”虛設值。在編程者bind一個IO值到一個函數的時候，這個函數基于世界的場景（來自用戶的輸入、文件等）做出決定，接著產生反映新的世界狀態（程序輸出）的一個單子值。
例如，Haskell有一些函數作用在寬廣的文件系統之上，包括有檢查一個文件存在的一個函數和刪除一個文件的另一函數。二者的類型簽名是：
doesFileExist :: FilePath -> IO Bool
removeFile :: FilePath -> IO
第一個函數關注一個給定文件是否真的存在，作為結果輸出一個布爾值于IO單子之內。第二個函數在另一方面，只關心在文件系統上的起到作用，所以對于IO容器它們的輸出為空。
IO不只限于文件I/O；它甚至允許用戶I/O，還有指令式語法糖，可以模仿典型的Hello World程序：
putStrLn "Hello, world!"
putStrLn "What is your name, user?"
不加語法糖，代碼可以轉寫為如下單子管道（在Haskell中>>是bind的一種變體，用在只有單子作用是緊要的而底層結果可以丟棄的時候）：
main =
putStrLn "Hello, world!" >>
putStrLn "What is your name, user?" >>
getLine >>= (\name ->
putStrLn ("Nice to meet you, " ++ name ++ "!"))
另一個常見的情況是保存日志文件或以其他方式報告程序的進度。有時，編程者想要記錄更特殊的技術數據用于以后的性能分析或調試。Writer單子可以通過生成逐步積累的輔助輸出來處理這些任務。
為了展示單子模式不局限于主要的函數式語言，這個例子用JavaScript實現了Writer單子。首先，數組（具有嵌套的尾部）允許構造Writer類型為鏈表。底層的輸出值將位于這個數組的位置0，而位置1將隱蔽的持有連成一鏈的一些輔助注釋：
const writer = value, ;
定義unit是非常簡單的：
const unit = value => value, ;
定義輸出具有調試注釋的Writer對象的簡單函數只需要unit：
const squared = x => x * x, `${x} was squared.`;
const halved = x => x / 2, `${x} was halved.`;
真正的單子仍需要bind，但是對于Writer，這簡單的相當于將函數的輸出附加至單子的鏈表：
const bind = (writer, transform) => {
const value, log = writer;
const result, updates = transform(value);
return result, log.concat(updates);
樣例函數現在可以使用bind鏈接起來，但是定義單子復合的一個版本（這里叫做pipelog）允許更加簡潔的應用這些函數：
const pipelog = (writer, ...transforms) =>
transforms.reduce(bind, writer);
最終結果是在逐步計算和為以后審查而記錄之間的清晰的關注點分離：
pipelog(unit(4), squared, halved);
// 結果的writer對象 = 8, '4 was squared.', '16 was halved.'
HaskellWiki參考：
* " All About Monads " (originally by Jeff Newbern) — A comprehensive discussion of all the common monads and how they work in Haskell; includes the "mechanized assembly line" analogy.
* " Typeclassopedia " (originally by Brent Yorgey) — A detailed exposition of how the leading typeclasses in Haskell, including monads, interrelate.
* " A Fistful of Monads " (from the online Haskell textbook '' Learn You a Haskell for Great Good! '' — A chapter introducing monads from the starting-point of functor and applicative functor typeclasses, including examples.
* " For a Few Monads More " — A second chapter explaining more details and examples, including a Probability monad for Markov chains.
* " Functors, Applicatives, And Monads In Pictures  (by Aditya Bhargava) — A quick, humorous, and visual tutorial on monads.
* " UNIX pipes as IO monads " (by Oleg Kiselyov) — A short essay explaining how Unix pipes are effectively monadic.
* '' Pro Scala: Monadic Design Patterns for the Web '' (by Gregory Meredith) — An unpublished, full-length manuscript on how to improve many facets of web development in Scala with monads.
法國最古老的鐘樓之一
圣日耳曼德普雷修道院（Abbaye de Saint-Germain-des-Prés）是法國首都巴黎第六區的一座本篤會修道院，創建于6世紀，法蘭克國王希爾德貝爾特一世攻打西班牙的薩拉戈薩時，得到當地主教贈送的圣帶，回到巴黎后就興建了這座教堂來收藏這件圣徒遺物，命名為圣十字和圣文生教堂，當時它還只是巴黎的郊區，塞納河左岸洪水泛濫的河灘荒地，從西岱島的王宮可以看見這座坐落在田野間的教堂。558年完成，12月23日獻給圣日耳曼，同一天國王去世，于是關閉教堂，改為修道院。在皇家資助下，這里成為法國最富有的教堂之一，并獲得管理城墻以外，今圣米歇爾大道以西左岸大部分地區的權限（到1670年）。在11世紀，它設立一個重要的藏經樓，是法國天主教會的學術中心，直到在法國革命期間被廢棄。是墨洛溫王朝國王的安葬地。
Childebert，from the former refectory portal（Louvre）
周圍的圣日耳曼德普雷區得名于教堂。這一區域也是拉丁區的一部分，因為修道院捐贈了一些沿著塞納河的土地 —''Pré aux Clercs''（學者田野），以興建巴黎大學，在那里拉丁語是來自歐洲各地的學生的通用語。
瑪格麗特 (瓦盧瓦)也強迫修道院捐出土地，在此修建一座宮殿（今塞納路2-10號），使這一地區變得時髦起來，直到18世紀初被香榭麗舍大街以北的Saint-Honoré區超過。
哲學家笛卡爾的墓地也在這里。
山崎麵包在香港銅鑼灣皇室堡的分店
山崎麵包（，）是一間日資麵飽鋪，自製麵飽和西餅等，一條龍經營。其日本總公司創業於1948年3月9日的日本市川市，而現在總部在東京，其商標為太陽，又稱太陽麵包。
1981年山崎到香港銅鑼灣三越百貨開設了第一間麵飽鋪，經過了近30年的經營，現時山崎已擁有一座龐大的中央廠房及37間分店，並僱用了超過500個員工，在香港有51間分鋪。1987年4月日本山崎在臺北市設立臺灣山崎股份有限公司，同年11月於臺北市崇光百貨開店，為臺灣第一家山崎麵包專門店。2000年在新北市板橋區的板橋車站開設第一家複合式咖啡店。現在，山崎麵包在亞洲不少大城市都有分店，包括馬來西亞、新加坡和泰國等。
2016年6月日本山崎麵包旗下子公司山崎納貝斯克（東京）和美國食物業巨頭億滋國際公司之間的技術及商標使用協議到期。山崎麵包從9月1日起將「山崎納貝斯克」的商標改為「山崎餅乾」（YBC）。
*不二家  （斥資150億日幣（約10.2億港幣）收購35%股份）
*31冰淇淋  （43.28%股份）
*東鳩  （2006年7月3日斥資182億日幣收購95%股份）
*DAILY YAMAZAKI便利店
*山崎餅乾YBC  （80%股份）原名，山崎納貝斯克
*VIE DE FRANCE麵包店
*日清製粉  （5.58%股份）
* 山口智子（1989年- 1993年）
1992年聯合國糧食及農業組織（FAO）和世界衛生組織（WHO）的聯合組織國際食品法典委員會公布溴酸鉀的致癌性，日本厚生省要求山崎麵包產品避免使用溴酸鉀溶液，該公司遵從政府指示。
由於定量分析技術提升，2003年厚生勞動省公布新的公定檢測法，得知遵守正常麵包製造工程所烘烤出來的麵包，不會驗出溴酸鉀，於是山崎麵包2004年開始溴酸鉀溶液生產販售商品。
食品添加物聯合專家委員會（Joint FAO/WHO Expert Committee on Food Additives，JECFA）表示「溴酸鉀不適合利用為小麥處理劑」，和1992年與1995年的會議意見一樣。
*  山崎麵包（日本）（山崎製パン株式會社/Yamazaki Baking Co., Ltd.）
《泡菜奶酪微笑》（，亦翻譯作《泡菜芝士微笑》）是由韓國MBC出品的長篇家庭情景喜劇，該劇延續了《不可阻擋的High Kick》喜劇模式，利用了夸張、搞笑的方式來詮釋了看似復雜家族矛盾，婆媳關系等；由于是繼收視高的《不可阻擋的High Kick》，導致該劇在韓國首播即10.3%收視率，超過前一部，而且該劇以《泡菜奶酪微笑》的名字被中國大陸引進。
該劇的韓文原名為「???????」，直接翻譯成中文的意思「泡菜奶酪微笑」。泡菜代表傳統、保守、普通的申久一家；奶酪代表自由、開放、富裕的銀淑一家；微笑代表一個橋梁，表明兩家人的搞笑故事、矛盾等。
:61歲，配偶是金乙東申家名義上的一家之主，職業是攝影師，并經營著自己的Smile照相館，雖為名義上的老板，卻因其在故事發生的十年前52歲投資越南漁船并失敗損失4000萬韓元后使長子秉鎮變成了上門女婿后失去了在家中的威嚴和地位以及財政大權。是個善良單純、愛財、貪吃的人。他善于發明東西、說出來的事一定會以相反方式進行。
:60歲，申久的老伴，申家的財政大權主導者。一生是個家庭主婦。在自己50歲以前在家中沒有任何主導地位，50歲后開始取得了家中的主導地位。善于做家務，個性吝嗇，但很善良，很關愛自己的子女，經常稱呼自己的小孫女是小狗狗。
*鮮-{于}-銀淑 飾 鮮-{于}-銀淑
:52歲，申久，乙東的親家，秀英的媽媽。外表高貴，卻經常喜歡做一些低俗的事情，比如看年輕帥哥，看A片等等，經常口誤。家境富裕，擁有年輕的外表。42歲是開始投資一個健身房并成為社長。因為腸胃不好而經常搞笑的放屁。
:39歲，申家長女，片尾與基俊結婚，在29歲時原本是時尚雜志的記者兼攝影師，1997年金融危機后公司倒閉，相愛7年的情人劈腿，在2007年成為39歲的老處女和Smile照相館的攝影師，本性善良，很疼愛自己的妹妹妍芝，曾經因妍芝放棄自己的幸福，很有親和力，很懷舊，多年后也不愿放棄古老的膠卷式相機，也選擇了在基本各方面條件都比另一個追求者差只是先認識的嚴基俊。
:36歲，申家長子，惠英的弟弟，妻子是秀英，36歲時成功當選為江浩大學游泳隊教練，并有四個隊員，年輕時獲得過1500米冠軍，因而有驚人的耐力，善良，憐人，有嚴重的潔癖，經常隨身帶迷你鉗子和膠帶為陌生人拉線頭，粘頭發絲，很怕經常不拘小節的岳母銀淑，但由于經常為岳母著想最終受到銀淑的肯定。
:35歲，銀淑的女兒，丈夫是秉鎮，25歲不顧母親反對和秉鎮結婚，但又不希望離開母親。善良，天真，遲鈍，被稱為秀逗的兒媳，經常與年齡差10多歲的小姑子發生口角。
:36歲，申家2樓的房客，秉鎮的高中同學，賢鎮的哥哥。與26歲時結識的比自己大三歲的惠英在2007年結婚，26歲時因公務員考試失利而去當特種兵，役畢后成為新聞主播，家喻戶曉，是因為經常處新聞事故，36歲時和弟弟賢鎮住在申家，并與惠英發光發熱，妍芝一直暗戀基俊。他善良，虛榮心強，記仇，經常用“累脖子術”來懲罰弟弟，經常與情敵山浩明爭暗斗，與經常抓住銀淑的小辮子不放。
:21歲，申久在40歲后擁有的女兒，江浩大學大三學生，11歲時就暗戀房客基俊，21歲時雖未被明著拒絕，但自己退出，傷心時被給予溫暖的賢鎮感動，并最終和親上親賢鎮相戀。個性上來，內心脆弱，外在表現的卻很堅強，爆發時連男人都嚇一跳，裝蒜的本領世界第一，如雖然在打呼嚕卻并沒有睡覺……也遺傳父親的貪吃，善于打賭。經常與秀英展開姑嫂大戰。
:21歲，申家的房客，基俊的弟弟，江浩大學大三學生，游泳隊隊員之一。與妍芝相戀，善良，關心別人、很在乎自己的地位、有卓越的游泳技術，做一些糗事卻被妍芝發現，被稱為偽君子幼稚的小鬼頭，這也是觀眾和妍芝喜歡他的原因。外表帥氣，肌肉發達。
:7歲，申久的孫女，秉鎮的女兒。單純可愛，會彈鋼琴和跆拳道，喜歡模仿并成為一個可愛的傳話筒，經常因為她的傳遞而造成一些小事端，認為賢鎮是奧特曼并對其有點純純之戀。
*金山浩 飾 尹明勛/（申）山浩
:29歲，因驚嚇恐慌再加上被惠英撞到而失憶做起Smile照相館的助理，其實是一家較大公司的主任，充滿神秘色彩，在申家第一次感受到有家人的溫暖，最終因被基俊發現曾經目睹社長的誤殺和已有自首之意而離開在2011年出獄后回來。善良，不善言表，有些笨手笨腳，卻很細心，受到申家尤其是申久的喜歡，暗戀并向惠英表白但遭到了拒絕。
:21歲，江浩大學三年級學生，游泳隊隊長，外表有點不盡人意但很有責任感，舞技卓越，善于理解別人。經常與妍芝發生口角但以失敗告終。
:21歲，特種兵出身，江浩大學游泳隊隊員，擁有異常發達的肌肉和力量，擅長干體力活，在游泳很有天賦，在2011年進入韓國國家隊，善良，熱心，智商和智力有問題，憨厚老實，關心朋友，善于吃。
:20歲，江浩大學二年級學生，游泳隊隊員，由于年齡的緣故經常做一些幼稚的事情，探望，可愛，把花心當成平凡的事，討厭別人弄亂他的一頭長髮，經常口是心非，暗戀妍芝。
:28歲，隱身為某雜志社記者，其實是姜社長秘書，曾經跟蹤并調查山浩，神秘，身材好被稱為“瑜伽妖精”，經常莫名其妙的摔倒，亦有嚴重的潔癖
*在韓國，首播收視率達到10.6%，與前檔熱劇《不可阻擋的High Kick》的首播收視率7.4%相比可以說有很大的成功。可惜最高收視率僅僅把握在25%以內，沒有超過《不可阻擋的High Kick》，但是也榮登了韓國的收視冠軍寶座。
*在中國大陸，該劇僅在各地播出。沒有統計，在個別省份也為該省的收視冠軍。
圣塞味利教堂（法語：église Saint-Séverin）是巴黎第五區的一座天主教堂，左岸拉丁區最古老的教堂之一，位于可愛的觀光街圣塞味利街3號。
圣塞味利是一位在此居住祈禱的隱士，死后在此修建了教堂，后來被維京人摧毀，現在的教堂建筑始建于11世紀，完成于16世紀，火焰哥特式風格，裝飾有滴水嘴獸、花窗玻璃，有大理石唱詩班席位和管風琴。1790年以前，巴黎教區的南部總執事駐扎于此。1956年在此發生基督徒士兵反對阿爾及利亞戰爭的示威，第二次梵蒂岡大公會議時期 該教堂以其圣餐禮儀著稱。
*  Images of the Bazaine windows
*  Images from Virtualtourist.com
TEEMA B2B為臺灣區電機電子工業同業公會所設立的一個專為電機電子產業的B2B經貿入口網站。網站於2000年建立完畢（原名為EC TEEMA），並於2008年進行改版後，正式更名為 TEEMA B2B。網站共涵蓋電機電子產業16大類產品，擁有臺灣3,762家製造商完整資訊，約2,000細項產品索引及10,000筆以上之產品型錄，目前有繁體中文及英文兩個語言版本。
# 企業IT編輯部／臺北，電電公會加深IT應用開發 打造超強虛擬行銷平臺，DigiTimes新聞，2009年4月9日
#臺灣區電機電子工業同業公會
# TEEMA Industry 產業網站
內部圣斯德望堂（Saint-étienne-du-Mont）是法國巴黎第五區的一座天主教堂，位于圣女日南斐法山，靠近先賢祠，內有巴黎的主保圣人圣女日南斐法的圣骨匣。布萊士·帕斯卡、讓·拉辛和讓-保爾·馬拉也安葬于此。
*  L'Internaute Magazine: Diaporama  (in French)
*  flickr group dedicated to St-étienne-du-Mont
*是羅馬共和國的政治職務。是羅馬古代各種軍事和民政官員的總稱。
平民護民官在公元前471年起由平民大會選舉，他們擔任平民大會主席，因而能夠表達平民的要求。
在公元前450年起，制度上任命10名平民護民官。他們的職責是保護人民，有權否決元老院或執政官發佈的命令。他們有權召開平民大會並作為其主席，這也使他們擁有提出立法建議的權力。從公元前300年起，大多數立法是由護民官提出來通過的。護民官的權力來自羅馬平民發誓捍衛護民官，因此其權力僅限於羅馬，而不能影響其他省份。
護民官後來發展成羅馬最有權勢的職位之一，因為在法律上來說，一個貴族不可能參加平民大會、成為護民官，所以第一位羅馬皇帝奧古斯都架空了護民官的權力，使護民官如同虛設。
原指步兵司令。在早期的共和國，由自部落大會中所選出的24個年輕男子分發到四個羅馬軍團中，每個軍團有6名護民官，其中幾名由執政官或軍隊指揮官任命，其他則由人民選舉。在帝國時期（前27年起），軍事護民官的職位是進入元老院或當騎兵軍官的初步階梯，要由羅馬皇帝指派。這種護民官指揮羅馬禁衛軍和輔助部隊。
財務護民官原來指在各部落中徵收貢賦和發放軍餉的官員，但這些職權後來逐漸分散到其他官職上。在共和國末期，他們形成一種社會階層，地位低於騎士階級。
迪特里希施泰因（德文：Dietrichstein）是一個來自奧地利克恩滕的貴族家族。該家族在11世紀便見諸史籍，后分為威赫塞爾施塔特支、霍倫堡支、尼科爾斯堡支等分支。尼科爾斯堡支的馬克西米利安于1631年被封為神圣羅馬帝國的親王。
* 1631年－1655年：馬克西米利安 Maximilian 1612年起為伯爵
* 1655年－1698年：斐迪南·約瑟夫 Ferdinand Joseph 馬克西米利安的次子
* 1698年－1708年：利奧波德·依格納茨·約瑟夫 Leopold Ignaz Joseph 斐迪南·約瑟夫的次子
* 1708年－1738年：瓦爾特·弗朗茨·克薩維爾·安東 Walther Franz Xaver Anton 斐迪南·約瑟夫第四子
* 1738年－1784年：卡爾·馬克西米利安 Karl Maximilian 瓦爾特·弗朗茨·克薩維爾·安東第三子，其子嗣改姓“馮·迪特里希施泰因-普勞斯考”
* 1784年－1808年：卡爾 Karl 卡爾·馬克西米利安長子，其子嗣改姓“馮·迪特里希施泰因-普勞斯考-萊斯利”
* 1808年－1854年：弗朗茨·約瑟夫 Franz Joseph 卡爾的次子
* 1854年－1858年：約瑟夫 Joseph 弗朗茨獨子
* 1858年－1864年：莫里茨 Moritz Joseph Johann  卡爾第四子
1864年，迪特里希施泰因家族男系絕嗣。
迪特里希施泰因·祖·尼科爾斯堡親王亞歷山大·馮·孟斯多夫-普伊
* 1868年－1871年：亞歷山大·馮·孟斯多夫-普伊 Alexander von Mensdorff-Pouilly 迪特里希施泰因親王約瑟夫的女婿和繼承人，其次女亞歷珊德琳的夫婿。1865年任奧地利帝國首相。
* 1871年－1918年：胡戈·馮·孟斯多夫-普伊-迪特里希施泰因 Hugo von Mensdorff-Pouilly-Dietrichstein 亞歷山大與亞歷珊德琳的長子
* 1918年－1920年：胡戈 前親王，1918年奧地利君主制覆滅后仍自稱迪特里希施泰因·祖·尼科爾斯堡親王
* 1920年－1964年：亞歷山大 Alexander 胡戈的次子，無男嗣
1964年，孟斯多夫-普伊-迪特里希施泰因家族絕嗣。
*  迪特里希施泰因親王家族的族譜
*  孟斯多夫-普伊家族的族譜
*  哥達在線上的迪特里希施泰因和孟斯多夫-普伊家族的族譜
奈杰爾·哈里斯(1935年－)， 英國經濟學家， 專門從事大都市區域經濟學研究。 倫敦大學學院城市經濟學名譽教授。他還是歐洲政策中心“創意坦克（think tank）”國際移民研究項目的資深政策顧問。
于1959年和1962年，分別獲得哲學、政治經濟學的學士和碩士學位。于1963年，以《論英國保守黨的經濟和工業政策》的論文獲得哲學博士學位。
哈里斯一度曾是英國社會主義工人黨的領導人，編輯該黨的出版物《國際社會主義》。
在最近的幾年中，他為世界銀行做了相當大量的工作。盡管哈里斯在其著作中，諸如：《匪夷所思：移民神話的破滅》（2001），支持并為移民immigration作辯護，但他在英國依然享有極高的知名度。他現在是RSA移民委員會的成員。
*  天堂的托管-現代中國的馬克思和毛（哈里斯1978年對中國共產主義的評論的在線版）
*  奈杰爾·哈里斯互聯網檔案
李家明，男，云南昆明人，中國原子分子物理學家，清華大學，上海交通大學雙聘教授，中國科學院院士，第三世界科學院院士。
1945年出生于云南昆明。1968年畢業于國立臺灣大學電機系，獲工程學士學位。
1974年獲芝加哥大學物理學博士學位。1974年在芝加哥大學物理系擔任助理研究員。1975年至976年在匹茲堡大學物理天文系擔任助理研究員。1977年至1978年在羅徹斯特大學激光能量研究所擔任高級助理研究。
1979年自美國到中國大陸，在中國科學院物理研究所擔任副研究員，并于1983年擔任研究員職務。1997年擔任清華大學教授，任清華大學原子分子納米科學研究中心主任。2003年擔任上海交通大學物理系教授，成為清華大學與上海交通大學的雙聘教授。
* 1986年獲得國際理論物理中心的 Kastler 獎
* 1990年獲中國科學院自然科學獎二等獎
* 1990年被評為中國科學院有突出貢獻的中青年專家
* 1991年被評為中國科學院學部委員（院士）
* 1992年獲中國科學院自然科學獎二等獎
* 1992年被評為第三世界科學院院士
* 2002年獲得國家科技部何梁何利科技進步獎
窮人圣朱利安教堂內部
窮人圣朱利安教堂（法語：église Saint-Julien-le-Pauvre）是法國巴黎的一座教堂，也是該市最古老的教堂之一，興建于13世紀，哥特式風格，位于塞納河左岸的巴黎第五區。起初這里是一座羅馬天主教堂，興建于12－19世紀，1889年，在第三共和國時期，該教堂歸屬居留巴黎的中東基督徒的拜占庭天主教會。
*  Official website of the Greek Melkite Catholic Parish of Paris
斯科特可以指：
*斯科特縣，若干以斯科特縣為名的地名
*溫菲爾德·斯科特（1786年－1866年），美國陸軍中將
*羅伯特·斯科特（1868年－1912年），英國海軍軍官和極地探險家
*賈萊斯·吉爾伯特·斯科特（1880年－1960年），英國建筑師
*達納·斯科特（1932年－），美國科學家，研究領域涉及計算機科學、數學和哲學
*大衛·斯科特（1932年－），美國宇航員
*托尼·斯科特（1944年－2012年），英國電影導演
*埃爾維斯·斯科特（1978年－），宏都拉斯足球運動員
*亞當·斯科特（1980年－）澳洲高爾夫球選手
*埃里克·斯科特（1981年－），哥斯達黎加足球運動員
半知菌（，希臘語，意思是「第二種真菌」）是一種已廢止的生物分類，指在子囊菌?擔子菌的同伴之中，還未發現有性繁殖階段而在分類學上位置不明的一種臨時分類。只進行無性繁殖的菌類被稱作不完全型，這一階段被稱為無性階段。進行有性繁殖的被稱為完全型，該階段被稱作有性階段，通常有性階段的菌類也是同時進行無性生殖的。日常生活中常見的霉菌大部分都處于無性階段，其中包含半知菌的比率非常高。
此外，一些無性階段很發達，有性階段已發現但不常見的子囊菌和擔子菌，習慣上也歸在半知菌中。
根據G．C．安斯沃斯和G．R．Bisby（1971）的統計，半知菌類有1825屬，約2萬5千種。這包括很多知名的真菌，例如：生產抗生素的青黴素、引起香港腳的足癬、令食物發酵的酵母菌等都是半知菌。此外，還有一些可食用的半知菌，包括那些令羅克福干酪和卡芒貝爾奶酪帶有其獨特個性的真菌。
除了半知菌以外，變形菌或有絲分裂真菌都同樣是真菌的不同狀態，這些都不算是真菌的分類等級。
半知菌的分類有兩大分類系統。
半知菌的傳統分類是采用薩卡度(Saccardo et al.(1882-1972))的分類系統。
按照真菌傳統的三綱一類分類法（即藻菌綱、子囊菌綱、擔子菌綱和半知菌類），半知菌都歸入半知菌類，并根據子實體或孢子果的形態分為以下4個目：
* 叢梗孢目 Moniliales
** 淡色孢科 Moniliaceae
** 暗色孢科 Dematiaceae
** 束梗孢科 Stilbaceae
** 瘤座孢科 Tuberculariaceae
* 黑盤孢目 Melanconiales
* 球殼孢目 Sphaeropsidales
*無孢菌類 Mycellia sterilia
*該系統的特點以形態學為基礎，將形態相似的半知菌歸為一類，而不考慮它的系統發育關系。
安斯沃斯Ainsworth（1973）現代分類系統是真菌界比較公認的真菌分類系統。該系統建立在薩卡度傳統分類系統的基礎上，雖然也以形態學為基礎，但更加注重真菌的產孢方式。
該系統根據真菌形態和產孢方式將半知菌亞門分3個綱：
* 半知菌亞門 Deuteromycota
** 芽孢綱 Blastomycetes
***隱球酵母目 Cryptococcales
***擲孢酵母目 Sporobolomycetales
** 絲孢綱 Hyphomycetes
***無孢目 Agonomycetales
****無孢科 Agonomycetaceae
*****絲核屬 Rhizoctonia
*****小菌核屬 sclerotium
***叢梗孢目 Miniliales
****叢梗孢科 Moniliaceae
*****粉孢屬 Oidium
*****叢梗孢屬 Monilia
*****輪枝孢屬 Verticillium
*****梨孢霉屬 Piricaulalia
*****小尾孢屬 Cercosporella
*****葡萄孢屬 Botrytis
****暗色孢科 Dematiaceae
*****黑星孢屬 ''Fusicladium''
*****枝孢屬 ''Cladosporium''
*****尾孢屬 ''Cercospora''
*****長蠕孢屬（蠕蟲孢屬） ''Helminthosporium'' -本屬現在另分為以下三屬
******平臍蠕孢屬（離蠕孢屬） ''Bipolaris''
******內臍蠕孢屬（德氏霉屬） ''Drechslera''
******突臍辱孢屬 ''Exserohilum''
*****鏈格孢屬 Alternaria
*****褐孢霉屬 Fulvia Ciferri
***束梗孢目 Stilbellales
****束梗孢科 Stilbellaceae
*****擬棒束孢屬 Isariopsis
***瘤座孢目 Tuberculariales
****瘤座孢科 Tuberculariaceae
*****赤霉屬 Gibberella
*****赤殼屬 Calonectria
*****叢赤殼屬 Nectria
*****菌寄生屬 Hypornyces
** 腔孢綱 Coelamycetes
***黑盤孢目 Melanconiales
****黑盤孢科 Melanconiaceae
*****痂圓孢屬 ''Sphaceloma''
*****炭疽菌屬 ''Colletotrichum''
*****盤二孢屬 ''Marssonina''
***球殼孢目 Sphaeropsidales
*****莖點霉屬 ''Phoma''
*****大莖點霉屬 ''Macrophoma''
*****擬莖點霉屬 ''Phomopsis''
*****葉點霉屬 ''Phyllosticta''
*****殼囊孢屬 ''Cytospora''
*****色二孢屬 ''Diplodia''
*****殼二孢屬 ''Ascochyta''
*****殼針孢屬 ''Septoria''
根據國際命名法規，每一個生物的種只能有一個合法的學名。但是，一部分子囊菌和擔子菌的無性階段被歸入半知菌，有性階段又被劃入子囊菌門或擔子菌門中，導致同一個真菌種被交叉劃分在不同的單元中，同一個種有兩個學名。因此，1992年在美國俄勒岡州新港(Newport, Oregon)召開的真菌全型會議(Fungal Holomorph Conference)上決定廢除半知菌亞門這一分類。然而現在許多菌類暫時還沒有發現有性階段，或者有性階段很少見，或者人們更習慣使用無性階段的學名時，同時使用無性階段和有性階段的兩個學名依舊是普遍現象。
隨著分子遺傳學研究的深入，今后也許用不著發現菌類的有性階段，也能夠根據遺傳學特征直接判斷其分類歸屬。
無性繁殖真菌的系統發育分類現在通常使用分子系統發生學。 通過對DNA序列（例如rRNA）或多基因系統發育的比較分析構建的系統發生樹可用于推斷無性繁殖真菌與其性繁殖對應物之間的關系。
*多孔木霉(Tolypocladium inflatum)→從中獲得免疫抑制劑環孢素(ciclosporin);
*青霉菌（Penicillium griseofulvum）;
保州，原高麗龍灣縣，又名和義， 是遼入侵高麗后，在朝鮮半島西北部建立的城堡，后被高麗奪取，改名為義州。其地理位置位于鴨綠江東岸，今天北朝鮮平安北道義州郡。
公元916年以后，遼國太祖耶律阿保機建國稱帝，建元神冊，并在中國東北部迅速崛起后發生的戰爭。
隨著公元926年，遼國與渤海國的戰爭以遼國勝利結束，伴隨著大量渤海難民逃亡進入并不同文同種的朝鮮半島。遼國與高麗的關系開始交惡。高麗自認為是中原王朝的分封王，也覺得契丹的崛起影響了其北部擴張的腳步，不斷支持渤海國移民開展各種反對遼國的活動。戰爭于公元985年爆發，先后盡力三次大的武裝沖突，并于1019年停火，定邊界與清川江中上游至鴨綠江下游一線。
994年，遼國第六位皇帝遼圣宗耶律隆緒跟高麗展開了有關與南方的宋朝斷絕藩屬關系，轉而向遼國稱臣納貢的談判。談判的結果是遼國將“鴨綠江東數百里地”賜給高麗，而高麗轉而使用遼國紀年，奉契丹的正朔。名義上與宋朝斷交，而實際上高麗一直沒有斷絕與宋朝的外交往來。
1009年康兆政變武臣康兆謀叛、後為契丹所殺。公元1010年，契丹（遼）再次侵入。高麗放棄開京，王族逃亡江華島。
高麗在新納入版圖的鴨綠江東岸建立了六個城鎮。1016年高麗奉宋的正朔。從屬於北宋。在被遼國發現高麗與宋朝的外交往來后，1019年第3次契丹（遼）侵入，出兵收取鴨綠江東六城，并在遼朝控制的鴨綠江東南岸修筑保州（今朝鮮平安北道義州），作為進攻和控制朝鮮半島的軍事重鎮。
在長達數年的遼與高麗的戰爭結束后，遼國一直控制著保州。而宋由于長期與遼對峙，在其歷史中立場大體與高麗相當，認為是遼國侵略了高麗鴨綠江東土地。
金朝建立以后，高麗仍然提出對鴨綠江東擁有主權。金太祖對高麗的要求沒有拒絕，但提出“爾自取之”的要求。遼國耶律寧與金國交戰，牒告高麗借糧，高麗則乘機以歸還保州城相威脅，耶律寧放棄來遠、保州二城給高麗。高麗接收保州城中“兵杖及錢貨寶物甚多”，并改保州為義州，“以鴨綠江為界，置關防”，“百官賀表”，“刪石紀功”。金有言在先，只好默許。