🥇 Dh’ainmich Paul Greumach cànan prògramaidh ùr Bel

Tha an cànan Bel sgrìobhte anns a’ chànan Bel.

Ann an 1960, thug Iain McCarthy cunntas air Lisp, seòrsa ùr de chànan prògramaidh. Bidh mi ag ràdh “seòrsa ùr” oir cha b’ e cànan ùr a-mhàin a bh’ ann an Lisp, ach dòigh ùr air cànanan a mhìneachadh.

Gus Lisp a mhìneachadh, thòisich e le seata beag de dh’ aithrisean, seòrsa de axioms, a chleachd e an uairsin airson eadar-theangair a sgrìobhadh airson a’ chànain fhèin.

Cha robh e an dùil cunntas a thoirt air cànan prògramaidh san t-seagh àbhaisteach - cànan a bhiodh air a chleachdadh gus innse do choimpiutair dè a bu chòir a dhèanamh. Anns an obair aige ann an 1960, bhathas a’ tuigsinn Lisp mar mhodail foirmeil de choimpiutaireachd coltach ris an Turing Machine. Cha do smaoinich McCarthy air a chleachdadh air coimpiutairean gus an do mhol Steve Russell, an oileanach ceumnachaidh aige e.

Cha robh na feartan a bha cumanta do chànanan prògramaidh aig Lisp ann an 1960. Mar eisimpleir, cha robh àireamhan, mearachdan no I/O ann. Mar sin bha aig daoine a chleachd Lisp mar bhunait airson na cànanan a chleachdar airson coimpiutairean a phrògramadh na feartan sin a chur ris iad fhèin. Agus rinn iad seo le bhith a’ trèigsinn an dòigh-obrach axiomatic.

Mar sin, chaidh leasachadh Lisp air adhart ann an dà ìre - agus a rèir coltais gu math neo-eisimeileach -: ìre fhoirmeil, air a thoirt a-steach ann am pàipear 1960, agus ìre buileachaidh, anns an deach an cànan atharrachadh agus a leudachadh gus a ruith air coimpiutairean. Thachair a’ phrìomh obair, ma thèid a thomhas leis an àireamh de chothroman a chaidh a bhuileachadh, aig ìre buileachaidh. Chan eil ann an Lisp bho 1960, air eadar-theangachadh gu Common Lisp, ach 53 loidhnichean. Chan eil e a’ dèanamh ach na tha riatanach airson na h-abairtean a mhìneachadh. Chaidh a h-uile càil eile a chur ris aig ìre buileachaidh.

Is e mo bheachd-sa, a dh’ aindeoin an eachdraidh dhoirbh a th’ aige, gun d’ fhuair Lisp buannachd bhon fhìrinn gun do thachair a leasachadh ann an dà ìre; gun tug an cleachdadh tùsail ann a bhith a’ mìneachadh cànan le bhith a’ sgrìobhadh an eadar-theangair innte na buadhan a b’ fheàrr dha Lisp. Agus ma tha, carson nach tèid thu nas fhaide?

Bel na oidhirp air a’ cheist a fhreagairt: dè ma chaidh, an àite gluasad bhon ìre fhoirmeil gu ìre cur gu bàs aig ìre thràth, gun deach an gluasad seo a dhèanamh cho fada ‘s a ghabhas? Ma chumas tu a’ cleachdadh an dòigh-obrach axiomatic gus am bi rudeigin faisg air cànan prògramadh iomlan agad, dè na h-axioms a bhios a dhìth ort, agus cò ris a bhios an cànan a thig às?

Tha mi airson a bhith soilleir mu dè a th’ ann am Bel agus dè nach eil. Ged a tha mòran a bharrachd fheartan aige na Lisp 1960 McCarthy, tha Bel fhathast na thoradh aig an ìre fhoirmeil aige. Coltach ri Lisp, a chaidh a mhìneachadh ann am pàipear 1960, chan e cànan a th’ ann as urrainn dhut a chleachdadh airson prògramadh. Sa mhòr-chuid air sgàth, mar McCarthy's Lisp, chan eil e gu diofar mu èifeachdas. Nuair a chuireas mi rudeigin ri Bel, bidh mi a’ toirt cunntas air brìgh an cur-ris gun a bhith a’ feuchainn ri buileachadh èifeachdach a thoirt seachad.

Airson dè? Carson a leudachadh air an ìre fhoirmeil? Is e aon fhreagairt a bhith faicinn càite an toir an dòigh-obrach axiomatic sinn, rud a tha na eacarsaich inntinneach ann fhèin. Nam biodh coimpiutairean cho cumhachdach 's a bu toil leinn iad a bhith, cò ris a bhiodh cànanan coltach?

Ach tha mi cuideachd den bheachd gu bheil e comasach buileachadh èifeachdach stèidhichte air Bel a sgrìobhadh le bhith a’ cur cuingealachaidhean ris. Ma tha thu ag iarraidh cànan aig a bheil cumhachd brìoghmhor, soilleireachd agus èifeachdas, is dòcha gum b’ fhiach tòiseachadh le cumhachd brìoghmhor agus soilleireachd, agus an uairsin cuingeachaidhean a chuir ris, seach a bhith a’ dol an taobh eile.

Mar sin ma tha thu airson feuchainn ri buileachadh a sgrìobhadh stèidhichte air Bel, rachaibh air adhart. Bidh mi mar aon den chiad luchd-cleachdaidh.

Aig a’ cheann thall, rinn mi ath-riochdachadh air cuid de rudan bho dhualchainntean a bh’ ann roimhe. An dàrna cuid fhuair an luchd-dealbhaidh ceart e, no le buaidh bho dhualchainntean a chaidh a chleachdadh roimhe seo, chan eil mi a’ faicinn an fhreagairt cheart - innsidh ùine. Dh’ fheuch mi cuideachd gun a bhith air seachran ro fhada bho ghnàthasan Lisp. Tha sin a’ ciallachadh ma chì thu gluasad air falbh bho ghnàthasan Lisp, is dòcha gu bheil adhbhar ann air a shon.

Tuairisgeul leantainneach air a’ chànan an seo.

Taing airson an eadar-theangachadh: Denis Mitropolsky