Kera | Deterministic Systems Language and Compiler

I gcónaí mar an gcéanna. Níl aon rud le foghlaim.

Gníomhaire códaithe agus cúnamh oibreora. Tá méadrachtaí taispeána samplach.

Teirminéal, cuardach, lint, tástáil, git, agus eile.

Cuimhníonn sé ar do chódchiste agus comhthéacs foirne.

Comhoibríonn gníomhairí speisialaithe thar ábhair imní.

Ritheann polasaithe, seiceálacha, agus tástálacha i gcónaí.

Déan athbhreithniú ar difs, iarr athruithe, síniú deiridh.

Athsheinn aon seisiún beart ar bheart nuair is gá athbhreithniú.

Bain an garda + teorainn le hathiarratais

Gníomhairí uathrialacha a scríobhann cód agus a choinníonn admhálacha

chun déileáil le amanna amuigh líonra, freagraí 5xx, agus coinníollacha sábháilte-idempotent. Cúntóir íon, tástáilte go hiomlán.

Grúpaíonn halgartaim de réir chineál sonraí

athraíonn nód amháin athraithe ach a shinsearacht lena mbaineann

gnóthachain bheaga aon-dhigiteacha ar roinnt cosáin ghiotánacha

gnóthachain mheánacha soiléire ar shuimithe agus ar ghníomhachtaithe

gnóthachain mhóra láidre ar roinnt cosán maitríse agus veicteora

cealla comhionannais leibhéil fós le feiceáil, gan scriosadh

an cód a thabhairt cheana féin optamaithe

cad a éiríonn indéanta nuair a mhaireann brí

iontrálann iolrú maitríse le deich bhfíric aitheanta

laghdaíonn gach céim íslithe traidisiúnta roinnt cártaí

Ritheann Core Dúchasach ar fhorghníomhú dúchasach Rust

Nochtann Core ar Kera sraitheanna graf agus tiomsaitheora

ní dhéantar an lána Dúchasach a chur i láthair mar rud briste

táirgeann síolaithe hash amháin in aghaidh an tsíl

teipeann ar nód amháin agus athchóiríonn sé ón seicphointe

imeall líonra neamhdhearbhaithe blocáilte le linn pleanála

tugann gach teorainn cumas agus rialuithe oibreora sainráite

Gan rochtain dhíreach ar Kera i bhFabraic bhainistithe

Astaitear an graf séimeantach céanna laistigh de cibé teorainn a roghnaíonn tú.

ritheann an ghraf amh gach pas ar leithligh

trí idirmheán bainte, dhá réigiún comhleáite, luach amháin coinnithe ar an ngléas

ríomhann ráillí coigiltis seoltaí, leithdháiltí, aistrithe, agus bearta bainte

tá séala foilsithe-le-fráma-tástála ar gach túr, gan aon chrua-earra cumtha

titeann lipéid oibríochta amach ag gach céim IR

maireann lipéid go dtí cód meaisín atá dírithe ar sprioc

níl a fhios ach ag ceann amháin an oibríocht

tionscadail chompánacha oscailte suite lasmuigh den teorainn tráchtála

cóipeálann an lána traidisiúnta trasna sé spás cuimhne

leanann comhartha úinéireachta gach gluaiseacht

slabhra aon-úinéara Kera ó ghraf go meaisín

fanann teorainn an tiománaí sheachtraigh ag an imeall

scaipeann airíonna ach amháin tríd an lána atá ceadúnaithe i ndáiríre

san áireamh nuair a éilíonn an comhaontú é

oibríochtaí AI, oiliúint, tátal, freastal

naisc gach plean ar ais go dtí hais graf céanna

ní chailleann aon rud faoin tasc ar an mbealach

faigheann an meaisín obair mhúnlaithe dó

tá sé ráite cad a fhéadfaidh an obair a bhaint amach

tá an cárta poist céanna feistithe le plean difriúil do gach ceann

braitheann ceannasacht ar an socrú iomlán, ní ar an tíreolaíocht amháin

feiceann an t-úsáideoir an cumas Fabric comhaontaithe thuas

Fabric bainistithe ar Mheascán poiblí Dweve; gan rochtain dhíreach ar Kera

