Ko te reo Bel kua tuhia ki te reo Bel.
I te tau 1960, i whakaahuatia e John McCarthy a Lisp, he momo reo hootaka hou. Ka kii ahau "momo hou" na te mea ehara a Lisp i te reo hou, engari he huarahi hou mo te whakaahua i nga reo.
Hei whakamaarama i a Lisp, i timata ia me etahi korero iti, he momo axioms, katahi ka tuhia e ia he kaiwhakamaori mo te reo ake.
Karekau i whakatakoto ki te whakaahua i tetahi reo hootaka i roto i te tikanga o mua - he reo e whakamahia ana hei korero ki te rorohiko me aha. I roto i ana mahi i te tau 1960, i mohiohia a Lisp he tauira okawa mo te tatauranga e rite ana ki te Miihini Turing. Kaore a McCarthy i whakaaro mo te whakamahi i runga rorohiko tae noa ki ta Steve Russell, tana tauira paetahi, i kii mai.
Ko Lisp i te tau 1960 karekau he ahuatanga e rite ana ki nga reo hotaka. Hei tauira, karekau he nama, he hapa, he I/O ranei. Na ko nga tangata i whakamahi i a Lisp hei putake mo nga reo e whakamahia ana ki te rorohiko rorohiko me taapiri enei ahuatanga. Na ratou i mahi i tenei ma te whakarere i te huarahi axiomatic.
No reira, ko te whanaketanga o Lisp i haere i roto i nga wahanga e rua - me te ahua motuhake - he waahanga okawa, i whakauruhia ki roto i te pepa o te tau 1960, me tetahi waahanga whakatinanatanga, i urutauhia ai te reo me te whakawhānui atu ki runga rorohiko. Ko nga mahi matua, ki te inehia e te maha o nga whai wāhitanga kua whakatinanahia, i puta i te waahanga whakatinanatanga. Lisp mai i te tau 1960, i whakamaoritia ki te Common Lisp, e 53 noa nga rarangi. Ka mahia e ia nga mea e tika ana hei whakamaori i nga korero. Ko nga mea katoa i taapirihia i te waahanga whakatinanatanga.
Ko taku whakapae, ahakoa tona hitori uaua, i whai hua a Lisp i te mea i puta tona whanaketanga i roto i nga waahanga e rua; ko te mahi tuatahi ki te tautuhi i te reo ma te tuhi i tona kaiwhakamaori ki roto i hoatu ai ki a Lisp ona tino pai. A, ki te pera, he aha e kore ai e haere atu?
Pere he ngana ki te whakautu i te patai: ka pehea mena, kaore i neke atu i te atamira okawa ki te atamira whakamate i te wa moata, ka mahia tenei whakawhitinga i te mutunga rawa? Mena ka whakamahi tonu koe i te huarahi axiomatic kia tae ra ano ki a koe tetahi mea e tata ana ki te reo hotaka katoa, he aha nga axioms ka hiahia koe, ka pehea te ahua o te reo ka puta?
E hiahia ana ahau ki te whakamarama he aha a Bel me te kore. Ahakoa he maha atu nga ahuatanga i to McCarthy's 1960 Lisp, he hua tonu a Bel i roto i tana wahanga okawa. Ka rite ki a Lisp, i whakaahuatia i roto i te pepa 1960, ehara i te reo ka taea e koe te whakamahi ki te hotaka. Ko te mea nui, penei i a McCarthy's Lisp, kaore e aro ki te whai hua. Ka tapiritia e ahau tetahi mea ki a Bel, ka whakaahua ahau i te tikanga o te taapiri me te kore e ngana ki te whakarato i te whakatinanatanga pai.
Hei aha? He aha te take ka whakaroahia te atamira okawa? Ko tetahi whakautu ko te kite kei hea te huarahi axiomatic e kawe ai, he mahi whakamere tonu. Mena he rite te kaha o nga rorohiko ki ta tatou e hiahia ana, ka pehea te ahua o nga reo?
Engari e whakapono ana ahau ka taea te tuhi i tetahi whakatinanatanga pai a Bel ma te taapiri i nga here. Mena kei te pirangi koe ki te reo e whai mana ana, e marama ana, e whai hua ana, me timata ma te kaha whakaatu me te marama, katahi ka taapirihia nga here, kaua ki te haere ki tera taha.
Na, ki te hiahia koe ki te ngana ki te tuhi i tetahi whakatinanatanga i runga i a Bel, haere tonu. Ko ahau tetahi o nga kaiwhakamahi tuatahi.
I te mutunga, i whakaputahia e au etahi mea mai i nga reo o mua. Ahakoa i tika a ratou kaihoahoa, i awehia ranei e nga reo o mua, kaore au e kite i te whakautu tika - ma te wa e korero. I ngana ano ahau kia kaua e kotiti rawa atu i nga huihuinga Lisp. Ko te tikanga mena ka kite koe i te neke atu i nga huihuinga Lisp, tera pea he take.
.
Nga mihi mo te whakamaoritanga: Denis Mitropolsky
PS
Source: will.com