milewski ctfp pdf

Teoria da categoria para programadores

Uma versão não oficial do PDF de " Ceregory TEOLY F ou PROGRAMMERS ", de Bartosz Milewski, convertida em sua série BlogPost ( com permissão! ).

Compre o livro

• Edição padrão em impressão de capa dura colorida
  • Publicar data: 12 de agosto de 2019.
  • Baseado na tag de liberação v1.3.0. Consulte Errata-1.3.0 para alterações e correções desde a impressão.
• Edição Scala em brochura
  • Publicar data: 12 de agosto de 2019.
  • Baseado na tag de liberação v1.3.0. Consulte Errata-scala para alterações e correções desde a impressão.

Construa o livro

O fluxo de trabalho da construção requer nix. Depois de instalar o NIX, você precisa ativar o próximo recurso "Flake", que deve ser ativado manualmente o tempo. Isso é necessário para expor os novos comandos nix e suporte de flocos que estão ocultos por trás das bandeiras.

Depois, o tipo nix flake show no diretório raiz do projeto para ver todas as versões disponíveis deste livro. Em seguida, digite nix build .#<edition> para construir a edição que você deseja (Scala, OCAML, Razão e suas versões impressas). Por exemplo, para construir a edição Scala, você precisará digitar nix build .#ctfp-scala . Para Haskell (a versão original) que é apenas nix build .#ctfp .

Após a compilação bem -sucedida, o arquivo PDF será colocado no diretório result .

O comando nix develop fornecerá um shell que contém todas as dependências necessárias para criar o livro manualmente usando o Makefile fornecido. Para construir a edição ctfp-scala , basta executar make ctfp-scala .

Contribuir

Os colaboradores podem contribuir com este livro enviando solicitações de tração. Uma vez revisado, as alterações são mescladas na filial principal e serão incorporadas na próxima versão.

Nota de Bartosz : Eu realmente aprecio todas as suas contribuições. Você fez este livro muito melhor do que eu poderia imaginar. Obrigado!

Encontre a lista de colaboradores no Github.

Agradecimentos

A fonte de látex em PDF e as ferramentas para criá -la são baseadas no trabalho de Andres Raba. O conteúdo do livro é obtido, com permissão, da série BlogPost de Bartosz Milewski, e adaptado ao formato do LATEX.

A postagem original do blog Agradecimentos de Bartosz é consolidada na página Agradecimentos no final do livro.

Licença

O livro em PDF, os arquivos .tex e as imagens e figuras associados nos diretórios src/fig e src/content são licenciados sob a licença Creative Commons Attribution-Sharealike 4.0 International.

Os arquivos de scripts scraper.py e outros são licenciados no GNU License Pública GNU Versão 3.