Ini ialah apl Linux bernama Teori Kategori untuk Pengaturcara yang keluaran terbarunya boleh dimuat turun sebagai ReleasingScalaeditiontoprint!.zip. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian aplikasi bernama Teori Kategori untuk Pengaturcara dengan OnWorks ini secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
SKRIN
Ad
Teori Kategori untuk Pengaturcara
DESCRIPTION
Ini ialah versi PDF tidak rasmi "Teori Kategori untuk Pengaturcara" oleh Bartosz Milewski, ditukar daripada siri catatan blognya (dengan kebenaran). Teori Kategori untuk Pengaturcara diterbitkan pada 12 Ogos 2019. Berdasarkan teg keluaran v1.3.0. Lihat errata-1.3.0 untuk perubahan dan pembetulan sejak dicetak. Edisi Scala kini tersedia dalam kulit kertas. Menerbitkan. Berdasarkan teg keluaran v1.3.0. Lihat errata-scala untuk perubahan dan pembetulan sejak dicetak. Cara terbaik untuk membina buku ialah menggunakan pengurus pakej Nix. Selepas memasang Nix, taip nix-shell dalam direktori akar projek. Ini akan memuat turun semua kebergantungan dan alatan yang diperlukan untuk membina buku (TeXLive, fon dan pakej yang diperlukan, tema Pygments untuk penyerlahan sintaks, dsb.).
Ciri-ciri
- Gunakan pengurus pakej Nix untuk membina buku
- Ketahui tentang pengaturcaraan deklaratif
- Anda boleh belajar tentang produk dan produk bersama
- Ketahui segala-galanya tentang jenis data algebra mudah
- Fahami kata hubung bebas dan pelupa
- Ketahui semua yang anda perlu tahu tentang monad, monoid dan kategori
Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/cat-theory-programmers.mirror/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.