ສິ່ງທີ່ເຮັດໃຫ້ Lisp ພິເສດ

«ພາສາການຂຽນໂປລແກລມທີ່ດີທີ່ສຸດທີ່ເຄີຍສ້າງ«
— Alan Kay, "ຢູ່ Lisp"

ເມື່ອ McCarthy ພັດທະນາ Lisp ໃນທ້າຍຊຸມປີ 1950, ມັນແຕກຕ່າງຈາກພາສາທີ່ມີຢູ່ແລ້ວ, ທີ່ສໍາຄັນທີ່ສຸດແມ່ນ. ຟໍຣັນ.

Lisp ໄດ້​ນໍາ​ສະ​ເຫນີ XNUMX ແນວ​ຄວາມ​ຄິດ​ໃຫມ່​:

1. ເງື່ອນໄຂ. ຖະແຫຼງການທີ່ມີເງື່ອນໄຂແມ່ນການກໍ່ສ້າງຖ້າ-ຫຼັງຈາກນັ້ນ-ອື່ນ. ດຽວນີ້, ພວກເຮົາເອົາພວກມັນອອກ. ພວກເຂົາເຈົ້າໄດ້ ປະດິດ McCarthy ໃນໄລຍະການພັດທະນາຂອງ Lisp. (Fortran ໃນເວລານັ້ນມີພຽງແຕ່ຄໍາຖະແຫຼງການ goto, ສົມທົບຢ່າງໃກ້ຊິດກັບຄໍາແນະນໍາສາຂາກ່ຽວກັບຮາດແວທີ່ຕິດພັນ.) McCarthy, ໃນຂະນະທີ່ຢູ່ໃນຄະນະກໍາມະການ Algol, ໄດ້ປະກອບສ່ວນເງື່ອນໄຂໃຫ້ກັບ Algol, ຈາກບ່ອນທີ່ພວກເຂົາເຜີຍແຜ່ເປັນພາສາອື່ນໆ.

2. ປະເພດຟັງຊັນ. ໃນ Lisp, ຟັງຊັນແມ່ນວັດຖຸຊັ້ນທໍາອິດ - ພວກມັນເປັນປະເພດຂໍ້ມູນ, ຄືກັນກັບຕົວເລກ, ສາຍ, ແລະອື່ນໆ, ແລະເປັນຕົວແທນຂອງຕົວແປ, ສາມາດຖືກເກັບໄວ້ໃນຕົວແປ, ສາມາດສົ່ງຜ່ານເປັນການໂຕ້ຖຽງ, ແລະອື່ນໆ.

3. ຊ້ຳ. Recursion, ແນ່ນອນ, ມີຢູ່ໃນແນວຄວາມຄິດທາງຄະນິດສາດກ່ອນ Lisp, ແຕ່ Lisp ແມ່ນພາສາການຂຽນໂປຼແກຼມທໍາອິດທີ່ສະຫນັບສະຫນູນມັນ. (ບາງທີນີ້ຫມາຍເຖິງການສ້າງຫນ້າທີ່ເປັນວັດຖຸຊັ້ນທໍາອິດ.)

4. ແນວຄວາມຄິດໃຫມ່ຂອງຕົວແປ. ໃນ Lisp, ຕົວແປທັງຫມົດແມ່ນຕົວຊີ້ປະສິດທິພາບ. ຄຸນຄ່າແມ່ນສິ່ງທີ່ປະເພດມີ, ບໍ່ແມ່ນຕົວແປ, ແລະການກໍານົດຫຼືການຜູກມັດຕົວແປຫມາຍເຖິງການຄັດລອກຕົວຊີ້, ບໍ່ແມ່ນສິ່ງທີ່ພວກເຂົາຊີ້ໃຫ້ເຫັນ.

5. ການເກັບຂີ້ເຫຍື້ອ.

