2011年我讀了Joel Spolsky 的神文The Law of Leaky Abstraction(

The Law of Leaky Abstractions

之後(距離發表已過了9年)

最近才發現有人也用這個思想寫文章了
其中這邊很好地從實務角度看甚麼是滲漏和甚麼不是滲漏:

測試與抽象滲漏

前日，他寫的這一篇有很強的辯論味道：

另眼看抽象滲漏

不想討論「如果程式庫或框架在應用的情境超越了抽離時設定的情境，無論如何都會滲漏。」這個說法，因為設定這個詞是在自然語言中使用的。

聯想到Rust 中的用Crate 包含unsafe 後作為safe 使用的的想法。想要安全只要用邏輯語言表現如何終止傳染就可以了。

啊...啊...