Name: Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (en Inglés)
Price: 48640.00 CLP
Availability: InStock
Author: Sitnikovski, Boro
ISBN: 9781484292587

portada Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (en Inglés)

Formato

Libro Físico

Autor

Boro Sitnikovski

Editorial

Apress

Idioma

Inglés

N° páginas

157

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.0 cm

Peso

0.25 kg.

ISBN13

9781484292587

Categorías

Programación informática - desarrollo de software

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (en Inglés)

Boro Sitnikovski (Autor) · Apress · Tapa Blanda

Libro Físico

$ 48.640

$ 67.560

Ahorras: $ 18.920

28% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Viernes 19 de Julio y el Viernes 26 de Julio.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (en Inglés)"

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.