توسعه نوع‌محور با ایدریس ۲۰۱۷
Type-Driven Development with Idris 2017

کتاب «توسعه‌ی نوع-محور با ایدریس» (Type-Driven Development with Idris) نوشته‌ی خالق زبان ایدریس، به شما می‌آموزد که چگونه با استفاده از یک سیستم نوع پیشرفته، عملکرد و دقت برنامه‌های خود را بهبود بخشید. این کتاب با استفاده از ایدریس، زبانی که برای پشتیبانی از توسعه‌ی نوع-محور طراحی شده است، به شما آموزش می‌دهد.

خرید نسخه‌ی چاپی کتاب، شامل نسخه‌ی الکترونیکی رایگان در قالب‌های PDF، Kindle و ePub از انتشارات Manning Publications می‌باشد.

درباره‌ی فناوری

با خطاهای نوع دست و پنجه نرم نکنید! توسعه‌ی نوع-محور رویکردی به کدنویسی است که انواع را به عنوان پایه‌ی کد شما در بر می‌گیرد – اساساً به عنوان مستندات داخلی که کامپایلر شما می‌تواند از آن برای بررسی روابط داده و سایر فرضیات استفاده کند. با این رویکرد، می‌توانید مشخصات را در مراحل اولیه‌ی توسعه تعریف کرده و کدی بنویسید که نگهداری، آزمایش و گسترش آن آسان باشد. ایدریس زبانی شبیه هسکل (Haskell) با انواع درجه یک و وابسته است که برای یادگیری تکنیک‌های برنامه‌نویسی نوع-محور که می‌توانید در هر پایگاه کد اعمال کنید، عالی است.

درباره‌ی کتاب

کتاب «توسعه‌ی نوع-محور با ایدریس» به شما می‌آموزد که چگونه با استفاده از یک سیستم نوع پیشرفته، عملکرد و دقت کد خود را بهبود بخشید. در این کتاب، توسعه‌ی نوع-محور نرم‌افزارهای دنیای واقعی و همچنین نحوه‌ی مدیریت اثرات جانبی، تعامل، حالت و هم‌روندی را یاد خواهید گرفت. در پایان، قادر خواهید بود نرم‌افزارهای قوی و تاییدشده را در ایدریس توسعه داده و روش‌های توسعه‌ی نوع-محور را در زبان‌های دیگر اعمال کنید.

مطالب داخل کتاب

* درک انواع وابسته
* انواع به عنوان ساختارهای زبانی درجه یک
* انواع به عنوان راهنمای ساخت برنامه
* بیان روابط بین داده‌ها

مخاطبان کتاب

این کتاب برای برنامه‌نویسانی که با مفاهیم برنامه‌نویسی تابعی آشنایی دارند، نوشته شده است.

درباره‌ی نویسنده

ادوین بردی (Edwin Brady) رهبری طراحی و پیاده‌سازی زبان ایدریس را بر عهده دارد.

فهرست مطالب

بخش اول – مقدمه
1. مرور کلی
2. شروع کار با ایدریس

بخش دوم – ایدریس اصلی
3. توسعه تعاملی با انواع
4. انواع داده تعریف شده توسط کاربر
5. برنامه‌های تعاملی: پردازش ورودی و خروجی
6. برنامه‌نویسی با انواع درجه یک
7. رابط‌ها: استفاده از انواع ژنریک مقید
8. تساوی: بیان روابط بین داده‌ها
9. محمول‌ها: بیان فرضیات و قراردادها در انواع
10. نماها: گسترش تطبیق الگو

بخش سوم – ایدریس و دنیای واقعی
11. جریان‌ها و فرآیندها: کار با داده‌های بی‌نهایت
12. نوشتن برنامه‌ها با حالت
13. ماشین‌های حالت: تأیید پروتکل‌ها در انواع
14. ماشین‌های حالت وابسته: مدیریت بازخورد و خطاها
15. برنامه‌نویسی همروند ایمن از نوع

Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development.

Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.

About the Technology

Stop fighting type errors! Type-driven development is an approach to coding that embraces types as the foundation of your code – essentially as built-in documentation your compiler can use to check data relationships and other assumptions. With this approach, you can define specifications early in development and write code that’s easy to maintain, test, and extend. Idris is a Haskell-like language with first-class, dependent types that’s perfect for learning type-driven programming techniques you can apply in any codebase.

About the Book

Type-Driven Development with Idris teaches you how to improve the performance and accuracy of your code by taking advantage of a state-of-the-art type system. In this book, you’ll learn type-driven development of real-world software, as well as how to handle side effects, interaction, state, and concurrency. By the end, you’ll be able to develop robust and verified software in Idris and apply type-driven development methods to other languages.

What’s Inside

• Understanding dependent types
• Types as first-class language constructs
• Types as a guide to program construction
• Expressing relationships between data

About the Reader

Written for programmers with knowledge of functional programming concepts.

About the Author

Edwin Brady leads the design and implementation of the Idris language.

Table of Contents

PART 1 – INTRODUCTION
1. Overview
2. Getting started with IdrisPART 2 – CORE IDRIS
3. Interactive development with types
4. User-defined data types
5. Interactive programs: input and output processing
6. Programming with first-class types
7. Interfaces: using constrained generic types
8. Equality: expressing relationships between data
9. Predicates: expressing assumptions and contracts in types
10. Views: extending pattern matching

PART 3 – IDRIS AND THE REAL WORLD

11. Streams and processes: working with infinite data
12. Writing programs with state
13. State machines: verifying protocols in types
14. Dependent state machines: handling feedback and errors
15. Type-safe concurrent programming