Ua kākau ʻia ka ʻōlelo Bel ma ka ʻōlelo Bel.
I ka makahiki 1960, ua wehewehe ʻo John McCarthy iā Lisp, he ʻano ʻōlelo hoʻonohonoho hou. 'Ōlelo wau "ʻano hou" no ka mea ʻaʻole ʻo Lisp he ʻōlelo hou wale nō, akā he ala hou e wehewehe ai i nā ʻōlelo.
No ka wehewehe ʻana iā Lisp, hoʻomaka ʻo ia me kahi ʻōlelo liʻiliʻi, kahi ʻano axioms, a laila hoʻohana ʻo ia e kākau i ka unuhi ʻōlelo no ka ʻōlelo ponoʻī.
ʻAʻole ia i hoʻonohonoho e wehewehe i kahi ʻōlelo papahana ma ke ʻano maʻamau - he ʻōlelo i hoʻohana ʻia e haʻi i ke kamepiula i ka mea e hana ai. Ma kāna hana i ka makahiki 1960, ua hoʻomaopopo ʻia ʻo Lisp ma ke ʻano he kumu hoʻohālike o ka helu ʻana e like me ka Turing Machine. ʻAʻole noʻonoʻo ʻo McCarthy i ka hoʻohana ʻana iā ia ma nā kamepiula a hiki i kā Steve Russell, kāna haumāna puka, ʻōlelo ʻo ia.
ʻAʻole i loaʻa iā Lisp i ka makahiki 1960 nā hiʻohiʻona maʻamau i nā ʻōlelo papahana. No ka laʻana, ʻaʻohe helu, hewa a i ʻole I/O. No laila ka poʻe i hoʻohana iā Lisp i kumu no nā ʻōlelo i hoʻohana ʻia i nā kamepiula polokalamu e hoʻohui i kēia mau hiʻohiʻona iā lākou iho. A ua hana lākou i kēia ma ka haʻalele ʻana i ke ala axiomatic.
No laila, ua hoʻomaka ka hoʻomohala ʻana o Lisp i ʻelua - a me he mea lā he kūʻokoʻa loa - nā pae: kahi kūlana kūlana, i hoʻokomo ʻia ma kahi pepa 1960, a me kahi pae hoʻokō, kahi i hoʻololi ʻia ai ka ʻōlelo a hoʻonui ʻia e holo ma nā kamepiula. ʻO ka hana nui, inā i ana ʻia e ka nui o nā manawa i hoʻokō ʻia, i hana ʻia ma ka pae hoʻokō. ʻO Lisp mai ka makahiki 1960, unuhi ʻia i loko o ka Common Lisp, he 53 laina wale nō. Hana wale ia i ka mea e pono ai ka wehewehe ʻana i nā ʻōlelo. Ua hoʻohui ʻia nā mea ʻē aʻe i ka pae hoʻokō.
ʻO koʻu kuhiakau ʻo ia, ʻoiai ʻo kāna moʻolelo paʻakikī, ua pōmaikaʻi ʻo Lisp i ka ʻoiaʻiʻo o kona hoʻomohala ʻana i ʻelua mau ʻāpana; ʻO ka hoʻomaʻamaʻa mua ʻana i ka wehewehe ʻana i kahi ʻōlelo ma ke kākau ʻana i kāna unuhi ʻōlelo i loko o ia mea i hāʻawi iā Lisp i kāna mau ʻano maikaʻi loa. A inā pēlā, no ke aha e hele ʻole ai?
Bela he ho'āʻo e pane i ka nīnau: pehea inā, ma kahi o ka neʻe ʻana mai ke kahua kūlana a i ke kahua hoʻokō i ka wā mua, ua hana ʻia kēia hoʻololi i ka hiki ke hiki? Inā hoʻomau ʻoe i ka hoʻohana ʻana i ke ala axiomatic a hiki i ka loaʻa ʻana o kahi mea kokoke i kahi ʻōlelo hoʻonohonoho piha, he aha nā axioms āu e pono ai, a pehea ke ʻano o ka huaʻōlelo?
Makemake au e maopopo i ke ʻano o Bel a me ka mea ʻaʻole. ʻOiai he nui nā hiʻohiʻona ʻē aʻe ma mua o ka McCarthy's 1960 Lisp, ʻo Bel ka huahana i kāna hana maʻamau. E like me Lisp, i wehewehe ʻia ma kahi pepa 1960, ʻaʻole ia he ʻōlelo hiki iā ʻoe ke hoʻohana i ka papahana. ʻO ka mea nui, e like me McCarthy's Lisp, ʻaʻole ia e mālama i ka pono. Ke hoʻohui au i kekahi mea iā Bel, wehewehe wau i ke ʻano o ka hoʻohui me ka ʻole o ka hoʻāʻo ʻana e hāʻawi i kahi hoʻokō pono.
He aha ke kumu? No ke aha e hoʻonui ai i ke kūlana kūlana? ʻO kahi pane e ʻike i kahi e hiki ai i ke ala axiomatic ke lawe iā mākou, he hana hoihoi ia iā ia iho. Inā ikaika nā lolouila e like me kā mākou e makemake ai, pehea ke ʻano o nā ʻōlelo?
Akā, ke manaʻoʻiʻo nei au he hiki ke kākau i kahi hoʻokō pono Bel-based ma ka hoʻohui ʻana i nā palena. Inā makemake ʻoe i ka ʻōlelo i loaʻa ka mana hōʻike, ka moʻokalaleo, a me ka maikaʻi, pono paha e hoʻomaka me ka mana hōʻike a me ka maopopo, a laila hoʻohui i nā kapu, ma mua o ka hele ʻana i ka ʻaoʻao ʻē aʻe.
No laila inā makemake ʻoe e hoʻāʻo e kākau i kahi hoʻokō e pili ana iā Bel, e hele i mua. ʻO wau kekahi o nā mea hoʻohana mua.
I ka hopena, ua hoʻopuka hou au i kekahi mau mea mai nā dialects mua. A i ʻole ua pololei kā lākou mea hoʻolālā, a i ʻole e hoʻohuli ʻia e nā dialects i hoʻohana mua ʻia, ʻaʻole wau ʻike i ka pane kūpono - na ka manawa e haʻi. Ua ho'āʻo hoʻi au e hele mamao loa mai nā ʻaha kūkā o Lisp. ʻO ia ka mea inā ʻike ʻoe i kahi neʻe ʻana mai nā ʻaha Lisp, aia paha ke kumu no ia.
.
Mahalo no ka unuhi: Denis Mitropolsky
PS
Source: www.habr.com