計算機科學領域的高大上名詞（中英文）有哪些？

01-04

大家平時用來裝B的名詞

我基於拉姆達演算和不動點組合子設計出來這門語言，已經具有自舉的能力並且由於精心設計的類型系統，能在編譯時進行類型推導，極大的減少了類型簽名的數量，並且，閱讀－求值－輸入－循環已經能夠利用僅在時進行加速，得益於函數式編程語言無副作用的特性，這門語言在並行計算的領域表現突出，利用映射規約和惰性求值，已經能在大規模集群上使用，同時兼具可靠性，冗餘性和可擴展性。

Curry-Howard Correspondence

絕對鎮得住場

A monad is just a monoid in the category of endofunctors, what"s the problem?

Catamorphism | Anamorphism | Paramorphism | Hylomorphism

Zygohistomorphic prepromorphisms

魯棒性（Robust）

高內聚，低耦合。

還有，記得第一次在Python中接觸到函數式編程語言中的currying（我曾看到過這些音譯版本：科里化、加里化）（what is currying - stackoverflow）這個概念的時候也感覺到（自己）很高大上。

再比如，閉包（closure）、裝飾器（decorator）、協（同）程（序）（coroutine）、lambda……。馬丹，學Python一個也逃不了。

還有，我們時不時扔出一句：RTFM（Read the fucking manual）、STFW（Search the fucking web），揮一揮衣袖、深藏功與名的時候。（當然，RTFM、STFW也不限於CS）

某個前端神牛對我說過，「如果我說CSS，你們就會想到那個傻逼的盒模型，但是如果說中文，層疊樣式表，一聽就高大上了。」

homotopy type theory