37,44 €*
Versandkostenfrei per Post / DHL
Aktuell nicht verfügbar
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 Understand Lambda calculus and dependent types
Gain insight into functional programming
Write mathematical proofs with Idris
Who This Book Is For
Programmers, mathematicians, academics, and anyone else interested learning dependent types and lambda calculus.
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 Understand Lambda calculus and dependent types
Gain insight into functional programming
Write mathematical proofs with Idris
Who This Book Is For
Programmers, mathematicians, academics, and anyone else interested learning dependent types and lambda calculus.
Boro Sitnikovski has over ten years of experience working professionally as a software engineer. He started programming with assembly on an Intel x86 at the age of ten. While in high school, he won several prizes in competitive programming, varying from 4th, 3rd, and 1st place. He is an informatics graduate - his bachelor's thesis was titled "Programming in Haskell using algebraic data structures", and his master's thesis was titled "Formal verification of Instruction Sets in Virtual Machines". He has also published a few papers on software verification. Other research interests of his include programming languages, mathematics, logic, algorithms, and writing correct software. He is a strong believer in the open-source philosophy and contributes to various open-source projects. In his spare time, he enjoys some time off with his family.
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 properties
Chapter 1: Formal Systems.- Chapter 2: Classical Mathematical Logic.- Chapter 3: Type Theory.- Chapter 4: Programming in Idris.- Chapter 5: Proving in Idris.
| Erscheinungsjahr: | 2023 |
|---|---|
| Fachbereich: | Programmiersprachen |
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Inhalt: |
xviii
157 S. 139 s/w Illustr. 157 p. 139 illus. |
| ISBN-13: | 9781484292587 |
| ISBN-10: | 1484292588 |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: | Sitnikovski, Boro |
| Auflage: | 1st ed. |
| Hersteller: |
Apress
Apress L.P. |
| Maße: | 235 x 155 x 10 mm |
| Von/Mit: | Boro Sitnikovski |
| Erscheinungsdatum: | 18.03.2023 |
| Gewicht: | 0,277 kg |
Boro Sitnikovski has over ten years of experience working professionally as a software engineer. He started programming with assembly on an Intel x86 at the age of ten. While in high school, he won several prizes in competitive programming, varying from 4th, 3rd, and 1st place. He is an informatics graduate - his bachelor's thesis was titled "Programming in Haskell using algebraic data structures", and his master's thesis was titled "Formal verification of Instruction Sets in Virtual Machines". He has also published a few papers on software verification. Other research interests of his include programming languages, mathematics, logic, algorithms, and writing correct software. He is a strong believer in the open-source philosophy and contributes to various open-source projects. In his spare time, he enjoys some time off with his family.
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 properties
Chapter 1: Formal Systems.- Chapter 2: Classical Mathematical Logic.- Chapter 3: Type Theory.- Chapter 4: Programming in Idris.- Chapter 5: Proving in Idris.
| Erscheinungsjahr: | 2023 |
|---|---|
| Fachbereich: | Programmiersprachen |
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Inhalt: |
xviii
157 S. 139 s/w Illustr. 157 p. 139 illus. |
| ISBN-13: | 9781484292587 |
| ISBN-10: | 1484292588 |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: | Sitnikovski, Boro |
| Auflage: | 1st ed. |
| Hersteller: |
Apress
Apress L.P. |
| Maße: | 235 x 155 x 10 mm |
| Von/Mit: | Boro Sitnikovski |
| Erscheinungsdatum: | 18.03.2023 |
| Gewicht: | 0,277 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Lieferzeit 4-7 Werktage
Lieferzeit 4-7 Werktage
Aktuell nicht verfügbar
Aktuell nicht verfügbar
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Aktuell nicht verfügbar
Lieferzeit 1-2 Wochen