The Little Typer的书评 (1)

Duke 2019-05-21 18:37:24

几点注意

首先 这书我前面几乎全跳过了。。。大概只看了附录 如果你觉得速度ok 不是很着急的话 那就慢慢看 零基础都能懂,自洽 不会scheme都能看。千万别觉得前面都读过了最后几章+附录不看也行,开头的那些都是开胃菜重要的都在最后。 如果想稍微速成一点dependent type的话 建议直接做...  (展开)

订阅The Little Typer的书评