Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Translate This Website
International Translation Network
International Access
Global Shipping Options Available
  Our Catalog   Computers & Technology   Mobile Phones, Tablets & E-Readers

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


Product Description & Reviews

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.

Features & Highlights

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

The Little Typer (The MIT Press) by The MIT Press

Buy Now:
The Little Typer (The MIT Press)

4.0 out of 5 stars with 221 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$38.00
$34.57
You Save: 9%


Quantity:  

 


 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Name:
Email Address:
Your Message:

Related Best Sellers


Dart: Up and Running: A New, Tool-Friendly Language for Structured Web Apps
By Brand: O'Reilly Media
ean: 9781449330897, isbn: 1449330894,

Swift Style: An Opinionated Guide to an Opinionated Language
By O REILLY
mpn: 47223195, ean: 9781680502350, isbn: 1680502352,

Learn to Code in Swift: The new language of iOS Apps
By Oak Leaf Enterprises, Incorporated
ean: 9780988232778, isbn: 0988232774,

Elm Web Development: An introductory guide to building functional web apps using Elm
By Packt Publishing - ebooks Account
ean: 9781788299053, isbn: 1788299051,

Kotlin Programming: The Big Nerd Ranch Guide
By Big Nerd Ranch Guides
ean: 9780135161630, isbn: 0135161630,

Hands-On Concurrency with Rust: Confidently build memory-safe, parallel, and efficient software in Rust
By Packt Publishing
ean: 9781788399975, isbn: 1788399978,

Android How to Program (3rd Edition)
By Pearson
ean: 9780134444307, isbn: 0134444302,

iOS 11 Swift Programming Cookbook: Solutions and Examples for iOS Apps
By O'Reilly Media
ean: 9781491992470, isbn: 1491992476,

Apple Training Series: AppleScript 1-2-3
By Peach Pit Press
ean: 9780321149312, isbn: 0321149319,

iOS Animations by Tutorials Fourth Edition: iOS 11 and Swift 4 Edition
By Razeware LLC
ean: 9781942878407, isbn: 1942878400,



Privacy Policy / Terms of Service / Accessibility Statement
© 2019 - translateth.is. All Rights Reserved.