Type Theory Books

What if your app could serve twice as many users simply by making it accessible? Millions of people with disabilities want to use Android apps but face barriers created by poor design choices. This book shows you how to remove those barriers and build applications that work seamlessly for everyone. You'll learn the practical techniques for implementing screen reader support, voice control, and other assistive technologies. Discover how semantic markup, proper content descriptions, and inclusive design patterns create apps that are easier to use for all users. Through real-world examples and step-by-step guidance, you'll master the Android Accessibility Framework and understand WCAG 2.1 standards. Learn testing strategies that reveal accessibility issues before your users encounter them. By the end, you'll have the knowledge to make accessibility a core part of your development process, not an afterthought—expanding your market reach while creating genuinely inclusive digital experiences.

Imagine delivering software that consistently meets stakeholder expectations, where every feature works exactly as intended, and your team moves with confidence through changes and refactoring. This is the reality when you master acceptance test-driven development. This comprehensive guide takes you beyond the basics to show you how ATDD transforms the way teams develop software. You'll learn how to write acceptance tests that serve as living documentation, collaborate effectively with business stakeholders to define clear acceptance criteria, and integrate ATDD seamlessly into your Extreme Programming workflow. Whether you're struggling with unclear requirements, dealing with late-stage defect discovery, or simply want to elevate your development practices, this book provides practical strategies, real-world examples, and proven techniques. You'll understand not just the "how" but the "why" behind acceptance test-driven development, enabling you to make informed decisions about implementation in your own context. Master this essential XP practice and watch your team's productivity and code quality soar.

Take your TypeScript skills from intermediate to advanced in just 30 days with a structured, project-driven approach. This book guides you through focused techniques that matter most: mastering advanced types like generics and conditional types, writing reliable async code with proper error handling, integrating TypeScript with modern frameworks, and building confidence through comprehensive testing strategies. Each day builds on the previous one, combining theory with hands-on coding projects that you'll actually use. You'll refactor real code, understand why type safety matters, and develop the patterns that separate good TypeScript developers from great ones. By day 30, you'll have the skills to write safer, more maintainable code and the portfolio projects to prove it. This isn't theory—it's practical, accelerated learning designed for developers ready to level up.

Discover how to build software that meets expectations from day one. Acceptance test-driven development (ATDD) transforms how teams define, test, and deliver quality software by writing acceptance tests before development begins. This practical guide shows you how to collaborate with stakeholders to define clear acceptance criteria, automate those criteria into executable tests, and use them to guide development and beta testing efforts. You'll learn to bridge the communication gap between business requirements and technical implementation, reduce costly defects discovered late in the cycle, and create living documentation that keeps pace with your product. Whether you're a QA professional, beta tester, or developer, this book provides actionable strategies, real-world examples, and proven frameworks to implement ATDD in your organization. Move beyond traditional testing approaches and join teams that are catching defects earlier, improving stakeholder alignment, and delivering software with confidence.

Building systems that reliably handle data is one of the hardest challenges in backend development. Without a solid understanding of ACID properties, you risk data corruption, lost transactions, and system failures that cascade through your application. This book demystifies the four pillars of database reliability—Atomicity, Consistency, Isolation, and Durability—and shows you exactly how to apply them in real-world scenarios. You'll learn why these properties matter, how they work under the hood, and how to leverage them when designing transactions, choosing databases, and handling failures. Whether you're building a financial system that can't afford to lose a penny or a high-traffic application that needs to scale, understanding ACID properties gives you the confidence to make architectural decisions that keep your data safe and your systems running smoothly.