Penser en Types
Penser en Types
Programmation au niveau Type en Haskell
À propos du livre
Ce livre est la traduction de Thinking with Types.
À propos de ces auteurs
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.
Gagnez $8 pour un achat de $10 et $16 pour un achat de $20
Nous payons 80% de royalties sur les achats de $7,99 ou plus et 80% de royalties moins une commission fixe de 50 centimes sur les achats entre $0,99 et $7,98. Vous gagnez $8 pour une vente de $10 et $16 pour une vente de $20. Donc, si nous vendons 5000 exemplaires non remboursés de votre livre à $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 13 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
