The Little Typer 短评

  • 0 Duke 2019-05-21

    打个五星吧。。。不过我只看了最后几章。。。

  • 1 Sam 2019-02-21

    以前看完一部喜欢的长篇小说或者电视剧的时候都会多少有些失落。读完了这本关于编程的书之后竟然也有了类似的感觉。Friedman 的书都是有温度的。

  • 0 流光 2019-05-17

    语言略微繁琐,但全书从基本type开始,通过一个个小故事的叙述,引出dependent type是如何与theorem proving相辅相成,并在最后指出如何拓展Pie到一个成熟的theorem prover。喜欢!

  • 0 养鱼家希尔伯特 2019-07-23

    Friedman神奇的风格,当小说来看了- -'''

  • 0 Shumo 2019-05-13

    Very approachable introduction to dependent type.

  • 0 ekd123 2019-02-20

    很棒的书。循序渐进地带读者入门依赖类型。

  • 第一页
  • 前一页
  • 后一页