ນີ້ແມ່ນຄໍາສັ່ງ cafeobj ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍສະຖານີເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
cafeobj - ສະເພາະກ່ຽວກັບພຶດຊະຄະນິດ ແລະພາສາການຂຽນໂປຣແກຣມ
ສະຫຼຸບສັງລວມ
ຮ້ານກາເຟ [ທາງເລືອກ]... [ເອກະສານ] ...
ລາຍລະອຽດ
ເລີ່ມຕົ້ນ CafeOBJ ນາຍພາສາ.
CafeOBJ ເປັນພາສາສະເພາະທາງການທີ່ກ້າວຫນ້າທີ່ສຸດທີ່ສືບທອດທີ່ກ້າວຫນ້າທາງດ້ານຫຼາຍ
ລັກສະນະຕ່າງໆ (ເຊັ່ນ: syntax ປະສົມແກ້ໄຂແບບຍືດຫຍຸ່ນ, ລະບົບການພິມທີ່ມີອໍານາດແລະຊັດເຈນກັບຄໍາສັ່ງ
ການຈັດລຽງ, ໂມດູນພາລາມິເຕີແລະມຸມເບິ່ງສໍາລັບການ instantiating ຕົວກໍານົດການ, ແລະໂມດູນ
ການສະແດງອອກ, ແລະອື່ນໆ) ຈາກ OBJ (ຫຼືຫຼາຍກວ່ານັ້ນແນ່ນອນ OBJ3) ພາສາສະເພາະກ່ຽວກັບພຶດຊະຄະນິດ.
CafeOBJ ເປັນພາສາສໍາລັບການຂຽນເປັນທາງການ (ເຊັ່ນ: ຄະນິດສາດ) ສະເພາະຂອງຕົວແບບສໍາລັບການ
ແນວພັນທີ່ກວ້າງຂວາງຂອງຊອບແວແລະລະບົບ, ແລະການກວດສອບຄຸນສົມບັດຂອງມັນ. CafeOBJ
ປະຕິບັດເຫດຜົນສົມຜົນໂດຍການຂຽນຄືນໃຫມ່ແລະສາມາດນໍາໃຊ້ເປັນທິດສະດີການໂຕ້ຕອບທີ່ມີປະສິດທິພາບ
ລະບົບການພິສູດ. ຕົວຊີ້ບອກສາມາດຂຽນຄະແນນຫຼັກຖານໃນ CafeOBJ ແລະເຮັດຫຼັກຖານສະແດງໂດຍ
ການປະຕິບັດຄະແນນຫຼັກຖານ.
CafeOBJ ມີຄວາມເຂັ້ມງວດທາງດ້ານເຫດຜົນທາງດ້ານເຫດຜົນໂດຍອີງໃສ່ສະຖາບັນ. CafeOBJ
cube ສະແດງໃຫ້ເຫັນໂຄງສ້າງຂອງເຫດຜົນຕ່າງໆທີ່ຕິດພັນກັບການປະສົມປະສານຂອງຕ່າງໆ
paradigms ປະຕິບັດໂດຍພາສາ. ຄະແນນຫຼັກຖານສະແດງໃນ CafeOBJ ແມ່ນຍັງອີງໃສ່
ສະຖາບັນໂດຍອີງໃສ່ semantics ທີ່ເຄັ່ງຄັດ, ແລະສາມາດໄດ້ຮັບການກໍ່ສ້າງໂດຍໃຊ້ຊຸດຫຼັກຖານສະແດງທີ່ສົມບູນ
ກົດລະບຽບ.
OPTIONS
ມີສອງຫ້ອງຮຽນຂອງທາງເລືອກ. ທໍາອິດແມ່ນທາງເລືອກສໍາລັບການ ຮ້ານກາເຟ ຕົວ ໜັງ ສືຫໍ່
ທີ່ອະນຸຍາດໃຫ້ເລືອກເອົາຕົວແປ Common Lisp, ແລະປັບເສັ້ນທາງຄົ້ນຫາ
ຕົວກໍານົດການ.
- ເຄື່ອງຈັກ NAME
ເລືອກເຄື່ອງຈັກ lisp ທົ່ວໄປທີ່ຕິດພັນ. ຖ້າບໍ່ໄດ້ໃຫ້, ອັນທໍາອິດເລືອກ
ໃນເວລາສ້າງແມ່ນຖືກນໍາໃຊ້.
- ບັນຊີລາຍຊື່ເຄື່ອງຈັກ
ລາຍຊື່ເຄື່ອງຈັກ lisp ທົ່ວໄປທີ່ມີຢູ່ທັງໝົດ
-wrapper-libpath PATH
ກໍານົດເສັ້ນທາງທີ່ມີການຖິ້ມຄວາມຊົງຈໍາຂອງນາຍແປພາສາ lisp ໄດ້ຖືກພົບເຫັນ
-wrapper-sharepath PATH
ກໍານົດເສັ້ນທາງທີ່ໄຟລ໌ການເລີ່ມຕົ້ນ CafeOBJ ຖືກຄົ້ນຫາ
ຊຸດຂອງທາງເລືອກຕໍ່ໄປນີ້ແມ່ນໄປຫານາຍພາສາ CafeOBJ ໂດຍກົງ:
-ຊ່ວຍ ພິມຂໍ້ຄວາມຊ່ວຍເຫຼືອ
-q ຢ່າໂຫລດໄຟລ໌ເບື້ອງຕົ້ນຂອງຜູ້ໃຊ້
- ຊຸດ ດໍາເນີນການໃນຮູບແບບ batch
-p PATH
ໃຫ້ໂມດູນກໍານົດໄຟລ໌ prelude ມາດຕະຖານ
+p PATH
ໂຫຼດໄຟລ໌ prelude ເພີ່ມເຕີມ
-l DIR-LIST
ກໍານົດລາຍຊື່ເສັ້ນທາງສໍາລັບເສັ້ນທາງການຊອກຫາໂມດູນ, ແຍກໂດຍຈໍ້າສອງເມັດ
+l DIR-LIST
ເພີ່ມບັນຊີລາຍຊື່ຂອງຊື່ເສັ້ນທາງສໍາລັບເສັ້ນທາງການຊອກຫາໂມດູນ
ເອກະສານ ໄຟລ໌ທີ່ຖືກໂຫລດໃນເວລາເລີ່ມຕົ້ນໃນຄໍາສັ່ງ.
ໃຊ້ cafeobj ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net
