# Ray Eldath - 计算机领域的三个重要思想：抽象，分层和高阶 (Highlights) ![rw-book-cover|256](https://readwise-assets.s3.amazonaws.com/static/images/article4.6bc1851654a0.png) ## Highlights ### 有关抽象 #### “数学抽象” ### 有关分层 #### “Hyrum’s Law” - 随着一个层的用户逐渐增多，层逐渐失去了区隔契约和实现细节的作用：层的每一个可观测行为（不管是不是在契约框定的范围之内）都会被某些用户所依赖，这意味着分层的初衷事实上已不再有效 ### 有关高阶 #### “二村映射 Futamura projections”