| 书目名称 | Introduction to Dependent Types with Idris | | 副标题 | Encoding Program Pro | | 编辑 | Boro Sitnikovski | | 视频video | | | 概述 | Introduces formal systems and mathematical logical systems and builds up to dependent types.Every chapter includes practical exercises.Covers the Idris programming language to prove some mathematical | | 图书封面 |  | | 描述 | .Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties..The first part of the book serves as an introduction to the language‘s underlying theories. It starts by reviewing formal systems and mathematical logical systems as foundational building blocks, then gradually builds up to dependent types. Next, you‘ll learn type theory for dependent types. Following this, you‘ll explore the Idris programming language and conclude by exploring the depths of formal systems and type checkers by implementing them..Introduction to Dependent Types with Idris. will walk you through simple examples through more advanced techniques, stepping up the difficulty as you gain more knowledge. Every chapter includes a set of exercises based on what it covered to further cement your learning. No specialized knowledge of mathematics is expected beyond the basics, so it is perfect for novices..What You Will Learn.UnderstandLambda calculus and dependent types.Gaininsight into funct | | 出版日期 | Book 2023 | | 关键词 | Idris; Lambda; Dependent Types; Mathematical Logic; Proofs; Programming Language | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4842-9259-4 | | isbn_softcover | 978-1-4842-9258-7 | | isbn_ebook | 978-1-4842-9259-4 | | copyright | Boro Sitnikovski 2023 |
The information of publication is updating
|
|
发表于 2025-3-21 16:30:11
