原来我不会Java

Proving Programs Correct Using Plain Old Java Types

什么鬼。。。表示orz,应该重新去看看TAPL ,然后看看ATAPL

14 条评论