논픽션
"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.
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.
© 2024 HiTeX Press (전자책): 6610000661022
출시일
전자책: 2024년 10월 21일
국내 유일 해리포터 시리즈 오디오북
5만권이상의 영어/한국어 오디오북
키즈 모드(어린이 안전 환경)
월정액 무제한 청취
언제든 취소 및 해지 가능
오프라인 액세스를 위한 도서 다운로드
5만권 이상의 영어, 한국어 오디오북을 무제한 들어보세요
13800 원 /월
사용자 1인
무제한 청취
언제든 해지하실 수 있어요
친구 또는 가족과 함께 오디오북을 즐기고 싶은 분들을 위해
매달 21500 원 원 부터
2-3 계정
무제한 청취
언제든 해지하실 수 있어요
21500 원 /월