milewski ctfp pdf

Théorie des catégories pour les programmeurs

Une version non officielle PDF de " C Ategory T HEORY F ou P ROGRAMMEURS" de Bartosz Milewski, converti de sa série de blogs ( avec permission! ).

Acheter le livre

• Édition standard en imprimé rigide en couleur
  • Date de publication: 12 août 2019.
  • Basé sur la balise de version v1.3.0. Voir Errata-1.3.0 pour les modifications et les correctifs depuis l'impression.
• Édition Scala en livre de poche
  • Date de publication: 12 août 2019.
  • Basé sur la balise de version v1.3.0. Voir Errata-Scala pour les modifications et les correctifs depuis l'impression.

Construire le livre

Le flux de travail du bâtiment nécessite Nix. Après l'installation de NIX, vous devez activer la prochaine fonction "Flake" qui doit être activée manuellement le temps. Ceci est nécessaire pour exposer les nouvelles commandes NIX et les flocons qui sont cachés derrière des plateaux de fonctionnalité.

Ensuite, tapez nix flake show dans le répertoire racine du projet pour voir toutes les versions disponibles de ce livre. Tapez ensuite nix build .#<edition> Pour construire l'édition souhaitée (Scala, OCAML, Raison et leurs versions imprimées). Par exemple, pour construire l'édition Scala, vous devrez taper nix build .#ctfp-scala . Pour Haskell (la version originale) qui n'est que nix build .#ctfp .

Lors d'une compilation réussie, le fichier PDF sera placé dans le répertoire result .

La commande nix develop fournira un shell contenant toutes les dépendances requises pour construire le livre manuellement en utilisant le Makefile fourni. Pour construire l'édition ctfp-scala , il suffit make ctfp-scala .

Contribuer

Les contributeurs sont les bienvenus pour contribuer à ce livre en envoyant des refontes. Une fois examinés, les modifications sont fusionnées dans la branche principale et seront incorporées dans la prochaine version.

Remarque de Bartosz : J'apprécie vraiment toutes vos contributions. Vous avez rendu ce livre beaucoup mieux que je n'aurais pu l'imaginer. Merci!

Trouvez la liste des contributeurs sur GitHub.

Remerciements

La source de latex PDF et les outils pour la créer sont basées sur le travail d'Andres Raba. Le contenu du livre est pris, avec la permission, de la série Blogpost de Bartosz Milewski, et adapté au format latex.

Les remerciements de blog originaux de Bartosz sont consolidés dans la page Remerciements à la fin du livre.

Licence

Le livre PDF, les fichiers .tex et les images et figures associés dans les répertoires src/fig et src/content sont sous licence Creative Commons Attribution-Sharealike 4.0.

Les fichiers de script scraper.py et autres sont sous licence GNU General Public License version 3.