6. ໂຄງ​ການ​ປະ​ກອບ​ດ້ວຍ​ການ​ສະ​ແດງ​ອອກ​. ໂປຣແກມ Lisp ແມ່ນຕົ້ນໄມ້ຂອງການສະແດງອອກ, ແຕ່ລະອັນຈະສົ່ງຄ່າ. (ບາງຄໍາເວົ້າຂອງ Lisp ສາມາດສົ່ງຄືນຄ່າຫຼາຍອັນ.) ນີ້ກົງກັນຂ້າມກັບ Fortran ແລະຫຼາຍພາສາທີ່ປະສົບຜົນສໍາເລັດອື່ນໆທີ່ຈໍາແນກລະຫວ່າງ "ການສະແດງອອກ" ແລະ "ຄໍາຖະແຫຼງ."

ມັນເປັນເລື່ອງທໍາມະຊາດທີ່ຈະມີຄວາມແຕກຕ່າງນີ້ຢູ່ໃນ Fortran ເພາະວ່າພາສາແມ່ນຮັດກຸມ (ບໍ່ແປກໃຈສໍາລັບພາສາທີ່ມີຮູບແບບການປ້ອນຂໍ້ມູນເປັນບັດ punched). ທ່ານບໍ່ສາມາດມີຂໍ້ຄວາມທີ່ຊ້ອນກັນໄດ້. ແລະຕາບໃດທີ່ເຈົ້າຕ້ອງການການສະແດງອອກທາງຄະນິດສາດເພື່ອເຮັດວຽກ, ມັນບໍ່ມີຈຸດໃດທີ່ຈະໃຫ້ຄ່າອື່ນກັບຄືນມາ, ເພາະວ່າມັນອາດຈະບໍ່ມີສິ່ງໃດລໍຖ້າໃຫ້ກັບຄືນມາ.

ຂໍ້ ຈຳ ກັດດັ່ງກ່າວໄດ້ຖືກຍົກອອກມາດ້ວຍການມາຮອດຂອງພາສາທີ່ມີໂຄງສ້າງ, ແຕ່ມາຮອດເວລານັ້ນມັນຊ້າເກີນໄປ. ຄວາມແຕກຕ່າງລະຫວ່າງການສະແດງອອກແລະການຖະແຫຼງການໄດ້ຖືກສ້າງຕັ້ງຂຶ້ນແລ້ວ. ມັນຜ່ານຈາກ Fortran ໄປ Algol ແລະຕໍ່ໄປເຖິງລູກຫລານຂອງພວກເຂົາ.

ເມື່ອພາສາໃດນຶ່ງຖືກສ້າງເປັນສຳນວນທັງໝົດ, ເຈົ້າສາມາດຂຽນສຳນວນຕາມທີ່ທ່ານຕ້ອງການ. ທ່ານ​ສາ​ມາດ​ຂຽນ​ທັງ​ຫມົດ (ການ​ນໍາ​ໃຊ້ syntax ໄດ້​ Arc)

(if foo (= x 1) (= x 2))

ຫຼື

(= x (if foo 1 2))

7. ປະເພດສັນຍາລັກ. ຕົວອັກສອນແຕກຕ່າງຈາກສະຕຣິງ, ໃນກໍລະນີນີ້ທ່ານສາມາດກວດເບິ່ງຄວາມສະເຫມີພາບໂດຍການປຽບທຽບຕົວຊີ້.

8. ຫມາຍເຫດສໍາລັບລະຫັດ ການ​ນໍາ​ໃຊ້​ຕົ້ນ​ໄມ້​ສັນ​ຍາ​ລັກ​.

9. ພາສາທັງຫມົດແມ່ນມີຢູ່ສະເຫມີ. ບໍ່ມີຄວາມແຕກຕ່າງທີ່ຊັດເຈນລະຫວ່າງເວລາອ່ານ, ເວລາລວບລວມແລະເວລາແລ່ນ. ທ່ານສາມາດລວບລວມຫຼືແລ່ນລະຫັດໃນຂະນະທີ່ທ່ານອ່ານ, ຫຼືອ່ານຫຼືແລ່ນລະຫັດໃນຂະນະທີ່ທ່ານລວບລວມ, ຫຼືອ່ານຫຼືລວບລວມລະຫັດໃນຂະນະທີ່ມັນແລ່ນ.

