您即将离开知乎,请注意您的帐号和财产安全。
http://joeduffyblog.com/2010/04/25/from-simple-annotations-for-analysis-to-effect-typing/