milewski ctfp pdf

プログラマーのカテゴリ理論

Bartosz Milewskiによる「 C ategory t heory f or p rogrammers」の非公式のPDFバージョンは、彼のブログポストシリーズから変換されました（許可を得て！ ）。

本を買う

• フルカラーハードカバープリントの標準版
  • 公開日：2019年8月12日。
  • リリースタグv1.3.0を基にしています。印刷以来の変更と修正については、errata-1.3.0を参照してください。
• ペーパーバックのScala Edition
  • 公開日：2019年8月12日。
  • リリースタグv1.3.0を基にしています。印刷以来の変更と修正については、errata-scalaを参照してください。

本を構築します

建物のワークフローにはnixが必要です。 NIXをインストールした後、今後の「フレーク」機能を有効にする必要があります。これは、時間を手動で有効にする必要があります。これは、機能フラグの背後に隠されている新しいnixコマンドとフレークサポートを公開するために必要です。

その後、プロジェクトのルートディレクトリにあるnix flake show 、この本の利用可能なバージョンをすべて表示します。次に、 nix build .#<edition>が必要なエディション（Scala、Ocaml、Reason、およびそれらの印刷バージョン）を構築します。たとえば、SCALAエディションを構築するにはnix build .#ctfp-scala 。 haskell（元のバージョン）は、 nix build .#ctfpです。

コンパイルが成功すると、PDFファイルがresultディレクトリに配置されます。

Command nix develop提供されたMakefileを使用して手動で本を構築するために必要なすべての依存関係を含むシェルを提供します。 ctfp-scalaエディションを構築するには、 make ctfp-scala作成するだけです。

貢献する

貢献者は、プルレクエストを送信して、この本に貢献することを歓迎します。レビューすると、変更はメインブランチにマージされ、次のリリースに組み込まれます。

Bartoszからのメモ：あなたのすべての貢献に本当に感謝しています。あなたはこの本を私が想像するよりもずっと良くしました。ありがとう！

Githubで貢献者のリストを見つけます。

謝辞

PDFラテックスソースとそれを作成するツールは、Andres Rabaの作業に基づいています。本の内容は、Bartosz MilewskiのBlogPostシリーズから許可を得て撮影され、LaTex形式に適合しています。

Bartoszによる元のブログ投稿の謝辞は、本の最後にある謝辞ページに統合されています。

ライセンス

ディレクトリsrc/figおよびsrc/contentのPDFブック、 .texファイル、および関連する画像と数字は、Creative Commons Attribution-Sharealike 4.0 Internationalライセンスの下でライセンスされています。

スクリプトファイルscraper.pyおよびその他は、GNU General Public Licenseバージョン3に基づいてライセンスされています。