Fabric ar an Meascán poiblí laistigh dá theorainn próiseála conraithe

ritheann roinnt céimeanna i bhfad níos tapúla ná an gnáthbhealach

tá cúpla cás cosúil ó thaobh luas faoi láthair

barra níos giorra ciallaíonn níos lú feithimh

bíonn tasc amháin ag dul ar camchuairt fhada trí bhoscaí aistriúcháin

fanann bealach Kera mar phlean soiléir amháin ó phost go meaisín

níor cheart do bhogearraí an bealach fada a ghlacadh

faigheann an meaisín obair atá déanta dó

taifeadtar cén plean meaisín a roghnaíodh

gluaiseann beartáin trí sheacht seomra ar an ngnáthbhealach

fanann faisnéis gar don áit a bhfuil sí ag teastáil

féadfaidh córas as líne rochtain líonra a dhiúltú

ní thagann aon rochtain i bhfolach chun cinn níos déanaí

sábháil torthaí a fhéadfaidh sé a choinneáil

Core, agus Kera nuair a bhíonn ceadúnas ann

Fabric agus na táirgí ina suí os cionn Core

Kera san áireamh nuair a bhíonn ceadúnas ann

an bealach níos doimhne, nuair a bhíonn ceadúnas ann

ar bharr Core, nuair a bhíonn ceadúnas ann

crua-earraí agus córais oibriúcháin sheachtracha atá ar an imeall

oideas a chuirtear ó dhuine go duine caillfidh sé a chuspóir

i Kera fanann an cuspóir ceangailte leis na céimeanna

is féidir leis an gcistin roghanna réasúnta a dhéanamh fós

ní leagan ginearálta é a shocraítear ag an deireadh

ionas gur féidir é a sheiceáil níos déanaí

déileáiltear le céimeanna a oireann le chéile mar aonad amháin

gan aon obair scrábacha a úsáidtear uair amháin

níos lú sonraí á mbogadh timpeall an mheaisín

níos lú moille agus úsáid chumhachta níos ísle

Cad a fhéadfaidh sé teagmháil a dhéanamh leis

An féidir leis an líonra a bhaint amach?

Ach amháin má cheadaíonn an t-oibreoir é

Foireann amháin le freagra a thabhairt air

an bealach níos doimhne, áit a bhfuil ceadúnas

ní roghnaíonn ná ní shocraíonn siad é riamh

tugann tasc dian an patrún céanna gach uair

ceadaíonn tasc cruthaitheach patrúin éagsúla

gan aon athrú de thaisme ar mheaisín eile

fanann dromchla an aip cairdiúil agus simplí

léiríonn gearradh trasna an plean Kera agus an obair mheaisín thíos

gheobhaidh tú iompar níos tapúla agus níos seasta

marcálann cealla oráiste buanna tomhaiste

marcálann cealla imlínithe anailís ar feitheamh

déan tagarmharc ar an tógáil a úsáideann tú

scrúdaigh cé na fíricí a tháirg an difríocht

eistíodh an cód foinseach agus seachadadh

fanann cealla pacáiste anaithnid leagtha amach go dtí go bhfuil pacáistiú críochnaithe

téann nód oibríochta Core isteach i bplean Kera

nuair nach bhfuil Kera i láthair, fanann Core dúchasach do Rust

Difríocht dhian, shíolraithe, chruthaitheach

déanann an dianriail uimhríocht agus ord a cheartú

athraíonn an síolraithe éagsúlacht de réir síl

ceadaíonn an cruthaitheach éagsúlacht bheartaithe

níl an lána LLVM ann ar chor ar bith, ní hamháin go bhfuil sé trasnaithe amach go maisiúil

slabhra ísliúcháin amháin faoi úinéireacht

Níl aon chéim IR LLVM i lár an scéil. Coinníonn gach céim an ghraif agus an tsiomantacht oibríochta ar fáil.

scríobhtar an cosán roghnaithe chuig an taifead feidhmiúcháin

nascann fáinne uile-laghdaigh na codanna

teipeann ar nód amháin agus déantar é a athchóiriú ón seicphointe

téann nóid éifeachtúla trí gheataí cumais

