1樓：Anqur
任意 boolean algebra 都是 De Morgan algebra (有 logical negation 並能遵守 De Morgan's law), 但 unit interval [0, 1] 也是 De Morgan algebra 因為 neg x = (1 - x).
我感覺你得按 cubical type theory 想要做到的事情來談這事, CuTT 不僅給 V 哥的 univalence axiom 帶來了一定程度的 (或說更大程度的, 因為 SSTT/simplicial type theory 在 HITs 上沒 CuTT 強) 的 justification, 而且 function 和 propositional 的 extensionality (最大好處 — 有排中律了) 可以在 CuTT 不費力被證明, 因為這個 unit interval.
對於第乙個問題我沒理解題意... 但看定義這個 interval 的兩個點 u0, u1, 後者 u1 是被生產出來的, 兩者也不在相同 context, 樓主想匹配什麼呢? 啊之後再慢慢研究跟進回答吧.
為什麼要設計使用者等級？
已上回答都是站在非使用者角度，但區分等級這件事的受眾是使用者，我們為什麼要對使用者做分群？這個回答應來自使用者的需求，站在使用者角度考慮這個策略到底是怎麼產生的 我個人認為對使用者分群，是為了滿足不同使用者對產品 服務不同層次的要求 Case 你是乙個開麵館的，你提供的選單就是服務，有的人一碗面就滿...
請問為什麼Go要設計channel，channel能完成的事，用sync包中的工具是不是也能完成？
傑林修 其實大部分語言能做的事，彙編都能完成呢 要設計chan，明顯就是語言的設計場景會大量使用到chan。不光光是chan，還有對應的select語法呢，兩個放一起就大概能知道設計的意圖是什麼。大家都是圖靈完備的語言，能不能完成什麼不重要。怎麼更快更穩定心智負擔更小的解決目標場景才重要。 蔣甬杭 ...
為什麼設計中要留白？
Adamsay 留白不留白只是為了去體現一幅作品的調性，不留白或者留白少給人的是一種擁擠熱鬧嘈雜混亂的視覺感受，留白給人一種冷清，通透，自然舒暢的視覺感受 當你的作品需要表現其中一種視覺表現時你就可以對號入座了，留白只是運用於設計的一種表現手法，是否要用要根據你這個作品的專案背景 風格調性來決定的，...