, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Tá gá le ríomhaireacht ardfheidhmíochta chun tascanna níos mó agus níos mó a réiteach - mar phróiseáil íomhá nó feidhmchláir dhomhainfhoghlama éagsúla ar líonraí néaracha - nuair is gá duit méideanna ollmhóra sonraí a phróiseáil, agus é a dhéanamh tapa go leor, nó is féidir go dtógfaidh sé méid dochreidte de. am. Creidtear go forleathan go bhfuil comhréiteach idir luas agus iontaofacht dosheachanta agus oibríochtaí den sórt sin á ndéanamh. De réir an smaointeoireachta seo, má tá luas mar thosaíocht, ansin is dócha go mbeidh an iontaofacht ag fulaingt agus vice versa.
Mar sin féin, tá grúpa taighdeoirí atá bunaithe go príomha ag Institiúid Teicneolaíochta Massachusetts (MIT) ag tabhairt aghaidh ar an nóisean seo, ag áitiú gur féidir leat é a bheith agat i ndáiríre. Dar le Amanda Liu, mac léinn iarchéime dara bliana ag Saotharlann Ríomheolaíochta agus Faisnéise Saorga MIT (CSAIL), a bhfuil teanga ríomhchlárúcháin nua a scríobh siad go sonrach don ríomhaireacht ardfheidhmíochta, “ní gá go mbeadh luas agus cirte san iomaíocht. A mhalairt ar fad, is féidir leo dul le chéile, taobh le taobh, sna cláir a scríobhaimid." Labhair Liu agus a foireann faoin bpoitéinseal a bhain lena gcuid nuachruthaithe A Tensor Language (ATL) an mhí seo caite ag an gcomhdháil Principles of Programming Languages in Philadelphia.
"Tá gach rud inár dteanga," a deir Liu, "dírithe ar uimhir amháin nó teanntóir a fháil." Ginearálú veicteoirí agus maitrísí is ea teannasóirí, ar a seal. Cé gur réada aontoiseacha iad veicteoirí (go minic léirithe ag saigheada indibhidiúla) agus gur eagair dhéthoiseacha uimhreacha iad maitrísí eolach, is eagair n-toiseacha iad teannóirí ar féidir leo a bheith i bhfoirm eagar 3×3×3, mar shampla, nó fiú. toise níos airde (nó íseal).
Is é croílár algartam nó clár ríomhaireachta ná ríomh áirithe a thionscnamh. Ach is féidir go leor bealaí éagsúla a bheith ann chun an clár seo a scríobh -- "éagsúlacht iontais d'fheidhmiúcháin cód éagsúla," mar a scríobhann Liu agus a comh-údair ina bpáipéar - agus tá cuid acu i bhfad níos tapúla ná cuid eile. Is é an príomhréasúnaíocht taobh thiar de ATL, a mhíníonn sí: “Ós rud é go bhfuil an ríomhaireacht ardfheidhmíochta chomh dian sin ar acmhainní, ba mhaith leat a bheith in ann cláir a mhodhnú nó a athscríobh i bhfoirm optamach chun rudaí a bhrostú. Is minic a thosaíonn tú leis an gclár atá éasca le scríobh, ach b’fhéidir nach é sin an bealach is tapúla chun é a rith, mar sin ní mór duit tuilleadh coigeartuithe a dhéanamh fós.”
Tá an teanga ordaithe nua bunaithe ar an teanga Coq atá ann cheana féin, lena n-áirítear cúntóir cruthúnais. Tá an cúntóir cruthúnais, ar a seal, an cumas a ráitis a chruthú go matamaiticiúil go beacht. Tá airí eile ag Coq a rinne tarraingteach don ghrúpa MIT é: críochnaíonn cláir scríofa sa teanga sin, nó oiriúnú di, i gcónaí agus ní féidir leo rith ar feadh tréimhse éiginnte i lúba gan teorainn.
Anois is í an chéad teanga tensor agus go dtí seo an t-aon teanga tensor a bhfuil leas iomlán a bhaint deimhnithe go foirmiúil aici. Tugann foireann MIT rabhadh, áfach, nach bhfuil i ATL ach fréamhshamhail -- cé gur fréamhshamhail é -- a tástáladh ar roinnt clár beaga.
Léigh freisin: