您即将离开知乎，请注意您的账号和财产安全。
http://logan.tw/posts/2014/11/12/soundness-and-completeness-of-the-type-system/
