milewski ctfp pdf

Kategoriestheorie für Programmierer

Eine inoffizielle PDF -Version von " C a teegory t heory f oder programmers " von Bartosz Milewski, konvertierte aus seiner Blogpost -Serie ( mit Erlaubnis! ).

Kaufen Sie das Buch

• Standardausgabe im farbenfrohen Hardcover-Druck
  • Veröffentlichungsdatum: 12. August 2019.
  • Basierend auf Release -Tag v1.3.0. Siehe Errata-1.3.0 für Änderungen und Korrekturen seit dem Druck.
• Scala Edition in Taschenbuch
  • Veröffentlichungsdatum: 12. August 2019.
  • Basierend auf Release -Tag v1.3.0. Siehe Errata-Scala für Änderungen und Korrekturen seit dem Druck.

Bauen Sie das Buch

Der Gebäude -Workflow erfordert NIX. Nach der Installation von NIX müssen Sie die bevorstehende "Flake" -Funktion aktivieren, die zum Zeitpunkt der Zeit manuell aktiviert werden muss. Dies ist erforderlich, um die neuen Nix-Befehle und -Flockenunterstützung aufzudecken, die hinter Feature-Flags verborgen sind.

Geben Sie anschließend nix flake show im Stammverzeichnis des Projekts ein, um alle verfügbaren Versionen dieses Buches anzuzeigen. Geben Sie dann nix build .#<edition> , um die gewünschte Edition zu erstellen (Scala, Ocaml, Vernunft und ihre gedruckten Versionen). Zum Aufbau der Scala Edition müssen Sie beispielsweise nix build .#ctfp-scala . Für Haskell (die Originalversion) ist das nur nix build .#ctfp .

Nach einer erfolgreichen Zusammenstellung wird die PDF -Datei in das result platziert.

Der Befehl nix develop eine Shell, die alle erforderlichen Abhängigkeiten enthält, um das Buch manuell mit dem bereitgestellten Makefile zu erstellen. Um die ctfp-scala -Edition zu erstellen, make ctfp-scala .

Beitragen

Mitwirkenden können zu diesem Buch beigetragen, indem sie Pull-Requests senden. Nach der Überprüfung werden die Änderungen in der Hauptzweigung verschmolzen und in die nächste Veröffentlichung aufgenommen.

Hinweis von Bartosz : Ich schätze alle Ihre Beiträge sehr. Sie haben dieses Buch viel besser gemacht, als ich mir hätte vorstellen können. Danke schön!

Suchen Sie die Liste der Mitwirkenden auf Github.

Anerkennung

Die PDF -Latexquelle und die Tools zum Erstellen basieren auf der Arbeit von Andres Raba. Der Buchinhalt wird mit Erlaubnis aus der Blogpost -Serie von Bartosz Milewski entnommen und an das Latex -Format angepasst.

Die ursprünglichen Blog -Post -Bestätigungen von Bartosz sind am Ende des Buches auf der Seite "Anerkennung" konsolidiert.

Lizenz

Das PDF-Buch, .tex -Dateien und die zugehörigen Bilder und Abbildungen in Verzeichnissen src/fig und src/content sind unter Creative Commons Attribution-Sharealike 4.0 International Lizenz lizenziert.

Die Skriptdateien scraper.py und andere sind unter GNU General Public Lizenz Version 3 lizenziert.