ພາສາອັງກິດພາສາຝຣັ່ງແອສປາໂຍນ

Ad


OnWorks favicon

ທິດສະດີປະເພດສໍາລັບນັກຂຽນໂປລແກລມດາວໂຫລດສໍາລັບ Linux

ດາວ​ໂຫຼດ​ຟຣີ​ປະ​ເພດ​ທິດ​ສະ​ດີ​ສໍາ​ລັບ​ໂຄງ​ການ Linux app ເພື່ອ​ດໍາ​ເນີນ​ການ​ອອນ​ໄລ​ນ​໌​ໃນ Ubuntu ອອນ​ໄລ​ນ​໌​, Fedora ອອນ​ໄລ​ນ​໌​ຫຼື Debian ອອນ​ໄລ​ນ​໌

ນີ້ແມ່ນແອັບ 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 ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ໃນວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.


ເຊີບເວີ ແລະສະຖານີເຮັດວຽກຟຣີ

ດາວໂຫຼດແອັບ Windows ແລະ Linux

  • 1
    MSYS2
    MSYS2
    MSYS2 ເປັນ​ການ​ເກັບ​ກໍາ​ຂອງ​ເຄື່ອງ​ມື​ແລະ​
    ຫ້ອງສະຫມຸດສະຫນອງທ່ານດ້ວຍ
    ສະ​ພາບ​ແວດ​ລ້ອມ​ທີ່​ງ່າຍ​ທີ່​ຈະ​ນໍາ​ໃຊ້​ສໍາ​ລັບ​ການ​ກໍ່​ສ້າງ​,
    ການຕິດຕັ້ງແລະແລ່ນ Windows ພື້ນເມືອງ
    ຊອບ​ແວ​. ມັນ con...
    ດາວໂຫລດ MSYS2
  • 2
    libjpeg-turbo
    libjpeg-turbo
    libjpeg-turbo ເປັນຕົວແປງສັນຍານຮູບພາບ JPEG
    ທີ່ໃຊ້ຄໍາແນະນໍາ SIMD (MMX, SSE2,
    NEON, AltiVec) ເພື່ອເລັ່ງພື້ນຖານ
    ເປີດການບີບອັດ JPEG ແລະ decompression
    x86,x8...
    ດາວໂຫລດ libjpeg-turbo
  • 3
    ຜູ້ຈັດການດາວໂຫລດ Xtreme
    ຜູ້ຈັດການດາວໂຫລດ Xtreme
    ໂຄງການມີເຮືອນໃຫມ່ໃນປັດຈຸບັນ:
    https://xtremedownloadmanager.com/ For
    ນັກພັດທະນາ:
    https://github.com/subhra74/xdm Xtreme
    Download Manager ເປັນ​ເຄື່ອງ​ມື​ທີ່​ມີ​ອໍາ​ນາດ t ...
    ດາວໂຫລດ Xtreme Download Manager
  • 4
    TTGO VGA32 Lite
    TTGO VGA32 Lite
    ຄຸນນະສົມບັດ: 4:3 ແລະ 16:9 ຄວາມລະອຽດຕ່ໍາ
    VGA outputPS/2 keyboard ແລະຫນູ
    ສ່ວນຕິດຕໍ່ຜູ້ໃຊ້ທີ່ອີງໃສ່ຂໍ້ຄວາມ input (TUI)
    ກັບ dialog managerPartial Unicode
    ສະ​ຫນັບ​ສະ​ຫນູນ​ຂ້າ​ໃຊ້ ...
    ດາວໂຫລດ TTGO VGA32 Lite
  • 5
    Clover EFI bootloader
    Clover EFI bootloader
    ໂຄງການໄດ້ຍ້າຍໄປ
    https://github.com/CloverHackyColor/CloverBootloader..
    ຄຸນສົມບັດ: ເປີດ macOS, Windows, ແລະ Linux
    ໃນ UEFI ຫຼືຮູບແບບ legacy ໃນ Mac ຫຼື PC ກັບ
    ຢູ...
    ດາວໂຫລດ Clover EFI bootloader
  • 6
    unitedrpms
    unitedrpms
    ເຂົ້າຮ່ວມກັບພວກເຮົາໃນ Gitter!
    https://gitter.im/unitedrpms-people/Lobby
    ເປີດໃຊ້ URPMS repository ໃນຂອງທ່ານ
    ລະບົບ -
    https://github.com/UnitedRPMs/unitedrpms.github.io/bl...
    ດາວໂຫລດ unitedrpms
  • ເພີ່ມເຕີມ »

Linux ຄຳ ສັ່ງ

Ad