Cov lus Bel yog sau ua lus Bel.
Xyoo 1960, John McCarthy tau piav txog Lisp, ib hom lus tshiab. Kuv hais tias "hom tshiab" vim Lisp tsis yog hom lus tshiab xwb, tab sis yog txoj kev tshiab ntawm kev piav cov lus.
Txhawm rau txhais Lisp, nws pib nrog cov lus me me, ib hom axioms, uas nws tau siv los sau tus neeg txhais lus rau cov lus nws tus kheej.
Nws tsis tau teeb tsa los piav txog cov lus programming hauv qhov kev xav ib txwm - ib hom lus siv los qhia lub computer yuav ua li cas. Hauv nws txoj haujlwm xyoo 1960, Lisp tau nkag siab tias yog ib qho qauv ntawm kev suav nrog rau Turing Machine. McCarthy tsis xav txog kev siv nws hauv computer kom txog thaum Steve Russell, nws cov tub ntxhais kawm tiav, tau qhia nws.
Lisp hauv xyoo 1960 tsis muaj cov yam ntxwv zoo rau cov lus programming. Piv txwv li, tsis muaj tus lej, yuam kev lossis I / O. Yog li cov neeg uas siv Lisp ua lub hauv paus rau cov lus siv rau cov khoos phis tawj yuav tsum tau ntxiv cov yam ntxwv no lawv tus kheej. Thiab lawv tau ua qhov no los ntawm kev tso tseg txoj hauv kev axiomatic.
Yog li, txoj kev loj hlob ntawm Lisp tau ua tiav nyob rau hauv ob - thiab zoo li muaj kev ywj pheej - theem: ib theem pib, qhia nyob rau hauv 1960 daim ntawv, thiab ib qho kev siv theem, uas cov lus tau yoog thiab txuas ntxiv mus khiav hauv computers. Lub luag haujlwm tseem ceeb, yog ntsuas los ntawm tus naj npawb ntawm kev siv lub sijhawm, tau tshwm sim nyob rau theem kev siv. Lisp los ntawm 1960, txhais ua Common Lisp, tsuas muaj 53 kab xwb. Nws tsuas yog ua qhov tsim nyog los txhais cov kab lus. Txhua yam ntxiv tau ntxiv nyob rau theem pib.
Kuv qhov kev xav yog tias, txawm tias nws cov keeb kwm nyuaj, Lisp tau txais txiaj ntsig los ntawm qhov tseeb tias nws txoj kev loj hlob tshwm sim hauv ob theem; tias thawj qhov kev tawm dag zog ntawm kev txhais lus los ntawm kev sau nws tus neeg txhais lus hauv nws tau muab Lisp nws qhov zoo tshaj plaws. Thiab yog tias muaj, vim li cas ho tsis mus ntxiv?
lub duav rov sauv yog ib qho kev sim los teb cov lus nug: yuav ua li cas yog tias, tsis txhob txav los ntawm cov txheej txheem mus rau theem ua tiav thaum ntxov, qhov kev hloov pauv no tau ua kom lig li sai tau? Yog tias koj txuas ntxiv siv txoj hauv kev axiomatic mus txog thaum koj muaj qee yam nyob ze rau qhov ua tiav cov lus programming, koj yuav xav tau dab tsi axioms, thiab cov lus yuav zoo li cas?
Kuv xav kom meej txog qhov Bel yog dab tsi thiab nws tsis yog. Txawm hais tias nws muaj ntau yam ntxiv dua li McCarthy's 1960 Lisp, Bel tseem yog cov khoom lag luam nyob rau hauv nws cov theem ua haujlwm. Zoo li Lisp, tau piav nyob rau hauv 1960 daim ntawv, nws tsis yog ib hom lus uas koj tuaj yeem siv rau qhov program. Feem ntau vim hais tias, zoo li McCarthy's Lisp, nws tsis quav ntsej txog kev ua haujlwm. Thaum kuv ntxiv ib yam dab tsi rau Bel, kuv piav qhia lub ntsiab lus ntawm qhov ntxiv yam tsis tau sim ua kom muaj txiaj ntsig zoo.
Rau dab tsi? Vim li cas thiaj ncua lub sij hawm raug cai? Ib lo lus teb yog pom qhov twg axiomatic mus kom ze tuaj yeem coj peb, uas yog ib qho kev nthuav tawm hauv nws tus kheej. Yog tias computers muaj zog npaum li peb xav kom lawv ua, hom lus yuav zoo li cas?
Tab sis kuv kuj ntseeg tias nws muaj peev xwm sau tau qhov kev siv tau zoo ntawm Bel-based los ntawm kev ntxiv kev txwv. Yog tias koj xav tau ib hom lus uas muaj lub hwj chim, kev pom tseeb, thiab kev ua tau zoo, nws yuav tsim nyog pib nrog lub hwj chim thiab kev pom tseeb, thiab tom qab ntawd ntxiv cov kev txwv, tsis yog mus rau qhov sib txawv.
Yog li yog tias koj xav sim sau qhov kev siv raws li Bel, mus tom ntej. Kuv yuav yog ib tus neeg siv thawj zaug.
Thaum kawg, kuv rov tsim dua qee yam ntawm cov lus yav dhau los. Txawm lawv cov neeg tsim qauv tau txais nws txoj cai, lossis raug cuam tshuam los ntawm cov lus siv yav dhau los, kuv tsis pom cov lus teb yog - lub sijhawm yuav qhia. Kuv kuj tau sim tsis txhob yuam kev deb dhau ntawm Lisp cov lus cog tseg. Qhov ntawd txhais tau hais tias yog tias koj pom kev txav mus deb ntawm Lisp cov lus cog tseg, tej zaum yuav muaj laj thawj rau nws.
.
Ua tsaug rau kev txhais lus: Denis Mitropolsky
PS
Tau qhov twg los: www.hab.com