این کتاب به معرفی مفهوم انواع وابسته می‌پردازد، که به توسعه‌دهندگان اجازه می‌دهد کدهای حامل اثبات بنویسند. زبان برنامه‌نویسی ایدریس که پشتیبان این نوع داده‌هاست، محور اصلی کتاب بوده و مبانی ریاضی آن را شرح می‌دهد. بخش نخست کتاب به مرور سیستم‌های صوری و منطق ریاضی به عنوان سنگ‌های بنیادین می‌پردازد و سپس به تدریج خواننده را با مفاهیم پیشرفته‌تر آشنا می‌کند. هدف نهایی، توانایی نوشتن نرم‌افزار و اثبات ریاضی ویژگی‌های آن با استفاده از انواع داده‌های وابسته و سیستم نوع‌های قدرتمند ایدریس است. کتاب حاضر که به صورت زبان اصلی (غیرفارسی) می‌باشد توسط انتشارات بله برای دسترسی اساتید و دانشجویان و مترجمان به منابع علمی و آموزشی و اطلاعاتی جهان تامین و چاپ شده و با برند بوکم عرضه می‌شود. نام اصلی به زبان انگلیسی: Introduction to Dependent Types with Idris: Encoding Program Proofs in Types نام فارسی: مقدمه‌ای بر انواع وابسته با ایدریس موضوع: کدنویسی همراه با اثبات قضایای ریاضی در برنامه نویسنده: Boro Sitnikovski تعداد صفحات: 128 زبان: انگلیسی قطع: رقعی رده سنی: بزرگسال نوع کاغذ: تحریر نوع چاپ: دیجیتال نوع جلد: شومیز ناشر خارجی: Apress شابک: 9781484292594 کد شناسه کتاب: 6c6fb26546cfb668c2ec0b751ed15b6f