The Little Typer 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

☆☆☆☆☆
簡體網頁||繁體網頁

Daniel P. Friedman 作者

MIT Press

譯者

2018-10-16 出版日期

424 頁數

GBP 30.00 價格

Paperback

叢書系列

9780262536431 圖書編碼

The Little Typer 在線電子書圖書標籤: 類型係統計算機科學計算機編程 Types Programming CS programming

喜歡 The Little Typer 在線電子書的讀者還喜歡

下載鏈接在頁面底部

點擊這裡下載

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

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-12-22

The Little Typer 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

The Little Typer 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

The Little Typer 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

The Little Typer 在線電子書用戶評價

評分☆☆☆☆☆

Very approachable introduction to dependent type.

評分☆☆☆☆☆

很棒的書。循序漸進地帶讀者入門依賴類型。

評分☆☆☆☆☆

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

評分☆☆☆☆☆

在看前麵幾章，猶如在看哲學書，盡是一些毫無意義的定義，滿是一些脫褲子放屁的做法。說是不能用recursion寫function，那還玩個屁，於是強行定義瞭個iter-nat來用，可iter-nat他媽不recursive嗎，最後齣個rec-nat...再強加解釋說這樣做有什麼什麼好處好自圓其說，跟哲學傢一個德行。Friedman的書很多都很喜歡，不過這本書講述的理論，似乎不太行。放棄。

評分☆☆☆☆☆

Very approachable introduction to dependent type.

The Little Typer 在線電子書著者簡介

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 在線電子書著者簡介

The Little Typer 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

The Little Typer 在線電子書圖書描述

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 在線電子書下載 mobi epub pdf txt 在線電子書下載

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!