Køb for 499 kr mere for gratis levering til pakkeshop
499 kr
Pakkeshop
599 kr
Hjemmelevering
Gemte
Log ind
0
Kurv
Kurv
Introduction to Dependent Types with Idris
- Encoding Program Proofs in Types
Engelsk
Bogcover for Introduction to Dependent Types with Idris af Boro Sitnikovski, 9781484292587
Specifikationer
Sprog:
Engelsk
Sider:
157
ISBN-13:
9781484292587
Indbinding:
Paperback
ISBN-10:
1484292588
Kategori:
Udg. Dato:
18 mar 2023
Størrelse i cm:
23,5 x 15,5
Forlag:
Oplagsdato:
18 mar 2023
Forfatter(e):

Introduction to Dependent Types with Idris

- Encoding Program Proofs in Types
Engelsk
Paperback 2023
Format:

Bog beskrivelse

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 programming
  • Write mathematical proofs with Idris

Who This Book Is For

Programmers, mathematicians, academics, and anyone else interested learning dependent types and lambda calculus.

... Vis mere

Forlags Vejl. pris
349,46 kr
Hos Booktok
287 kr
spar 18%
Læg i kurv nu
Fri fragt over 499,-
90 dages retur
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
157
ISBN-13:
9781484292587
Indbinding:
Paperback
ISBN-10:
1484292588
Kategori:
Udg. Dato:
18 mar 2023
Størrelse i cm:
23,5 x 15,5
Forlag:
Oplagsdato:
18 mar 2023
Forfatter(e):
Finder produkter...
Kategori sammenhænge