Penser en Types
Penser en Types
$50.00
Prix minimum
$80.00
Prix conseillé
Penser en Types

Ce livre est complet à 100%

Complété le 2020-06-15

À propos du livre

Ce livre est la traduction de Thinking with Types.

This book is a translation into français of Thinking with Types which was originally written in English.

À propos des auteurs

Sandy Maguire
Sandy Maguire

Sandy might best be described somewhere between independent researcher and voluntarily-unemployed bum. At the ripe old age of 27 he decided to quit his highly-lucrative engineering job and decide to focus more on living than on grinding for the man. It's what you might call a work in progress.

He regularly writes about Haskell at reasonablypolymorphic.com.

Jean-Hugues de Raigniac
Jean-Hugues de Raigniac

Curious nature, 24h per day often feels too short.

Curieux de nature, 24h par jour me suffisent rarement.

Table of Contents

Préface

Remerciements

Introduction

I Notions de base

1 - L’algèbre implicite des types

1.1 - Isomorphismes et cardinalités

1.2 - Types Somme, Produit et Exponentiel

1.3 - Exemple : jeu de morpion

1.4 - L’isomorphisme de Curry-Howard

1.5 - Représentations canoniques

2 - Termes, Types et Genres

2.1 - Le système de genres

2.1.1 - Le genre des « types »

2.1.2 - Les genres Flèche

2.1.3 - Les genres Contrainte

2.2 - Les genres Donnée

2.3 - Promotion des types intégrés

2.3.1 - Symboles

2.3.2 - Nombres naturels

2.3.3 - Listes

2.3.4 - Tuples

2.4 - Fonctions de niveau type

3 - Variance

II Levée des restrictions

4 - Utilisation des types

4.1 - Portée du type

4.2 - Applications de type

4.3 - Types ambigus

5 - Contraintes et TDAGs

5.1 - Introduction

5.2 - TDAGs

5.3 - Listes hétérogènes

6 - Types de rang N

6.1 - Introduction

6.2 - Rangs

6.3 - Détails de l’affaire

6.4 - Monade de relais

7 - Types existentiels

7.1 - Types existentiels et éliminateurs

7.1.1 - Types dynamiques

7.1.2 - Existentiels de genre Contrainte Généralisée

7.2 - Encadrer la portée de l’information à l’aide d’existentiels

8 - Rôles

8.1 - Coercitions

8.2 - Rôles

III Programmer au niveau Type

9 - Familles de types associées

9.1 - Construire des types à partir d'un schéma

9.2 - Création de termes associés

10 - Familles de première classe

10.1 - Défonctionnalisation

10.2 - Défonctionnalisation au niveau type

10.3 - Travailler avec les familles de première classe

10.4 - Polymorphisme ad hoc

11 - Données extensibles

11.1 - Introduction

11.2 - Sommes ouvertes

11.3 - Produits ouverts

11.4 - Étiquettes surchargées

12 - Erreurs de type personnalisées

13 - GHC.Generics

13.1 - Représentations génériques

13.2 - Dérivation du polymorphisme structurel

13.3 - Utilisation de métadonnée générique

13.4 - Performance

13.5 - Extensions Kan

14 - Monades indexées

14.1 - Définition et mécanisme nécessaire

14.2 - Attributions linéaires

15 - Types dépendants

15.1 - Vue d’ensemble

15.2 - Mise en œuvre ad hoc

15.3 - Machinerie généralisée

15.4 - Le paquet Singletons

15.5 - Paires dépendantes

15.5.1 - Journalisation structurée

IV Annexes

Glossaire

Solutions

Bibliographie

À propos de l’auteur

Authors have earned$9,192,739writing, publishing and selling on Leanpub,
earning 80% royalties while saving up to 25 million pounds of CO2 and up to 46,000 trees.

En savoir plus sur l'écriture avec Leanpub

Aucun risque ! Satisfait ou remboursé !

Durant les 45 jours suivant l'achat, vous pouvez obtenir un remboursement à 100% de la part de Leanpub, en moins de deux clics. Nous traitons les remboursements manuellement, un délai de quelques jours est nécessaire. Voir nos conditions générales.

Free Updates. DRM Free.

If you buy a Leanpub book, you get free updates for as long as the author updates the book! Many authors use Leanpub to publish their books in-progress, while they are writing them. All readers get free updates, regardless of when they bought the book or how much they paid (including free).

Most Leanpub books are available in PDF (for computers), EPUB (for phones and tablets) and MOBI (for Kindle). The formats that a book includes are shown at the top right corner of this page.

Finally, Leanpub books don't have any DRM copy-protection nonsense, so you can easily read them on any supported device.

Learn more about Leanpub's ebook formats and where to read them

Ecrire et publier avec Leanpub

Les auteurs et les éditeurs utilisent Leanpub pour publier des ebooks étonnants en cours et complétés, comme celui-ci. Vous pouvez utiliser Leanpub pour écrire, publier et vendre votre livre aussi! Leanpub est une plate-forme puissante pour les auteurs sérieux, combinant un flux d'écriture simple et élégant avec un magasin axé sur la vente de livres électroniques en cours d'exécution. Leanpub est une machine à écrire magique pour les auteurs: il suffit d'écrire en texte clair et de publier votre ebook, il suffit de cliquer sur un bouton. C'est vraiment facile.

En savoir plus sur l'écriture avec Leanpub