ນີ້ແມ່ນແອັບ Linux ທີ່ມີຊື່ວ່າ Idris-dev ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ໃນນາມ Release1.3.3sourcecode.tar.gz. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີ OnWorks ສໍາລັບສະຖານີບ່ອນເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ຊື່ Idris-dev ກັບ 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
Idris-dev
ລາຍລະອຽດ
Idris-dev ແມ່ນສະບັບພັດທະນາຂອງ Idris 1, ພາສາການຂຽນໂປຼແກຼມທີ່ໃຊ້ໄດ້ທົ່ວໄປທີ່ມີປະເພດທີ່ເພິ່ງພາອາໄສເຕັມຮູບແບບ, ອອກແບບມາເພື່ອການຂຽນໂປຼແກຼມທີ່ປອດໄພ ແລະ ຫຼັກຖານພາຍໃນພາສານັ້ນເອງ. ມັນລວບລວມເປັນ C ແລະ JavaScript (ສໍາລັບ Node.js ແລະຕົວທ່ອງເວັບ), ແລະສະຫນັບສະຫນູນການສ້າງລະຫັດຜ່ານ backends ທົດແທນ.
ຄຸນລັກສະນະ
- ປະເພດທີ່ເພິ່ງພາອາໄສເຕັມທີ່ອະນຸຍາດໃຫ້ຄ່າປາກົດຢູ່ໃນປະເພດ
- ການກວດສອບຈໍານວນທັງຫມົດເພື່ອຮັບປະກັນຫນ້າທີ່ສໍາເລັດແລະສິ້ນສຸດ
- ຕົວສ້າງລະຫັດສໍາລັບ C ແລະ JavaScript (ຕົວທ່ອງເວັບແລະ Node.js)
- ສະຫນັບສະຫນູນ backends ພາຍນອກ (ຕົວຢ່າງ, JVM, CIL, LLVM) ໂດຍຜ່ານການປະກອບສ່ວນຂອງຊຸມຊົນ
- ການພັດທະນາປະເພດທີ່ເຂັ້ມແຂງທີ່ໄດ້ຮັບການດົນໃຈໂດຍຜູ້ຊ່ວຍຫຼັກຖານເຊັ່ນ Agda ແລະ Coq
- ຮັກສາຢ່າງຫ້າວຫັນໃນຂະຫນານກັບການພັດທະນາ Idris 2
ພາສາການຂຽນໂປຣແກຣມ
Haskell
ປະເພດ
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/idris-dev.mirror/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ດ້ວຍວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.
