具體描述
Daniel P. Friedman is Professor of Computer Science in the School of Informatics, Computing, and Engineering at Indiana University and is the author of many books published by the MIT Press, including The Little Schemer and The Seasoned Schemer (with Matthias Felleisen); The Little Prover (with Carl Eastlund); and The Reasoned Schemer (with William E. Byrd, Oleg Kiselyov, and Jason Hemann).
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer. The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming-pairs, lists, functions, and recursions-can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to type. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.
用戶評價
以前看完一部喜歡的長篇小說或者電視劇的時候都會多少有些失落。讀完瞭這本關於編程的書之後竟然也有瞭類似的感覺。Friedman 的書都是有溫度的。寫瞭一篇算是讀後感的東西，http://mxm.ink/post/2019-06-09-dependent-type/
評分##打個五星吧。。。不過我隻看瞭最後幾章。。。
評分 評分##行文步步推進，節奏略慢，同時過多的專注於自然數，略為trivial。沒有引入inductive type，導緻自然數，列錶等都是作為語言的原語生硬引入，這是最大的硬傷。萬丈高樓本可平地起，奈何基礎設施不夠。 首先 這書我前麵幾乎全跳過瞭。。。大概隻看瞭附錄 如果你覺得速度ok 不是很著急的話 那就慢慢看 零基礎都能懂，自洽 不會scheme都能看。韆萬彆覺得前麵都讀過瞭最後幾章+附錄不看也行，開頭的那些都是開胃菜重要的都在最後。 如果想稍微速成一點dependent type的話 建議直接做...
評分 評分 評分##打個五星吧。。。不過我隻看瞭最後幾章。。。
評分 評分以前看完一部喜歡的長篇小說或者電視劇的時候都會多少有些失落。讀完瞭這本關於編程的書之後竟然也有瞭類似的感覺。Friedman 的書都是有溫度的。寫瞭一篇算是讀後感的東西，http://mxm.ink/post/2019-06-09-dependent-type/
相關圖書
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.tinynews.org All Rights Reserved. 静思书屋 版权所有