---
product_id: 90776760
title: "The Little Typer (Mit Press)"
brand: "daniel p. friedmandavid thrane christiansenduane bibby"
price: "B/.196"
currency: PAB
in_stock: true
reviews_count: 13
url: https://www.desertcart.com.pa/products/90776760-the-little-typer-mit-press
store_origin: PA
region: Panama
---

# The Little Typer (Mit Press)

**Brand:** daniel p. friedmandavid thrane christiansenduane bibby
**Price:** B/.196
**Availability:** ✅ In Stock

## Quick Answers

- **What is this?** The Little Typer (Mit Press) by daniel p. friedmandavid thrane christiansenduane bibby
- **How much does it cost?** B/.196 with free shipping
- **Is it available?** Yes, in stock and ready to ship
- **Where can I buy it?** [www.desertcart.com.pa](https://www.desertcart.com.pa/products/90776760-the-little-typer-mit-press)

## Best For

- daniel p. friedmandavid thrane christiansenduane bibby enthusiasts

## Why This Product

- Trusted daniel p. friedmandavid thrane christiansenduane bibby brand quality
- Free international shipping included
- Worldwide delivery with tracking
- 15-day hassle-free returns

## Description

The Little Typer (Mit Press)

## Images

![The Little Typer (Mit Press) - Image 1](https://m.media-amazon.com/images/I/81enqxvxsML.jpg)

## Customer Reviews

### ⭐⭐⭐⭐⭐ 5.0 out of 5 stars







  
  
    As Promised
  

*by J***A on Reviewed in the United States on September 22, 2024*

: )

### ⭐⭐⭐⭐⭐ 5.0 out of 5 stars







  
  
    Approachable introduction to dependent types that treats the subject with levity and fun
  

*by J***P on Reviewed in the United States on December 16, 2019*

I’ve been (slowly) working my way through The Little Typer. It’s a deep dive on dependent types, starting with the very basics and building up a toy language one step at a time. I can feel it gradually changing how I think about programming (heck, how I think about thinking).It’s really, really enjoyable. The format is very approachable, even fun. Rigorous and demanding, yet doesn’t take itself too seriously. Some lisp experience is helpful, but probably (maybe?) not necessary. But do yourself a favor and learn lisp anyway ;-)If you’re someone who is already proficient with dependent types, Idris, Coq, etc it might be too basic for you - but it never hurts to solidify your foundations, right? Or maybe wait for The Seasoned Typer ;-) Overall, two thumbs up, highly recommended.

### ⭐⭐⭐⭐⭐ 5.0 out of 5 stars







  
  
    Exactly the book I've been waiting for
  

*by J***S on Reviewed in the United States on January 7, 2019*

Let me be clear; this is not a book for everyone. It did happen, though, to be *exactly* the right book for me. It's written, like the other books in the "Little X-er" series, in the form of a dialogue between a teacher and an (extremely good) student. This means that every point in the book invites you to figure out what the answer should be for yourself; this kind of mental struggle is incredibly valuable in learning material and making it your own.The topic is Type Theory; specifically, the kind of intuitionistic type theory that underlies languages like Agda, Idris, and Coq. This book provides a lovely gem of a language (pie) in which to explore these ideas. If you're interested in proof-oriented languages like these and you have substantial familiarity with functional languages, I HIGHLY recommend this book.

---

## Why Shop on Desertcart?

- 🛒 **Trusted by 1.3+ Million Shoppers** — Serving international shoppers since 2016
- 🌍 **Shop Globally** — Access 737+ million products across 21 categories
- 💰 **No Hidden Fees** — All customs, duties, and taxes included in the price
- 🔄 **15-Day Free Returns** — Hassle-free returns (30 days for PRO members)
- 🔒 **Secure Payments** — Trusted payment options with buyer protection
- ⭐ **TrustPilot Rated 4.5/5** — Based on 8,000+ happy customer reviews

**Shop now:** [https://www.desertcart.com.pa/products/90776760-the-little-typer-mit-press](https://www.desertcart.com.pa/products/90776760-the-little-typer-mit-press)

---

*Product available on Desertcart Panama*
*Store origin: PA*
*Last updated: 2026-02-23*