本本书屋

 本本书屋 logo

The Little Typer 2025 pdf epub mobi 電子書 下載

The Little Typer
☆☆☆☆☆
簡體網頁||繁體網頁

The Little Typer pdf epub mobi 著者簡介

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).

The Little Typer pdf epub mobi 圖書描述

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.

The Little Typer 2025 pdf epub mobi 電子書 下載

The Little Typer pdf epub mobi 圖書目錄

下載链接在页面底部


點擊這裡下載
    
linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 複製鏈接
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2025-01-22

The Little Typer 2025 pdf epub mobi 電子書 下載

The Little Typer 2025 pdf epub mobi 電子書 下載

The Little Typer 2025 pdf epub mobi 電子書 下載


喜欢 The Little Typer 電子書 的读者还喜欢


The Little Typer pdf epub mobi 讀後感

評分☆☆☆☆☆

首先 這書我前麵幾乎全跳過瞭。。。大概隻看瞭附錄 如果你覺得速度ok 不是很著急的話 那就慢慢看 零基礎都能懂，自洽 不會scheme都能看。韆萬彆覺得前麵都讀過瞭最後幾章+附錄不看也行，開頭的那些都是開胃菜重要的都在最後。 如果想稍微速成一點dependent type的話 建議直接做...

評分☆☆☆☆☆

首先 這書我前麵幾乎全跳過瞭。。。大概隻看瞭附錄 如果你覺得速度ok 不是很著急的話 那就慢慢看 零基礎都能懂，自洽 不會scheme都能看。韆萬彆覺得前麵都讀過瞭最後幾章+附錄不看也行，開頭的那些都是開胃菜重要的都在最後。 如果想稍微速成一點dependent type的話 建議直接做...

評分☆☆☆☆☆

首先 這書我前麵幾乎全跳過瞭。。。大概隻看瞭附錄 如果你覺得速度ok 不是很著急的話 那就慢慢看 零基礎都能懂，自洽 不會scheme都能看。韆萬彆覺得前麵都讀過瞭最後幾章+附錄不看也行，開頭的那些都是開胃菜重要的都在最後。 如果想稍微速成一點dependent type的話 建議直接做...

評分☆☆☆☆☆

首先 這書我前麵幾乎全跳過瞭。。。大概隻看瞭附錄 如果你覺得速度ok 不是很著急的話 那就慢慢看 零基礎都能懂，自洽 不會scheme都能看。韆萬彆覺得前麵都讀過瞭最後幾章+附錄不看也行，開頭的那些都是開胃菜重要的都在最後。 如果想稍微速成一點dependent type的話 建議直接做...

評分☆☆☆☆☆

首先 這書我前麵幾乎全跳過瞭。。。大概隻看瞭附錄 如果你覺得速度ok 不是很著急的話 那就慢慢看 零基礎都能懂，自洽 不會scheme都能看。韆萬彆覺得前麵都讀過瞭最後幾章+附錄不看也行，開頭的那些都是開胃菜重要的都在最後。 如果想稍微速成一點dependent type的話 建議直接做...

類似圖書 點擊查看全場最低價
出版者:MIT Press
作者:Daniel P. Friedman
出品人:
頁數:424
譯者:
出版時間:2018-10-16
價格:GBP 30.00
裝幀:Paperback
isbn號碼:9780262536431
叢書系列:

圖書標籤: 類型係統  計算機科學  計算機  編程  Types  Programming  CS  programming   

The Little Typer 2025 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

The Little Typer pdf epub mobi 用戶評價

評分☆☆☆☆☆

以前看完一部喜歡的長篇小說或者電視劇的時候都會多少有些失落。讀完瞭這本關於編程的書之後竟然也有瞭類似的感覺。Friedman 的書都是有溫度的。寫瞭一篇算是讀後感的東西，http://mxm.ink/post/2019-06-09-dependent-type/

評分☆☆☆☆☆

語言略微繁瑣，但全書從基本type開始，通過一個個小故事的敘述，引齣dependent type是如何與theorem proving相輔相成，並在最後指齣如何拓展Pie到一個成熟的theorem prover。喜歡！

評分☆☆☆☆☆

以前看完一部喜歡的長篇小說或者電視劇的時候都會多少有些失落。讀完瞭這本關於編程的書之後竟然也有瞭類似的感覺。Friedman 的書都是有溫度的。寫瞭一篇算是讀後感的東西，http://mxm.ink/post/2019-06-09-dependent-type/

評分☆☆☆☆☆

以前看完一部喜歡的長篇小說或者電視劇的時候都會多少有些失落。讀完瞭這本關於編程的書之後竟然也有瞭類似的感覺。Friedman 的書都是有溫度的。寫瞭一篇算是讀後感的東西，http://mxm.ink/post/2019-06-09-dependent-type/

評分☆☆☆☆☆

語言略微繁瑣，但全書從基本type開始，通過一個個小故事的敘述，引齣dependent type是如何與theorem proving相輔相成，並在最後指齣如何拓展Pie到一個成熟的theorem prover。喜歡！

The Little Typer 2025 pdf epub mobi 電子書 下載

分享鏈接

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 複製鏈接


相關圖書



服務條款
聯繫我們
關於我們
隱私政策

本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等

友情鏈接

中國國家圖書館
國立台灣圖書館
美國國會圖書館
開放圖書館 openlibrary.org

© 2025 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有