Idris Unleashed Type-Driven Development and Theorem Proving in Functional Programming【電子書籍】[ Robert Johnson ] 【送料無料】

Idris Unleashed Type-Driven Development and Theorem Proving in Functional Programming【電子書籍】[ Robert Johnson ]

当サイトではアフィリエイト広告を利用しています

暮らしに潤いを「My Favorite Life」

洋書 > COMPUTERS ＆ SCIENCE

ART ＆ ENTERTAINMENT

FICTION & LITERATURE

BUSINESS ＆ SELF-CULTURE

FAMILY LIFE ＆ COMICS

SOCIAL SCIENCE

BOOKS FOR KIDS

REFERENCE ＆ LANGUAGE

TRAVEL

その他

洋書 Anchor Books Paperback, Hyperspace: A Scientific Odyssey Through Parallel Universes, Time Warps, and the 10th Dimension
¥ 4,575 -

Medical-Surgical Nursing Certification Review MEDICAL-SURGICAL NURSING CERTI [ Pam Collins ]
¥ 20,416 -

Marine Community Ecology and Conservation MARINE COMMUNITY ECOLOGY & CON [ Mark Bertness ]
¥ 66,721 -

Computer Science for Kids【電子書籍】[ Awad ]
¥ 540 -

Programming Language Design and Implementation【電子書籍】[ Torben ?gidius Mogensen ]
¥ 7,292 -

【電子書籍なら、スマホ・パソコンの無料アプリで今すぐ読める！】

商品説明

＜p＞"Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming" is an authoritative guide for programmers who aspire to harness the power of Idris, a cutting-edge functional programming language known for its robust type system and theorem-proving capabilities. This book is meticulously crafted to equip both beginners and seasoned developers with the skills necessary to write precise and reliable code using Idris. It explores the fundamentals of type-driven development, delving deep into topics like dependent types, advanced type concepts, and the practical integration of theorem proving into everyday programming tasks.＜/p＞＜p＞Readers will benefit from hands-on exercises, illustrative examples, and case studies that demonstrate Idris's unique features in real-world applications. Whether you are building type-safe web applications, engaging in scientific computing, or developing domain-specific languages, this book provides the knowledge and tools to innovate and excel. The future of Idris and its ecosystem is also considered, keeping readers informed about emerging trends and directions in the broader landscape of software development. This book is an essential resource for anyone interested in advancing their understanding of functional programming through the lens of type-driven development and theorem proving.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。

※ご購入は、楽天kobo商品ページからお願いします。

※切り替わらない場合は、こちらをクリックして下さい。

※このページからは注文できません。

商品を詳しく見る

¥ 1,498-(税込)