The Little Typer (The MIT Press)
On Sale Now! Free Shipping Included! Save 10% on the The Little Typer (The MIT Press) by The MIT Press at Translate This Website. Hurry! Limited time offer. Offer valid only while supplies last. An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent
Product Description
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 recursion―can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.
Additional Information
Manufacturer: | The MIT Press |
Publisher: | The MIT Press |
Studio: | The MIT Press |
EAN: | 9780262536431 |
Item Size: | 0.81 x 9 x 9 inches |
Package Weight: | 1.47 pounds |
Package Size: | 7 x 0.81 x 0.81 inches |
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by The MIT Press, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
By Brand: O'Reilly Media
ean: 9781449330897, isbn: 1449330894,
Get moving with Dart, the development platform that helps you build high-performance HTML5 apps for the modern Web. With this guide, you’ll take a hands-on tour of the Dart language, libraries, and tools—including its editor and virtual machineâ€...
By O REILLY
mpn: 47223195, ean: 9781680502350, isbn: 1680502352,
Discover the do's and don'ts involved in crafting readable Swift code as you explore common Swift coding challenges and the best practices that address them. From spacing, bracing, and semicolons to proper API style, discover the whys behind each rec...
By Oak Leaf Enterprises, Incorporated
ean: 9780988232778, isbn: 0988232774,
I have been trying to learn code for that past couple weeks with Apples Swift Guide and YouTube videos but was learning slow as I would get confused. Last night I got the demo of this book and read the first 50 pages. I felt that I learned so much in...
By Packt Publishing - ebooks Account
ean: 9781788299053, isbn: 1788299051,
Explore why ELM is a great alternative to using pure JavaScript and other JS-based solutions by building complete apps and websites.Key FeaturesDevelop your own scalable and modular web applications with Elm to make web development less messy compare...
By Big Nerd Ranch Guides
ean: 9780135161630, isbn: 0135161630,
Kotlin is a statically typed programming language designed to interoperate with Java and fully supported by Google on the Android operating system. Based on Big Nerd Ranch’s popular Kotlin Essentials course, this guide shows you how to work eff...
By Packt Publishing
ean: 9781788399975, isbn: 1788399978,
Get to grips with modern software demands by learning the effective uses of Rust's powerful memory safety.Key FeaturesLearn and improve the sequential performance characteristics of your softwareUnderstand the use of operating system processes in a h...
By Pearson
ean: 9780134444307, isbn: 0134444302,
For courses in Android Programming.  Thinking like a developer — from the start. Created by world-renowned programming instructors Paul and Harvey Deitel, Android How to Program, Third Edition introduces the dynamic world of Android smartpho...
By O'Reilly Media
ean: 9781491992470, isbn: 1491992476,
iOS 11, Swift 4, and Xcode 9 provide many new APIs for iOS developers. With this cookbook, you’ll learn more than 170 proven solutions for tackling the latest features in iOS 11 and watchOS 4, including new ways to use Swift and Xcode to make your ...
By Peach Pit Press
ean: 9780321149312, isbn: 0321149319,
We know what you’re thinking. You’ve heard about AppleScript. You’ve heard that it can do amazing things. You’ve heard that it can automate away the tiring, redundant, repetitive tasks you do with the computer. All true. But you’re not sure...
By Razeware LLC
ean: 9781942878407, isbn: 1942878400,
Make Delightful Animations with Swift! There’s no denying it: creating animations is one of the most enjoyable parts of iOS development. Animations are fun to create, they breathe life into your user interface, and they make your app a delight to u...