ນີ້ແມ່ນແອັບ Linux ທີ່ມີຊື່ວ່າ Idris 2 ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ເປັນ Version0.6.0.zip. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີ OnWorks ສໍາລັບສະຖານີບ່ອນເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ຊື່ Idris 2 ກັບ 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
ໄອດຣິສ 2
ລາຍລະອຽດ
ໃນການພັດທະນາປະເພດທີ່ຂັບເຄື່ອນ, ປະເພດແມ່ນເຄື່ອງມືສໍາລັບການກໍ່ສ້າງໂຄງການ. ພວກເຮົາປະຕິບັດປະເພດເປັນແຜນການສໍາລັບໂຄງການ, ແລະໃຊ້ compiler ແລະຕົວກວດສອບປະເພດເປັນຜູ້ຊ່ວຍຂອງພວກເຮົາ, ນໍາພາພວກເຮົາໄປສູ່ໂຄງການທີ່ສົມບູນທີ່ພໍໃຈກັບປະເພດ. ປະເພດຂອງການສະແດງອອກຫຼາຍແມ່ນວ່າພວກເຮົາຍອມແພ້ຕໍ່ຫນ້າ, ຄວາມຫມັ້ນໃຈຫຼາຍທີ່ພວກເຮົາສາມາດມີວ່າໂຄງການຜົນໄດ້ຮັບຈະຖືກຕ້ອງ. ໃນ Idris, ປະເພດແມ່ນການກໍ່ສ້າງຊັ້ນທໍາອິດໃນພາສາ. ນີ້ຫມາຍຄວາມວ່າປະເພດສາມາດຖືກສົ່ງຜ່ານເປັນ argument ກັບຟັງຊັນ, ແລະສົ່ງຄືນຈາກຟັງຊັນຄືກັນກັບຄ່າອື່ນໆ, ເຊັ່ນ: ຕົວເລກ, ສະຕຣິງ, ຫຼືລາຍຊື່. ນີ້ແມ່ນຄວາມຄິດຂະຫນາດນ້ອຍແຕ່ມີອໍານາດ, ເຮັດໃຫ້ການພົວພັນສະແດງອອກລະຫວ່າງຄຸນຄ່າ; ຕົວຢ່າງ, ສອງລາຍການມີຄວາມຍາວດຽວກັນ. ການສົມມຸດຕິຖານທີ່ຈະແຈ້ງແລະຖືກກວດສອບໂດຍຜູ້ລວບລວມຂໍ້ມູນ. ຕົວຢ່າງ, ຖ້າທ່ານສົມມຸດວ່າບັນຊີລາຍຊື່ບໍ່ຫວ່າງ, Idris ສາມາດຮັບປະກັນການສົມມຸດຕິຖານນີ້ສະເຫມີກ່ອນທີ່ໂຄງການຈະດໍາເນີນການ.
ຄຸນລັກສະນະ
- ຖ້າຕ້ອງການ, ຄຸນສົມບັດຂອງພຶດຕິກໍາຂອງໂປລແກລມຈະຖືກລະບຸຢ່າງເປັນທາງການແລະພິສູດ
- ປະເພດແມ່ນການກໍ່ສ້າງຊັ້ນທໍາອິດໃນພາສາ
- Idris ເປັນພາສາການຂຽນໂປລແກລມທີ່ອອກແບບມາເພື່ອຊຸກຍູ້ການພັດທະນາແບບຂັບເຄື່ອນ
- ພວກເຮົາປະຕິບັດປະເພດເປັນແຜນການສໍາລັບໂຄງການ
- ໃຊ້ compiler ແລະພິມ checker ເປັນຜູ້ຊ່ວຍ
- ປະເພດສາມາດຖືກສົ່ງຜ່ານເປັນການໂຕ້ຖຽງກັບຫນ້າທີ່
ພາສາການຂຽນໂປຣແກຣມ
C
ປະເພດ
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/idris-2.mirror/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ດ້ວຍວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.