ແລ່ນລະຫັດໃນຂະນະທີ່ອ່ານອະນຸຍາດໃຫ້ຜູ້ໃຊ້ສາມາດ reprogram syntax ຂອງ Lisp; ແລ່ນລະຫັດໃນເວລາລວບລວມແມ່ນພື້ນຖານສໍາລັບ macros; runtime compilation ແມ່ນພື້ນຖານສໍາລັບການນໍາໃຊ້ Lisp ເປັນພາສາຂະຫຍາຍໃນໂຄງການເຊັ່ນ Emacs; ແລະສຸດທ້າຍ, ການອ່ານ runtime ອະນຸຍາດໃຫ້ບັນດາໂຄງການຕິດຕໍ່ສື່ສານໂດຍໃຊ້ s-expressions, ຄວາມຄິດທີ່ສ້າງຂຶ້ນໃຫມ່ໃນ XML.

ສະຫລຸບ

ໃນເວລາທີ່ Lisp ໄດ້ຖືກປະດິດຄັ້ງທໍາອິດ, ແນວຄວາມຄິດເຫຼົ່ານີ້ແມ່ນໄກຈາກການປະຕິບັດການຂຽນໂປລແກລມແບບດັ້ງເດີມທີ່ກໍານົດໂດຍຮາດແວທີ່ມີຢູ່ໃນທ້າຍຊຸມປີ 1950.

ເມື່ອເວລາຜ່ານໄປ, ພາສາເລີ່ມຕົ້ນ, ປະກອບໂດຍຄວາມສໍາເລັດຂອງພາສາທີ່ນິຍົມ, ຄ່ອຍໆພັດທະນາໄປສູ່ Lisp. ຈຸດ 1-5 ໃນປັດຈຸບັນໄດ້ຮັບການຍອມຮັບຢ່າງກວ້າງຂວາງ. ຈຸດທີ 6 ກໍາລັງເລີ່ມປາກົດຢູ່ໃນກະແສຫຼັກ. ໃນ Python, ມີຂໍ້ 7 ໃນບາງຮູບແບບ, ເຖິງແມ່ນວ່າບໍ່ມີ syntax ທີ່ເຫມາະສົມ. ລາຍການ 8, ເຊິ່ງ (ກັບລາຍການ 9) ເຮັດໃຫ້ macro ເປັນໄປໄດ້ໃນ Lisp, ຍັງຄົງຢູ່ໃນ Lisp, ອາດຈະເປັນເພາະວ່າ (a) ມັນຮຽກຮ້ອງໃຫ້ມີວົງເລັບເຫຼົ່ານັ້ນຫຼືບາງສິ່ງບາງຢ່າງທີ່ບໍ່ດີເທົ່າທຽມກັນ, ແລະ (b) ຖ້າທ່ານເພີ່ມການເພີ່ມພະລັງງານຫຼ້າສຸດນີ້, ທ່ານສາມາດ ບໍ່ໄດ້ອ້າງວ່າໄດ້ invented ພາສາໃຫມ່, ແຕ່ວ່າພຽງແຕ່ໄດ້ພັດທະນາພາສາໃຫມ່ຂອງ Lisp; -)

ເຖິງແມ່ນວ່ານີ້ເປັນປະໂຫຍດສໍາລັບນັກຂຽນໂປລແກລມທີ່ທັນສະໄຫມ, ມັນເປັນເລື່ອງແປກທີ່ຈະອະທິບາຍ Lisp ໃນແງ່ຂອງຄວາມແຕກຕ່າງຂອງມັນຈາກເຕັກນິກແບບສຸ່ມທີ່ໄດ້ຮັບຮອງເອົາໃນພາສາອື່ນ. ນີ້ອາດຈະບໍ່ແມ່ນສິ່ງທີ່ McCarthy ກໍາລັງຄິດ. Lisp ບໍ່ໄດ້ຖືກອອກແບບມາເພື່ອແກ້ໄຂຂໍ້ຜິດພາດຂອງ Fortran; ມັນປະກົດວ່າເປັນຜົນມາຈາກການພະຍາຍາມຫຼາຍກວ່າ axiomatize ການ​ຄິດ​ໄລ່​.

ແຫຼ່ງຂໍ້ມູນ: www.habr.com