ນີ້ແມ່ນແອັບ Linux ທີ່ມີຊື່ວ່າ Category Theory ສໍາລັບໂປຣແກຣມເມີທີ່ປ່ອຍອອກມາຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ໃນນາມ ReleasingScalaeditiontoprint!.zip. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີ OnWorks ສໍາລັບສະຖານີເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ມີຊື່ປະເພດທິດສະດີສໍາລັບໂຄງການທີ່ມີ OnWorks ໄດ້ຟຣີ.
ປະຕິບັດຕາມຄໍາແນະນໍາເຫຼົ່ານີ້ເພື່ອດໍາເນີນການ app ນີ້:
- 1. ດາວໂຫຼດຄໍາຮ້ອງສະຫມັກນີ້ໃນ PC ຂອງທ່ານ.
- 2. ໃສ່ໃນຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 3. ອັບໂຫລດແອັບພລິເຄຊັນນີ້ຢູ່ໃນຕົວຈັດການໄຟລ໌ດັ່ງກ່າວ.
- 4. ເລີ່ມ OnWorks Linux ອອນລາຍ ຫຼື Windows online emulator ຫຼື MACOS online emulator ຈາກເວັບໄຊທ໌ນີ້.
- 5. ຈາກ OnWorks Linux OS ທີ່ເຈົ້າຫາກໍ່ເລີ່ມຕົ້ນ, ໄປທີ່ຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 6. ດາວນ໌ໂຫລດຄໍາຮ້ອງສະຫມັກ, ຕິດຕັ້ງມັນແລະດໍາເນີນການ.
ໜ້າ ຈໍ
Ad
ທິດສະດີປະເພດສໍາລັບນັກຂຽນໂປລແກລມ
ລາຍລະອຽດ
ນີ້ແມ່ນສະບັບ PDF ທີ່ບໍ່ເປັນທາງການຂອງ "Category Theory for Programmers" ໂດຍ Bartosz Milewski, ປ່ຽນຈາກຊຸດ blogpost ຂອງລາວ (ໄດ້ຮັບການອະນຸຍາດ). ໝວດໝູ່ທິດສະດີສຳລັບນັກຂຽນໂປລແກລມຖືກເຜີຍແຜ່ໃນວັນທີ 12 ສິງຫາ 2019. ອ້າງອີງຈາກການປ່ອຍແທັກ v1.3.0. ເບິ່ງ errata-1.3.0 ສໍາລັບການປ່ຽນແປງແລະການແກ້ໄຂນັບຕັ້ງແຕ່ການພິມ. ສະບັບ Scala ຕອນນີ້ມີຢູ່ໃນເຈ້ຍໃບແລ້ວ. ເຜີຍແຜ່. ອີງໃສ່ການປ່ອຍ tag v1.3.0. ເບິ່ງ errata-scala ສໍາລັບການປ່ຽນແປງແລະການແກ້ໄຂນັບຕັ້ງແຕ່ການພິມ. ວິທີທີ່ດີທີ່ສຸດໃນການສ້າງປື້ມແມ່ນໃຊ້ຜູ້ຈັດການຊຸດ Nix. ຫຼັງຈາກການຕິດຕັ້ງ Nix, ພິມ nix-shell ໃນໄດເລກະທໍລີຮາກຂອງໂຄງການ. ນີ້ຈະດາວໂຫລດທຸກຄວາມເພິ່ງພາອາໄສແລະເຄື່ອງມືທີ່ຈໍາເປັນເພື່ອສ້າງປື້ມ (TeXLive, ຕົວອັກສອນທີ່ຕ້ອງການແລະຊຸດ, ຫົວຂໍ້ Pygments ສໍາລັບ syntax highligting, ແລະອື່ນໆ).
ຄຸນລັກສະນະ
- ໃຊ້ຕົວຈັດການແພັກເກັດ Nix ເພື່ອສ້າງປຶ້ມ
- ຮຽນຮູ້ກ່ຽວກັບການຂຽນໂປລແກລມປະກາດ
- ທ່ານສາມາດຮຽນຮູ້ກ່ຽວກັບຜະລິດຕະພັນແລະຜະລິດຕະພັນຮ່ວມ
- ຮຽນຮູ້ທຸກຢ່າງກ່ຽວກັບປະເພດຂໍ້ມູນພຶດຊະຄະນິດແບບງ່າຍໆ
- ເຂົ້າໃຈ adjunctions ຟຣີແລະລືມ
- ຮຽນຮູ້ທັງຫມົດທີ່ທ່ານຈໍາເປັນຕ້ອງຮູ້ກ່ຽວກັບ monads, monoids, ແລະປະເພດ
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/cat-theory-programmers.mirror/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ໃນວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.