diúltaíonn an fíoraitheoir do chumas neamhdhearbhaithe

fanann glan agus seachtrach ar leithligh

réigiúin ar leith le hidirmheáin ábhartha

réigiún amháin, luachanna coinnithe go háitiúil

ní hamháin sreafaí treoracha níos giorra

coinnítear an graf ar feadh gach céim níos déanaí

bíonn slis bheacht raon tástála ar gach barra, gan aon chrua-earraí cumtha

athraíonn torthaí de réir crua-earraí, foilsithe leis an bhfráma

déantar an graf a iniúchadh ag gach céim

astaíonn gach ceann leithead veicteora difriúil

macánta faoi thacaíocht in aghaidh an sprioc

níor chuaigh sé i bhfeidhm ach ar an nginealas lena mbaineann

iomadaíonn hashes nua tríd an nginealas lena mbaineann amháin

coinníonn foghraíochtaí gan athrú a n-aitheantas

trasnaíonn an comhartha spásanna óstach, gléas agus cianda

coinníonn an pleanálaí an luach san áit a mbaineann sé

raonta beo ginearálta gan comhthéacs oibríochta

raonta beo múnlaithe ag comhthéacs an ghraif

dífhillte, leithead veicteora, agus doirteadh roghnaithe ón oibríocht

iompraíonn gach sprioc a earra astaithe féin

seiceáil, tóg, cigir, plean, rith, fíoraigh

taispeánann an cigire graif chineálacha agus éifeachtaí

cothaíonn gach réimse cinneadh pleanálaí

ní fharraige neamhchlóscríofa treoracha é

roghnaíonn an croí agus an cosán cruinnis

méadaíonn na maoláin agus leithead veicteora

cuireann an luach ar óstach nó ar ghléas

geataíonn cad a fhéadfaidh an nód a theagmháil

ceann amháin ó chomhleá agus gluaiseacht

is é an chúis choiteann ná faisnéis shéimeantach choinnithe

Coinníonn Kera oibríochtaí, éifeachtaí, úinéireacht agus gluaiseacht le feiceáil ó ghraf an fhoinse go dtí forghníomhú an sprioc. Léigh an ailtireacht, scrúdaigh IR an ghraif, nó tabhair chugainn cosán táirgeachta atá optamaithe cheana féin trí LLVM.

Ríomh díreach. Fanann an graf mar an clár.

x86-64 (SSE2/AVX2/AVX-512), ARM64 (NEON), RISC-V (Vector)

Is teanga chórais statach-chlóscríofa é Kera le IR graf-nádúrtha, seoltaí ábhair. Tiomsaíonn sé cláir go comhaid .keg, graif acyclacha dhírithe oibríochtaí, agus forghníomhaíonn sé iad ar CPU, GPU, FPGA, agus WASM. Úsáideann Kera giniúint chóid shaincheaptha do x86-64, ARM64, agus RISC-V seachas LLVM, le leithdháileadh cláir agus roghnú eithní SIMD. Rianaítear fo-iarmhairtí, agus clúdaíonn úinéireacht stíl Rust cuimhne óstach, gléas, pionnáilte, agus aontaithe. Is spás oibre Rust é an tionscadal le forghníomhú dáilte, slándáil bunaithe ar chumais, agus uirlisí LSP.

Tabhair an oibríocht, na cruthanna, an sprioc, na bratacha, agus na ceanglais chinnteachta a úsáideann tú i dtáirgeadh. Déanfaimid comparáid idir an cosán astaithe agus taispeánfaimid cá háit a n-athraíonn coinneáil an ghraif an toradh.

Graf amháin. Forghníomhú pleanáilte don sprioc.

Comhcheanglaíonn Kera teanga chórais graf-nádúrtha, IR seoltaí ábhair, tiomsaitheoir, JIT, agus córas forghníomhaithe heitriginigh. Coinníonn sé cineálacha, éifeachtaí, úinéireacht, sreabhadh sonraí, spásanna cuimhne, agus polasaí forghníomhaithe le feiceáil agus é ag táirgeadh pleananna spriocshonracha do chosáin CPU, GPU, FPGA, agus WebAssembly tacaithe. Níl LLVM i gcroílár an tslabhra tiomsúcháin.