Introduction to Dependent Types with Idris

Boro Sitnikovski

10 évaluations par Goodreads

Langue : anglais

Edité par APress, US, 2023

1484292588 / 9781484292587

  • Éd. originale
  • Livre broché
  • Neuf
Afficher toutes les informations

Vendeur : Rarewaves.com USA, London, London, Royaume-UniRarewaves.com USA

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2025

Livre broché

Etat: Neuf

EUR 35,79

 Frais de port gratuits 
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 8 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

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

N° de réf. du vendeur LU-9781484292587

Titre
Introduction to Dependent Types with Idris
Auteur
Boro Sitnikovski
Éditeur
APress, US
Année de publication
2023
État de l'article
New
Reliure
Paperback
Langue
anglais
ISBN à 10 chiffres
1484292588
ISBN à 13 chiffres
9781484292587
Édition
1st ed.
Dimensions
15.5 x 1.02 x 23.5 cm

Rarewaves.com USA

London, London, Royaume-Uni

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2025

Frais d'expédition de Royaume-Uni vers Etats-Unis

Article15 à 20 jours ouvrés15 à 20 jours ouvrés
Premier articleEUR 0,00EUR 0,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Profil professionnel du vendeur

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Royaume-Uni W1W 8BE