milewski ctfp pdf

Teori kategori untuk programmer

Versi PDF tidak resmi dari " C heory f atau p rogrammers" oleh Bartosz Milewski, dikonversi dari seri blogpost -nya ( dengan izin! ).

Beli buku

• Edisi standar dalam cetakan hardcover penuh warna
  • Tanggal Publish: 12 Agustus, 2019.
  • Berbasis Off Release Tag V1.3.0. Lihat errata-1.3.0 untuk perubahan dan perbaikan sejak dicetak.
• Edisi Scala di Paperback
  • Tanggal Publish: 12 Agustus, 2019.
  • Berbasis Off Release Tag V1.3.0. Lihat errata-scala untuk perubahan dan perbaikan sejak dicetak.

Bangun buku

Alur kerja bangunan membutuhkan Nix. Setelah menginstal NIX, Anda perlu mengaktifkan fitur "Flake" yang akan datang yang harus diaktifkan secara manual waktu. Ini diperlukan untuk mengekspos perintah nix baru dan dukungan serpihan yang tersembunyi di balik fitur-bendera.

Setelah itu, ketik nix flake show di direktori root proyek untuk melihat semua versi yang tersedia dari buku ini. Kemudian ketik nix build .#<edition> Untuk membangun edisi yang Anda inginkan (Scala, OCAML, Alasan dan versi cetaknya). Misalnya, untuk membangun edisi Scala, Anda harus mengetikkan nix build .#ctfp-scala . Untuk Haskell (versi asli) yang hanya nix build .#ctfp .

Setelah kompilasi yang berhasil, file PDF akan ditempatkan di direktori result .

Perintah nix develop akan memberikan cangkang yang berisi semua dependensi yang diperlukan untuk membangun buku secara manual menggunakan Makefile yang disediakan. Untuk membangun edisi ctfp-scala , cukup jalankan make ctfp-scala .

Menyumbang

Kontributor dipersilakan untuk berkontribusi pada buku ini dengan mengirimkan permintaan pull. Setelah ditinjau, perubahan digabungkan di cabang utama dan akan dimasukkan dalam rilis berikutnya.

Catatan dari Bartosz : Saya sangat menghargai semua kontribusi Anda. Anda membuat buku ini jauh lebih baik daripada yang bisa saya bayangkan. Terima kasih!

Temukan daftar kontributor di GitHub.

Ucapan Terima Kasih

Sumber Lateks PDF dan alat untuk membuatnya didasarkan pada karya Andres Raba. Konten buku diambil, dengan izin, dari seri blogpost Bartosz Milewski, dan diadaptasi dengan format lateks.

Posting blog asli Ucapan Terima Kasih oleh Bartosz dikonsolidasikan di halaman Ucapan Terima Kasih di akhir buku.

Lisensi

File PDF Book, .tex , dan gambar dan angka terkait dalam direktori src/fig dan src/content dilisensikan di bawah Lisensi Internasional Creative Commons Attribution-Sharealike 4.0.

File skrip scraper.py dan lainnya dilisensikan di bawah GNU General Public License versi 3.