Introduction to Dependent Types with Idris

Name: Introduction to Dependent Types with Idris
Brand: Springer, Berlin
SKU: 9781484292587
Price: 28.08 EUR
Availability: InStock

Encoding Program Proofs in Types

Автор: Boro Sitnikovski

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 14-21 дни

28.08 € 54.91 лв

Dependent types are a concept that allows developers to write proof-carrying code. Idris is a progra...

Информация за книгата

Автор

Boro Sitnikovski

Език

Английски език

Корици

Книга - С меки корици

Издадена

2023

страници

157

EAN

9781484292587

Enbook ID

42804709

Издател

Springer, Berlin

Теглоt

254

Размери

155 x 235

Пълно описание

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 Understand Lambda calculus and dependent types Gain insight into functional programmingWrite mathematical proofs with IdrisWho This Book Is ForProgrammers, mathematicians, academics, and anyone else interested learning dependent types and lambda calculus.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Introduction to Dependent Types with Idris

Encoding Program Proofs in Types

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също