1樓：
發揮下物理民科, 每個物質(DSL)都有對應的反物質(interpreter), 物質(DSL)可以構造得很複雜, 但只要碰上反物質(interpreter), 就會pair湮滅成能量來推動機器f產生運算結果
pair f就是讓兩個結構一樣但性質"相反"(在範疇論是指的arrow方向相反)的東西, 在結構上互相抵銷, 最終縮成乙個運算結果, f則決定了在抵銷過後, 達到運算結果的步驟
也可以模擬成向量空間的概念, 差別僅在於Free涵蓋範圍廣, 結構通常比vector space複雜
Free模擬作vector space
coFree模擬作covector space
構造Free中的DSL可以模擬作構造vector space中的乙個vector
乙個vector跟covector作dot內積運算, 變成scalar, 乙個運算結果
乙個DSL跟interpreter作pair f運算, 變成r型別的玩意, 也是乙個運算結果
如何理解以終為始這句話？
我也希望在我死的時候，親人可以用負責任，安全，勇敢，善良，他愛了自己的妻子一輩子，顧家，是一位好父親，來形容我，紀念我。這也是我一生的追求，心中的燈塔。這就是以終為始吧。 西門慶 以終為始 堅守你的目標，就是為了讓你所做的事情能夠為你的目標添磚加瓦，通過積累不斷地促成目標的實現。所有的事情都經歷了2...
大家是如何理解妻子動輒以離婚為要挾的發洩方式的？ 婚姻時間久了必須通過規則來維持彼此的親密關係嗎？
鄧炯源 很多人都會忽略了在愛情中的乙個基礎需求，就是安全感，這裡提的安全感可以理解為馬斯洛裡的 尊重需求 情感需求 那一層，如果缺失，人就會有剝奪感，就會本能的想去獲得。如果要了解為什麼妻子動輒要以 分手 離婚 為要挾，那麼要先去了解剝奪感對人的影響。字面意思大家可以這樣理解，你本來有一樣玩具，你一...
如何真正理解天地不仁以萬物為芻狗？
wency 天地不仁，以萬物為芻狗 聖人不仁，以百姓為芻狗。天地，為普世間最恆久之象狀，其有大信，體現於 種因而得果 中中國人常說，種瓜得瓜種豆得豆 因果是不虛的，天地間亦然。天地是無有一己之私欲的 故而其不會有偏私，讓種惡因者得善果，種善因者得惡果 縱一時之體現，報盡仍現昔日之因。而聖人，至誠通神...