Tangent Chang
says to
Happy Web Developer
靠程式去確認程式行為的正確性 比如確定add(1, 2)回傳是3