Sign-In
Cart
Programación profesional de Idris: Cómo diseñar sistemas confiables con tipos dependientes a gran escala
Paperback
Series: Colección de Lenguajes de Próxima Generación, Book 43
Publisher: Independently Published
Published: Nov 6 2025
Pages: 256
Weight: 0.76
Height: 0.54 Width: 6.00 Depth: 9.00
Language: Spanish
Cuando la confianza no se prueba - se demuestra.
Aprende a diseñar sistemas confiables, escalables y matemáticamente correctos con el poder de los tipos dependientes en Idris.
El futuro del software no se basa en esperanza, sino en garantÃas formales.
En un mundo donde los errores cuestan tiempo, dinero y credibilidad, Idris ofrece una revolución silenciosa: un lenguaje donde los programas pueden probar su propia corrección.
Comienzas modelando invariantes simples: lÃmites, validaciones, estructuras seguras.
Luego escalas hacia arquitecturas completas: sistemas que comunican procesos, validan datos y mantienen integridad incluso bajo condiciones extremas.
Tu compilador se convierte en tu aliado - detecta, razona y garantiza.
Ya no solo construyes software funcional; diseñas pruebas de verdad.
Este libro te lleva del dominio técnico a la maestrÃa conceptual: crear sistemas que no pueden fallar.
⚙️ Aprende a diseñar arquitecturas grandes y confiables con tipos dependientes.
Also from
Farmer, Miguel
The ROS2 and Python Advanced Robotics Blueprint: Cutting-Edge Tools for Autonomous Navigation and Intelligent Systems
Farmer, Miguel
Carter, Thompson
Sanders, Rafael
Paperback
The Advanced Guide to ROS2 and Python Robotics: Cutting-Edge Strategies for Developing Smart Robots with Real-World Interactions
Farmer, Miguel
Carter, Thompson
Sanders, Rafael
Paperback
ROS2 and Python in Action: Building Intelligent Robots for Navigation, Sensing, and Real-World Problem Solving
Farmer, Miguel
Carter, Thompson
Sanders, Rafael
Paperback
Innovative Robotics with ROS2 and Python: Advanced Concepts for Building Intelligent, Interactive, and Multi-Robot Systems
Farmer, Miguel
Carter, Thompson
Sanders, Rafael
Paperback
React Native from Scratch: Build Cross-Platform Mobile Apps with JavaScript and Native Performance
Carter, Thompson
Sanders, Rafael
Paperback
Machine Learning with PyTorch: Learn to Build Neural Networks and AI Models with PyTorch
Farmer, Miguel
Paperback
Mastering Data Structures and Algorithms with C++: A Step-by-Step Guide to Advanced Programming Concepts and Techniques
Sanders, Rafael
Farmer, Miguel
Paperback
Programming Autonomous Robots with ROS2 and Python: A Practical Guide to Building Smart Robot Behaviors for Navigation, Sensing, and Interaction
Farmer, Miguel
Carter, Thompson
Sanders, Rafael
Paperback
AWS Cloud for Beginners: An Introduction to Amazon Web Services Fundamentals
Farmer, Miguel
Paperback
Java Made Simple: Master OOP, Build Cross-Platform Apps, and Ace Interviews
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
Python RESTful APIs: Build and Consume APIs with Ease: A Step-by-Step Guide to Creating Robust Web Services with Python
Sanders, Rafael
Farmer, Miguel
Paperback
JavaScript Unleashed Build Interactive Web Apps with Ease: A Complete Guide to Mastering JavaScript and Web Development
Sanders, Rafael
Farmer, Miguel
Paperback
Python-Powered Web Apps: A Practical Guide to Building Front-End Interfaces with HTML, CSS, and JavaScript
Sanders, Rafael
Carter, Thompson
Paperback
Django and JavaScript: Building Scalable Full-Stack Applications with Python, React, and Vue.js
Farmer, Miguel
Carter, Thompson
Sanders, Rafael
Paperback
Full-Stack Development with Python & React: Build Dynamic Web Apps with Django, FastAPI, and Modern Front-End Frameworks
Carter, Thompson
Sanders, Rafael
Paperback
Cross-Platform Programming with JavaScript & TypeScript: Create High-Performance Apps Using React Native, Electron, and Node.js
Carter, Thompson
Sanders, Rafael
Paperback
Python Programming Essentials: Build Real-World Applications from Scratch: A Step-by-Step Guide to Mastering Python for Developers
Sanders, Rafael
Farmer, Miguel
Paperback
Clean Code Mastery: Writing Maintainable and Scalable Software: A Step-by-Step Guide to Writing Clean, Readable Code
Farmer, Miguel
Sanders, Rafael
Paperback
Ruby for Beginners, From Fundamentals to Building Full-Stack Applications: The Ultimate Guide to Learning Ruby and Creating Interactive, High-Quality
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
Git and GitHub for Beginners: A Step-by-Step Guide to Version Control and Collaboration
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
Python Web Scraping: Collect and Analyze Data with BeautifulSoup: A Comprehensive Guide to Web Scraping Using Python
Farmer, Miguel
Sanders, Rafael
Paperback
Java Programming for Beginners: Learn Java from the Ground Up: A Step-by-Step Guide to Writing Java Applications and Programs
Sanders, Rafael
Farmer, Miguel
Paperback
Mastering Go, The Complete Guide to Building Scalable Applications: Unlock the Power of Go Language for HighPerformance Software Development
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
Azure für Entwickler: Bereitstellen und Verwalten von Anwendungen in der Microsoft Cloud
Farmer, Miguel
Paperback
Programación profesional de Elixir: Cómo diseñar arquitecturas escalables en la máquina virtual Erlang
Farmer, Miguel
Paperback
Elixir para principiantes: Cómo crear aplicaciones escalables, confiables y concurrentes con facilidad
Farmer, Miguel
Paperback
Guía intermedia de Elixir: Cómo aplicar Elixir en sistemas web y distribuidos del mundo real
Farmer, Miguel
Paperback
Programación profesional de Zig: Cómo desarrollar sistemas complejos, de alto rendimiento y seguros
Farmer, Miguel
Paperback
Zig para principiantes: Cómo crear software más seguro y rápido con una alternativa moderna a C
Farmer, Miguel
Paperback
Programación profesional en F#: Cómo aprender el lenguaje funcional de Microsoft para el desarrollo .NET
Farmer, Miguel
Paperback
F# para principiantes: Cómo aprender el lenguaje funcional de Microsoft para el desarrollo .NET
Farmer, Miguel
Paperback
Guía intermedia de F#: Cómo aplicar conceptos funcionales y orientados a objetos con F#
Farmer, Miguel
Paperback
Guía intermedia de Idris: Cómo crear aplicaciones con seguridad de tipos y verificadas con Idris
Farmer, Miguel
Paperback
Idris para principiantes: Cómo explorar los tipos dependientes y la programación funcional
Farmer, Miguel
Paperback
Expert ROS2 and Python for Autonomous Robotics: Advanced Techniques for Intelligent Systems, Machine Learning, and Multi-Robot Coordination
Farmer, Miguel
Carter, Thompson
Sanders, Rafael
Paperback
Autonomous Robotics with ROS2 and Python: From Basics to Advanced Behavior Control for Intelligent Systems
Carter, Thompson
Sanders, Rafael
Farmer, Miguel
Paperback
Also in
General Computers
This Program Is Brought to You by . . .: Distributing Television News Online
Braun, Joshua A.
Paperback
The Year in Tech, 2026: The Insights You Need from Harvard Business Review
Webb, Amy
Review, Harvard Business
Anthony, Scott D.
Paperback
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All
Yudkowsky, Eliezer
Soares, Nate
Hardcover
The AI Con: How to Fight Big Tech's Hype and Create the Future We Want
Bender, Emily M.
Hanna, Alex
Hardcover
Hbr's 10 Must Reads on AI (with Bonus Article How to Win with Machine Learning by Ajay Agrawal, Joshua Gans, and AVI Goldfarb)
Review, Harvard Business
Davenport, Thomas H.
Iansiti, Marco
Paperback
Fans First: Change The Game, Break the Rules & Create an Unforgettable Experience
Cole, Jesse
Paperback
Generative Ai: The Insights You Need from Harvard Business Review
Cremer, David De
Review, Harvard Business
Mollick, Ethan
Paperback
The Technological Republic: Hard Power, Soft Belief, and the Future of the West
Karp, Alexander C.
Zamiska, Nicholas W.
Hardcover
Minecraft: Roll for Adventure: The Temple of the Charged Creeper
Forbeck, Matt
Forbeck, Marty
Hardcover
The Experimentation Machine: Finding Product-Market Fit in the Age of AI
Bussgang, Jeffrey J.
Hardcover
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
Kleppmann, Martin
Paperback
AI Snake Oil: What Artificial Intelligence Can Do, What It Can't, and How to Tell the Difference
Narayanan, Arvind
Kapoor, Sayash
Hardcover
Minecraft: Guide Collection 4-Book Boxed Set (Updated): Survival (Updated), Creative (Updated), Redstone (Updated), Combat
Mojang Ab
The Official Minecraft Team
Hardcover
The Black Swan: Second Edition: The Impact of the Highly Improbable: With a New Section: On Robustness and Fragility
Taleb, Nassim Nicholas
Paperback
Atlas of AI: Power, Politics, and the Planetary Costs of Artificial Intelligence
Crawford, Kate
Paperback
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Matthes, Eric
Paperback
The Fourth Intelligence Revolution: The Future of Espionage and the Battle to Save America
Vinci, Anthony
Hardcover
The Thinking Machine: Jensen Huang, Nvidia, and the World's Most Coveted Microchip
Witt, Stephen
Hardcover
You to the Power of Two: Redefining Human Potential in the Age of Identic AI
Bradley, Joseph
Tapscott, Don
Hardcover
Digital Ethics in the Age of AI: Navigating the ethical frontier today and beyond
Mehan, Julie
Paperback
AI for Educators: Learning Strategies, Teacher Efficiencies, and a Vision for an Artificial Intelligence Future
Miller, Matt
Paperback
Artificial Intelligence All-In-One for Dummies
Mueller, John Paul
Minnick, Chris
Massaron, Luca
Paperback
Hands-On Large Language Models: Language Understanding and Generation
Alammar, Jay
Grootendorst, Maarten
Paperback
More Human: How the Power of AI Can Transform the Way You Lead
Hougaard, Rasmus
Carter, Jacqueline
Hardcover
The Coming Wave: Technology, Power, and the Twenty-First Century's Greatest Dilemma
Suleyman, Mustafa
Hardcover
The Podcast Pantheon: 101 Podcasts That Changed How We Listen--From Wtf to Serial
Malin, Sean
Hardcover
AI Made Simple. Results Made Real.: An Executive's Guide to Partnering with the Future
Perley, Kathleen
Paperback
AI Snake Oil: What Artificial Intelligence Can Do, What It Can't, and How to Tell the Difference
Narayanan, Arvind
Kapoor, Sayash
Paperback
Tubes: A Journey to the Center of the Internet with a New Introduction by the Author
Blum, Andrew
Paperback
Artificial Intelligence: A Guide for Thinking Humans (with a New Preface)
Mitchell, Melanie
Paperback
The Cybernetic Society: How Humans and Machines Will Shape the Future Together
Husain, Amir
Hardcover
Beast in the Machine: How Robotics and AI Will Transform Warfare and the Future of Human Conflict
Dougherty, George M.
Hardcover
Microsoft 365 Excel All-In-One for Dummies
Alexander, Michael
Kusleika, Dick
Ringstrom, David H.
Paperback
Laptops for Seniors in Easy Steps, 9th Edition: Covers All Laptops with the Windows 11 2024 Update
Vandome, Nick
Paperback
AP Computer Science Principles Premium, 2026: Prep Book with 6 Practice Tests + Comprehensive Review + Online Practice
Reichelson, Seth
Paperback
What Is Intelligence?: Lessons from AI about Evolution, Computing, and Minds
Aguera Y. Arcas, Blaise
Paperback
The Death of Expertise: The Campaign Against Established Knowledge and Why It Matters
Nichols, Tom
Paperback
Minecraft: Exploded Builds: Medieval Fortress: An Official Mojang Book
The Official Minecraft Team
Mojang Ab
Paperback
RHCSA Red Hat Enterprise Linux 9: Training and Exam Preparation Guide (EX200), Third Edition
Ghori, Asghar
Paperback
The Emergent Mind: How Intelligence Arises in People and Machines
Suri, Gaurav
McClelland, Jay
Hardcover
Embedded Systems with ARM Cortex-M Microcontrollers in Assembly Language and C: Fourth Edition
Zhu, Yifeng
Paperback
AI Valley: Microsoft, Google, and the Trillion-Dollar Race to Cash in on Artificial Intelligence
Rivlin, Gary
Hardcover
The Year in Tech, 2025: The Insights You Need from Harvard Business Review
Webb, Amy
Farri, Elisa
Review, Harvard Business
Paperback
Fundamentals of Data Engineering: Plan and Build Robust Data Systems
Reis, Joe
Housley, Matt
Paperback
The Devops Handbook, 2nd Edition: How to Create World-Class Agility, Reliability, & Security in Technology Organizations
Kim, Gene
Humble, Jez
Debois, Patrick
Paperback
The Magic of Code: How Digital Language Created and Connects Our World--And Shapes Our Future
Arbesman, Samuel
Hardcover
Mindmasters: The Data-Driven Science of Predicting and Changing Human Behavior
Matz, Sandra
Hardcover
Designing Machine Learning Systems: An Iterative Process for Production-Ready Applications
Huyen, Chip
Paperback
Building Applications with AI Agents: Designing and Implementing Multiagent Systems
Albada, Michael
Paperback
The AI Ultimatum: Preparing for a World of Intelligent Machines and Radical Transformation
Brown, Steve
Hill, Paul
Paperback
Me, My Customer, and AI: The New Rules of Entrepreneurship
Werdelin, Henrik
Thorne, Nicholas
Hardcover
R for Data Science: Import, Tidy, Transform, Visualize, and Model Data
Wickham, Hadley
Grolemund, Garrett
Cetinkaya-Rundel, Mine
Paperback
Prompt Engineering for Generative AI: Future-Proof Inputs for Reliable AI Outputs
Taylor, Mike
Phoenix, James
Paperback
Fundamentals of Software Architecture: A Modern Engineering Approach
Richards, Mark
Ford, Neal
Paperback
Practical Charts: The Essential Guide to Creating Clear, Compelling Charts for Reports and Presentations
Desbarats, Nicholas P.
Paperback
Graphic Artists Guild Handbook, 17th Edition: Pricing & Ethical Guidelines
The Graphic Artists Guild
Paperback
Hands-On Machine Learning with Scikit-Learn and Pytorch: Concepts, Tools, and Techniques to Build Intelligent Systems
Géron, Aurélien
Paperback
AI for the Authentic Leader: How to Communicate More Effectively Without Losing Your Humanity
Shapira, Allison
Hardcover
Building AI-Powered Products: The Essential Guide to AI and Genai Product Management
Nika, Marily
Paperback
AI for Life: 100+ Ways to Use Artificial Intelligence to Make Your Life Easier, More Productive...and More Fun!
Quillian, Celia
Paperback
Verified: How to Think Straight, Get Duped Less, and Make Better Decisions about What to Believe Online
Caulfield, Mike
Wineburg, Sam
Paperback
Mastering Video Content Creation: A Practical Guide to Social Media Growth with Expertly Shot and Edited Posts
Espejo, Justin
Paperback
AI for Business: The Beginner's Fast Track to ChatGPT for Productivity, Profit, and Growth (2 books in 1)
Grant, Russel
Paperback
Isc2 Cissp Certified Information Systems Security Professional Official Study Guide & Practice Tests Bundle
Stewart, James Michael
Gibson, Darril
Chapple, Mike
Paperback
The Chaos Machine: The Inside Story of How Social Media Rewired Our Minds and Our World
Fisher, Max
Paperback
The Mechanic and the Luddite: A Ruthless Criticism of Technology and Capitalism
Sadowski, Jathan
Paperback
Software Architecture: The Hard Parts: Modern Trade-Off Analyses for Distributed Architectures
Richards, Mark
Sadalage, Pramod
Ford, Neal
Paperback
Rewiring Your Mind for AI: How to Think, Work, and Thrive in the Age of Intelligence
Wood, David a.
Paperback
AI with Intention: Principles and Action Steps for Teachers and School Leaders
Frontier, Tony
Paperback
Prompt Engineering for Llms: The Art and Science of Building Large Language Model-Based Applications
Ziegler, Albert
Berryman, John
Paperback
Rewiring Democracy: How AI Will Transform Our Politics, Government, and Citizenship
Sanders, Nathan E.
Schneier, Bruce
Hardcover
Brave New Words: How AI Will Revolutionize Education (and Why That's a Good Thing)
Khan, Salman
Hardcover
Prediction Machines, Updated and Expanded: The Simple Economics of Artificial Intelligence
Goldfarb, Avi
Agrawal, Ajay
Gans, Joshua
Hardcover
Cloud Finops: Collaborative, Real-Time Cloud Value Decision Making
Storment, J. R.
Fuller, Mike
Paperback
How To Think With AI: A Simple Guide to Boost Your Brain Power, Creativity, and Performance
McCauley, Alison
Hardcover
Algorithms to Live by: The Computer Science of Human Decisions
Christian, Brian
Griffiths, Tom
Paperback