milewski ctfp pdf

Teoría de la categoría para programadores

Una versión PDF no oficial de " C AGORY T HEORY F O POGRAMSERS " de Bartosz Milewski, convertida de su serie BlogPost (¡ con permiso! ).

Comprar el libro

• Edición estándar en impresión de tapa dura a todo color
  • Fecha de publicación: 12 de agosto de 2019.
  • Basado en la etiqueta de lanzamiento V1.3.0. Consulte Errata-1.3.0 para obtener cambios y correcciones desde la impresión.
• Edición de Scala en rústica
  • Fecha de publicación: 12 de agosto de 2019.
  • Basado en la etiqueta de lanzamiento V1.3.0. Consulte Errata-Scala para cambios y correcciones desde la impresión.

Construir el libro

El flujo de trabajo de la construcción requiere Nix. Después de instalar NIX, debe habilitar la próxima función "Flake" que debe habilitarse manualmente el tiempo. Esto es necesario para exponer los nuevos comandos NIX y soporte de copos que están ocultos detrás de las bandas de características.

Posteriormente, escriba nix flake show en el directorio raíz del proyecto para ver todas las versiones disponibles de este libro. Luego escriba nix build .#<edition> Para construir la edición que desea (Scala, Ocaml, Razon y sus versiones impresas). Por ejemplo, para construir la edición Scala tendrá que escribir nix build .#ctfp-scala . Para Haskell (la versión original) que es solo nix build .#ctfp .

Tras una compilación exitosa, el archivo PDF se colocará en el directorio result .

El comando nix develop proporcionará un shell que contenga todas las dependencias requeridas para construir el libro manualmente utilizando el Makefile provisto. Para construir la edición ctfp-scala , simplemente ejecute make ctfp-scala .

Contribuir

Los contribuyentes pueden contribuir a este libro enviando solicitudes de extracción. Una vez revisado, los cambios se fusionan en la rama principal y se incorporarán en el próximo lanzamiento.

Nota de Bartosz : Realmente aprecio todas sus contribuciones. Hiciste este libro mucho mejor de lo que podría haber imaginado. ¡Gracias!

Encuentre la lista de contribuyentes en GitHub.

Expresiones de gratitud

La fuente de látex PDF y las herramientas para crearla se basan en el trabajo de Andrés Raba. El contenido del libro se toma, con permiso, de la serie BlogPost de Bartosz Milewski, y se adapta al formato de látex.

Los reconocimientos originales de la publicación de blog de Bartosz se consolidan en la página de Agradecimientos al final del libro.

Licencia

El libro PDF, los archivos .tex y las imágenes y cifras asociadas en los directorios src/fig y src/content tienen licencia bajo la licencia Internacional de Atribución Comunes Comunics-Sharealike 4.0.

Los archivos de script scraper.py y otros tienen licencia bajo GNU General Public License versión 3.