Penser en Types
$50.00
Prix minimum
$80.00
Prix suggéré

Penser en Types

Programmation au niveau Type en Haskell

À propos du livre

Ce livre est la traduction de Thinking with Types.

Ceci est un traduction en Français du livre Thinking with Types qui a été à l'origine en Anglais.

À propos de ces 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 and Agda 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 des matières

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

Aucun risque ! Satisfait ou remboursé !

Durant les 60 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.

80% de droits d'auteur. Gagnez $16 sur un livre à $20.

Nous payons des royalties de 80%. Ce n'est pas une erreur : vous gagnez 16 $ sur une vente à 20 $. Si nous vendons 5000 exemplaires non remboursés de votre livre ou de votre cours pour 20 $, vous gagnerez 80 000 $.

(Oui, certains auteurs ont déjà gagné bien plus que cela sur Leanpub.)

En fait, les auteurs ont gagnéplus de 12 millions de dollars en écrivant, publiant et vendant sur Leanpub.

En savoir plus sur l'écriture sur Leanpub

Mises à jour gratuit. Sans DRM.

Si vous achetez un livre Leanpub, vous obtenez des mises à jour gratuit tant que l'auteur met à jour le livre ! De nombreux auteurs utilisent Leanpub pour publier leurs livres en cours, lorsqu'ils les écrivent. Tous les lecteurs obtiennent les mises à jour gratuites, quel que soit le moment où ils ont acheté le livre ou combien ils ont payé (même s'ils étaient gratuits).

La plupart des livres Leanpub sont disponibles en format PDF (pour les ordinateurs) et EPUB (pour les téléphones, les tablettes, et les Kindles). Les formats inclus sont affichés dans le coin droit supérieur de cette page.

Finalement, les livres Leanpub n'ont pas de DRM, d'abord vous pouvez toujour les lire facilement sur n'importe quel appareil pris en charge.

En savoir plus sur les formats des livres ebook de Leanpub et où les lire

Écrire et publier avec Leanpub

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

En savoir plus sur l'écriture avec Leanpub