# Ray Eldath - 计算机领域的三个重要思想：抽象，分层和高阶 (Highlights) ![rw-book-cover|256](https://readwise-assets.s3.amazonaws.com/static/images/article4.6bc1851654a0.png) ## Metadata **Cover**:: https://readwise-assets.s3.amazonaws.com/static/images/article4.6bc1851654a0.png **Source**:: #from/readwise **Zettel**:: #zettel/fleeting **Status**:: #x **Authors**:: [[Ray Eldath]] **Full Title**:: 计算机领域的三个重要思想：抽象，分层和高阶 **Category**:: #articles #readwise/articles **Category Icon**:: 📰 **URL**:: [ray-eldath.me](https://ray-eldath.me/programming/three-important-ideas/) **Host**:: [[ray-eldath.me]] **Highlighted**:: [[2021-03-19]] **Created**:: [[2022-09-26]] ## Highlights ### 有关抽象 #### “数学抽象” ### 有关分层 #### “Hyrum’s Law” - 随着一个层的用户逐渐增多，层逐渐失去了区隔契约和实现细节的作用：层的每一个可观测行为（不管是不是在契约框定的范围之内）都会被某些用户所依赖，这意味着分层的初衷事实上已不再有效 ### 有关高阶 #### “二村映射 Futamura projections”