形式化方法与编程的未来：Jane Street 为何转变态度

过去25年来，我一直告诉人们，Jane Street 这个组织
根本对形式化方法不感兴趣。