当前位置： 查字典图书网 > 纯粹的向往的图书主页
纯粹的向往

在读 (查看全部)

想读 (查看全部)

读过 (查看全部)

纯粹的向往的评论

  • 评ML程序设计教程
    这本书拖了很久，终于看完了。这本书讲的是SML的函数式编程，不过说到底函数式语言最不可替代最大的优势的地方还是做程序证明，这本书讲的很细甚至罗嗦，不过最有意思的地方还是最后一章，简单讲述了证明定理机的组成和设计。