Woxi: Wolfram Mathematica Reimplementation in Rust

Tha ar-a-mach meirge a’ tighinn airson coimpiutaireachd saidheansail - agus bu chòir do gach gnìomhachas aire a thoirt

Nuair a thòisicheas leasaiche gu sàmhach ag ath-nuadhachadh aon de na h-einnseanan coimpiutaireachd as cumhachdaiche a chaidh a thogail a-riamh - Wolfram Mathematica - ann an Rust, tha e a’ comharrachadh rudeigin fada nas motha na pròiseact cur-seachad. Tha Woxi, oidhirp stòr fosgailte gus comasan coimpiutaireachd samhlachail Mathematica ath-chruthachadh ann an Rust, a’ riochdachadh gluasad feallsanachail a tha a ’dol tro gach ceàrnaidh de shaoghal bathar-bog: a’ bheachd nach bu chòir innealan cumhachdach a bhith glaiste air cùl ceadan daor, agus gun urrainn do chànanan prògramaidh an latha an-diugh coileanadh agus sàbhailteachd a lìbhrigeadh nach b’ urrainn do shiostaman dìleab a-riamh. Do ghnìomhachasan a tha an urra ri sruthan-obrach trom coimpiutaireachd, clàran-amais anailis, agus co-dhùnaidhean stèidhichte air dàta, tha buaidh mhòr aig a’ ghluasad seo.

Tha Wolfram Mathematica air smachd a chumail air àireamhachadh samhlachail bho 1988, ag òrdachadh cìsean cead a ruigeas $3,695 sa bhliadhna airson cathair proifeasanta. Airson faisg air ceithir deicheadan, tha luchd-rannsachaidh, innleadairean, agus luchd-saidheans dàta air gabhail ris a’ chosgais seo mar phrìs inntrigidh. Ach tha ginealach ùr de luchd-leasachaidh a’ faighneachd: dè mura feum sinn? Agus dè nam biodh am fear ùr na bu luaithe?

Carson a tha meirge air tighinn gu bhith na chànan ath-nuadhachaidh

Tha meirge air nochdadh mar an cànan as fheàrr le luchd-leasachaidh a tha airson bathar-bog stèidheachaidh ath-thogail bhon talamh suas. Air a leasachadh an toiseach aig Mozilla agus a’ ruighinn dreach 1.0 ann an 2015, tha Rust a-nis air a mheas mar an cànan prògramaidh as cliùitiche airson an ochdamh bliadhna an dèidh a chèile ann an sgrùdadh leasaiche Stack Overflow, le còrr air 87% de luchd-leasachaidh a’ nochdadh miann cumail orra ga chleachdadh. Tha an tagradh aige na laighe ann am measgachadh sònraichte: tha coileanadh amh C agus C ++ le sàbhailteachd cuimhne a’ gealltainn gun cuir iad às do roinnean iomlan de bhiteagan aig àm cruinneachaidh.

Chan e teòiridheach a tha seo. Tha pròiseactan mòra mar-thà air dearbhadh gu bheil Rust comasach mar einnsean ùr. Bidh Servo (einnsean a’ bhrobhsair), Deno (roghainn eile Node.js), agus eadhon cuid den kernel Linux a-nis a’ cleachdadh Rust. Tha geàrr-chunntasan cosgais neoni a’ chànain a’ ciallachadh gu bheil còd àrd-ìre, so-leughaidh a’ cur ri chèile sìos gu stiùireadh inneil a tha a’ farpais ri C. Air a ghleusadh le làimh. Airson pròiseact mar Woxi - a dh’ fheumas làimhseachadh algebra samhlachail, calculus, maidseadh phàtranan, agus àireamhachadh àireamhach - tha Rust a’ tabhann a’ mhullach dèanadais a tha a dhìth gun a bhith ag ìobradh cinneasachd leasaiche.

Chan eil am pàtran nas fharsainge ri fhaicinn. Tha luchd-leasachaidh ag ath-sgrìobhadh bun-structair èiginneach gu riaghailteach ann an Rust: ripgrep air a chur an àite grep, fd air a chur an àite lorg, bat air a chur an àite cat, agus exa air a chur na àite ls. Gach uair, lìbhrig an dreach Rust coileanadh nas fheàrr a ghabhas tomhas agus eòlas cleachdaiche nas fheàrr. Tha Woxi ag amas air an aon rud a dhèanamh airson matamataig samhlachail - is dòcha an targaid as adhartaiche fhathast.

Fìor chosgais glasadh a-steach do ghnìomhachasan

Tha am pròiseact Woxi a’ soilleireachadh duilgheadas a tha a’ leudachadh fada nas fhaide na an saoghal acadaimigeach. Thar gach gnìomhachas, bidh gnìomhachasan a’ pàigheadh ​​cìsean ath-chuairteachaidh cas airson bathar-bog seilbh a bhios a’ cumail smachd air sruthan-obrach èiginneach. Dh’ fhaodadh companaidh innleadaireachd meadhanach mòr $50,000 a chosg gach bliadhna air ceadan Mathematica a-mhàin. Cuir MATLAB ($ 860 / bliadhna gach neach-cleachdaidh), àrd-ùrlaran anailis sònraichte, siostaman CRM cosgais gach cathair, agus innealan fàirdeal le cìsean malairt, agus faodaidh cosgais iomlan bathar-bog seilbh 15-25% de bhuidseit obrachaidh companaidh ithe.

Tha a’ chosgais fhalaichte nas motha buileach: glasadh a-steach an neach-reic. Nuair a bhios na modailean ionmhais agad a’ fuireach taobh a-staigh cruth seilbhe, nuair a tha an dàta teachdaiche agad glaiste ann an CRM dùinte, nuair nach urrainnear an eachdraidh fàirdeal agad a thoirt a-mach gu glan - tha thu air smachd air gnìomhachd do ghnìomhachas a thoirt do chlàr-rathaid cuideigin eile agus co-dhùnaidhean prìsean. Faodaidh Wolfram Research prìsean àrdachadh, feartan a stad, no teirmean ceadachd atharrachadh, agus chan eil cothrom aig milleanan de luchd-cleachdaidh.

Is e seo dìreach as coireach gu bheil an gluasad stòr fosgailte a’ sìor fhàs. Chan eil pròiseactan mar Woxi dìreach mu dheidhinn airgead a shàbhaladh - tha iad mu dheidhinn uachdranas air na h-innealan agus an dàta agad fhèin. Bidh an aon fheallsanachd a’ stiùireadh àrd-ùrlaran mar Mewayz, a bhios a’ daingneachadh 207 modal gnìomhachais - bho CRM agus fàirdeal gu pàigheadh, HR, riaghladh cabhlach, agus anailisean - gu siostam modular singilte le sreath saor gu bràth. Nuair a tha sealbh aig gnìomhachasan air a’ chruach obrachaidh aca seach a bhith ga thoirt air màl mean air mhean, bidh iad a’ faighinn an dà chuid sùbailteachd ionmhais agus neo-eisimeileachd ro-innleachdail.

Dè a bhios a’ dèanamh ath-chur air Mathematica cho sgiobalta gu teicnigeach

Gus luach a chur air na tha Woxi a’ feuchainn, feumaidh tu tuigsinn dè dha-rìribh a bhios Mathematica a’ dèanamh. Chan e dìreach àireamhair a th’ ann. Tha Mathematica a’ toirt a-steach cànan prògramaidh iomlan (Cànan Wolfram), einnsean coimpiutaireachd samhlachail a tha comasach air abairtean ailseabra a làimhseachadh, fuasgladh àireamhach, siostam fradharc, agus bunait eòlais le trilleanan de phuingean dàta. Tha Stephen Wolfram air còrr air 35 bliadhna agus ceudan de mhilleanan dolar a chosg ga thogail.

Ma dh’ ath-chuireas eadhon fo-sheata den ghoireas seo feumar grunn dhuilgheadasan a tha fìor dhùbhlanach fhuasgladh:

• Einnsean maidsidh pàtran: Tha Wolfram Language a’ cleachdadh siostam maidsidh phàtran sòlaimte a tha a’ dol fada seachad air abairtean àbhaisteach, a’ comasachadh cruth-atharrachaidhean air abairtean matamataigeach samhlachail
• Ailseabra samhlachail: Le bhith a’ sìmpleachadh abairtean, a’ gabhail a-steach polynomials, agus a’ coileanadh amalachadh samhlachail feumar deicheadan de rannsachadh matamataigeach a chur an sàs ann an cruth algorithmach
• Neach-àireamhachd mionaideachd neo-riaghailteach: 'S urrainn dha Mathematica obrachadh a-mach gu milleanan de dh'àiteachan deicheach, a' feumachdainn riochdachaidhean àireamh gnàthaichte a tha nas àirde na an ìre-fleòdraidh àbhaisteach
• Craobhan measaidh agus faireachdainn leisg: Tha am modail cunntais gu lèir eadar-dhealaichte gu bunaiteach bho phrògramadh gnàthach, a’ feumachdainn measadair àbhaisteach
• Eadar-aghaidh leabhar-nota: Bidh fòrmat sgrìobhainn eadar-ghnìomhach Mathematica a’ measgachadh còd, toradh, teacsa agus grafaigean ann an dòigh nach dèan IDE àbhaisteach ath-aithris

Bidh am pròiseact Woxi a’ dèiligeadh ris na dùbhlain sin mean air mhean, a’ tòiseachadh le measadh bun-bheachd agus maidseadh phàtranan mus tog e a dh’ ionnsaigh a’ chruach àireamhachd samhlachail. Bidh còmhraidhean tràth sa choimhearsnachd a’ nochdadh an dà chuid togail-inntinn agus amharas fallain - dh’ fhaodadh ath-chur air Mathematica gu tur bliadhnaichean, mura deicheadan, a thoirt. Ach dh’ fhaodadh eadhon pàirt de bhuileachadh a tha a’ còmhdach 80% de chùisean cleachdaidh cumanta seirbheis a thoirt do mhilleanan de luchd-cleachdaidh nach urrainn pàigheadh ​​an-dràsta an dreach seilbh.

Leasan airson a h-uile bathar-bog Roinn-seòrsa: Modularity a’ buannachadh

Is e aon de na co-dhùnaidhean ailtireachd as inntinniche ann am pròiseactan mar Woxi an cuideam air modularity. An àite a bhith a’ togail tagradh monolithic a bhios a’ feuchainn ri a h-uile càil a dhèanamh aig an aon àm, bidh ath-chuiridhean an latha an-diugh a’ briseadh comas-gnìomh gu co-phàirtean a ghabhas dèanamh. A bheil feum agad air ailseabra samhlachail ach gun lèirsinn? Cuir a-steach dìreach am modal sin. Ag iarraidh àireamhachd às aonais an ùine ruith cànain iomlan? 'S e cliath air leth a tha sin (an teirm aig Rust airson leabharlann).

Chan e inneal a th’ ann am bathar-bog gnìomhachais san àm ri teachd a nì a h-uile càil - ’s e siostam modular a th’ ann far am bi a h-uile pàirt ag obair còmhla gun fhiosta, ach faodaidh gach fear seasamh leis fhèin. Bidh na companaidhean a thuigeas seo a’ cosg nas lugha, a’ gluasad nas luaithe, agus ag atharrachadh nas fhasa na an fheadhainn a tha ceangailte ri àrd-ùrlaran dìleab monolithic.

Tha an fheallsanachd modular seo air i fhèin a dhearbhadh tarsainn cruth-tìre bathar-bog. Ann an eag-shiostam JavaScript, dh'atharraich an gluasad bho fhrèaman monolithic mar jQuery gu innealan modular leithid pasganan npm fa leth leasachadh lìn. Ann am bun-structar sgòthan, chuir microservices an àite monoliths. Ann an gnìomhachd gnìomhachais, tha an aon ghluasad a’ dol air adhart. An àite a bhith a’ pàigheadh airson Salesforce ($ 300 / neach-cleachdaidh / mìos airson Iomairt), inneal fàirdeal air leth ($ 50 / mìos), àrd-ùrlar HR leis fhèin ($ 8 / neach-cleachdaidh / mìos), agus siostam clàraidh ($ 25 / mìos), tha gnìomhachasan adhartach a’ gabhail ri àrd-ùrlaran modular aonaichte.

Chaidh Mewayz a thogail air an dearbh phrionnsapal seo. Bidh na modalan 207 aige - a ’spangachadh CRM, fàirdeal, pàigheadh, riaghladh HR, tracadh cabhlach, siostaman glèidhidh, duilleagan ceangail-ann-bith, agus mion-sgrùdaidhean adhartach - a’ roinn ìre dàta cumanta fhad ‘s a tha iad fhathast comasach a chuir an gnìomh gu neo-eisimeileach. Is dòcha nach cleachd neach-obrach saor-thoileach ach na modalan fàirdeal agus ceangal-in-bio. Dh’ fhaodadh companaidh 50-neach CRM, HR, pàigheadh, agus anailisean a chuir an gnìomh. Tha an ailtireachd mar sgàthan air na tha Woxi a’ dèanamh airson coimpiutaireachd matamataigeach: tog pìosan so-dhèanta a dh’ obraicheas nas fheàrr còmhla na chèile.

An Eaconamas Stòr Fosgailte a tha a’ fàgail seo comasach

Is e seasmhachd ceist a tha a’ nochdadh a-rithist ann an còmhraidhean mu phròiseactan leithid Woxi. Ma tha Wolfram Research a’ fastadh ceudan de luchd-leasachaidh agus a’ cur cosgais air na mìltean airson gach cead, ciamar as urrainn do phròiseact stòr fosgailte a tha air a stiùireadh leis a’ choimhearsnachd farpais a dhèanamh? Tha am freagairt na laighe ann a bhith a’ tuigsinn mar a tha eaconamas stòr fosgailte air a thighinn air adhart thar nan deich bliadhna a dh’ fhalbh.

An toiseach, tha na h-innealan a tha rim faighinn le luchd-leasachaidh le còd fosgailte ann an 2026 gu math nas cumhachdaiche na eadhon còig bliadhna air ais. Faodaidh innealan còdaidh le taic AI leasachadh a luathachadh le 30-55% a rèir sgrùdaidhean bho GitHub agus McKinsey. Bidh compiler Rust a’ glacadh roinnean iomlan de bhiteagan mus ruig iad cinneasachadh, a’ lughdachadh ùine deasbaid. Bidh pìoban Cloud CI / CD a’ ruith dheuchainnean gu fèin-ghluasadach. Faodaidh aon leasaiche sgileil le innealan ùr-nodha toradh a thoirt gu buil a dh’ fheumadh sgioba de chòignear roimhe seo.

San dàrna h-àite, tha am modal gnìomhachais fosgailte air a bhith comasach thar dhusanan de chompanaidhean soirbheachail. Tha GitLab (luach còrr air $8 billean), Elastic, Redis, agus Grafana uile a’ tabhann coraichean stòr fosgailte an-asgaidh le prìomh fheartan airson luchd-ceannach iomairt. Dh ’fhaodadh Woxi am modail seo a leantainn aig a’ cheann thall - àireamhachadh samhlachail an-asgaidh don h-uile duine, le taic àrd, leabhraichean notaichean aoigheachd, no amalachadh iomairt a ’gineadh teachd-a-steach. Tha seo coltach ri mar a tha Mewayz a’ tabhann plana an-asgaidh gu bràth a’ còmhdach mhodalan gnìomhachais riatanach fhad ‘s a tha ìrean àrd-ìre ($ 19-49 / mìos) a’ fuasgladh fèin-ghluasad adhartach, feartan AI, agus taic prìomhachais dha sgiobaidhean a tha a’ fàs.

Tha an toradh na shuim adhartach fiùghantach. Bidh luchd-cleachdaidh a 'faighinn innealan cumhachdach aig cosgais nas ìsle. Bidh luchd-leasachaidh a’ togail cliù agus uaireannan gnìomhachasan seasmhach. Bidh an eag-shiostam iomlan a’ fàs nas fharpaiseach agus nas ùr-ghnàthach. Cha tèid Wolfram Mathematica à sealladh - tha eòlas domhainn aige agus bunait luchd-cleachdaidh dìleas - ach tha roghainnean fosgailte a’ toirt prìsean nas fheàrr agus ùr-ghnàthachadh nas luaithe bho luchd-seilbh.

Na tha seo a’ ciallachadh do ghnìomhachasan air an stiùireadh le dàta ann an 2026

Tha co-fhilleadh grunn ghluasadan - ath-chuiridhean stèidhichte air meirge, ailtireachd bathar-bog modular, seasmhachd stòr fosgailte, agus leasachadh le taic AI - ag ath-dhealbhadh na bu chòir do ghnìomhachasan a bhith a’ dùileachadh bho na h-innealan aca. Co-dhiù a tha thu a’ ruith buidheann 5-neach no iomairt 500 neach, tha trì builean ro-innleachdail a’ seasamh a-mach.

An toiseach, tha an làr cosgais airson bathar-bog cumhachdach a’ tuiteam gu neoni. Tha roghainnean eile an-asgaidh aig innealan a bha os cionn ceadan bliadhnail ceithir-fhigearach o chionn deich bliadhna a tha 90% cho comasach. Chan eil seo a’ ciallachadh an-asgaidh an-còmhnaidh a’ buannachadh - bidh innealan pàighte gu tric a’ tabhann taic nas fheàrr, aonachadh agus snas - ach tha e a’ ciallachadh gu bheil fìor roghainnean aig gnìomhachasan. Dèan measadh air a’ chruach bathar-bog a th’ agad an-dràsta agus comharraich far a bheil thu a’ pàigheadh prìomh phrìsean airson gnìomhachd bathair.

San dàrna h-àite, tha eadar-obrachadh nas cudromaiche na càileachd innealan fa leth. Bheir einnsean anailis beagan nach eil cho cumhachdach a bhios ag amalachadh gu dùthchasach leis na siostaman CRM, fàirdeal agus HR agad barrachd luach gnìomhachais na inneal leis fhèin as fheàrr sa chlas a dh’ fheumas às-mhalairt dàta làimhe. Sin as coireach gu bheil àrd-ùrlaran a tha a’ daingneachadh iomadh gnìomh gnìomhachais - a’ làimhseachadh a h-uile càil bho riaghladh teachdaiche gu pàigheadh ​​ann an aon shiostam aonaichte - a’ faighinn uchd-mhacachd luath am measg ghnìomhachasan beaga is meadhanach.

San treas àite, geall air coimhearsnachdan, chan e dìreach companaidhean. Tha pròiseactan mar Woxi a’ sealltainn gun urrainn do choimhearsnachdan leasaiche dìoghrasach dèiligeadh ri duilgheadasan aon uair ‘s gu bheilear den bheachd gu bheil feum aca air goireasan aig ìre corporra. Nuair a bhios tu a’ measadh innealan, thoir sùil air spionnadh na coimhearsnachd mun cuairt orra. Tha fòraman gnìomhach, ùrachaidhean cunbhalach, luchd-gleidhidh freagairteach, agus àireamhan luchd-tabhartais a tha a’ sìor fhàs nan comharran nas làidire air ion-obrachadh fad-ùine na buidseat margaidheachd companaidh sam bith.

Dh’ fhaodadh gur e sgeulachd theicnigeach sònraichte a th’ ann an ath-chur Wolfram Mathematica ann an Rust. Ach gluais a-mach, agus tha e a’ nochdadh na daineamaigs bunaiteach ag ath-dhealbhadh a h-uile bathar-bog gnìomhachais: buillean fosgailte dùinte, buillean modular monolithic, agus is e na h-innealan as fheàrr an fheadhainn a bheir cumhachd dhut gun a bhith a’ toirt air falbh do shaorsa. Co-dhiù a tha thu a’ coimpiutaireachd iomlanan samhlachail no a’ cur an ath fhàirdeal agad, tha am prionnsapal sin an aon rud.

Ceistean Bitheanta

Dè a th’ ann an Woxi agus carson a tha e gu diofar?

’S e pròiseact le còd fosgailte a th’ ann an Woxi a bhios ag ath-chur an einnsean coimpiutaireachd samhlachail Wolfram Mathematica ann an Rust. Tha e cudromach leis gu bheil e ag amas air ruigsinneachd gu innealan coimpiutaireachd saidheansail cumhachdach a dheamocratachadh a bha gu traidiseanta air an glasadh air cùl ceadan malairteach daor. Le bhith a’ faighinn buannachd bho ghealltanasan dèanadais is sàbhailteachd cuimhne Rust, dh’ fhaodadh Woxi astar coimpiutaireachd faisg air dhùthchasach a lìbhrigeadh fhad ‘s a bhiodh e ri fhaighinn gu saor do luchd-rannsachaidh, oileanaich agus gnìomhachasan air feadh an t-saoghail.

Carson a tha Rust na dheagh roghainn airson Mathematica ath-chur an gnìomh?

Tha meirge a’ tabhann tarraingean gun chosgais, sàbhailteachd cuimhne às aonais cruinneachadh sgudail, agus coileanadh air leth a tha an aghaidh C agus C ++. Tha na feartan sin ga dhèanamh air leth freagarrach airson gnìomhan dian coimpiutaireachd leithid ailseabra samhlachail, mion-sgrùdadh àireamhach, agus maidseadh phàtranan. Tha siostam làidir Rust cuideachd a’ cuideachadh le bhith a’ cuir stad air roinnean iomlan de bhiteagan aig àm cruinneachaidh, rud a tha deatamach airson bathar-bog saidheansail far nach urrainnear ceart a cho-rèiteachadh agus far am faod mearachdan gluasad gu sàmhach tro àireamhachadh.

Ciamar a dh’ fhaodadh innealan coimpiutaireachd saidheansail le còd fosgailte a bhith buannachdail do ghnìomhachasan?

Faodaidh roghainnean le còd fosgailte leithid Woxi cosgaisean ceadachd bathar-bog a lughdachadh gu mòr fhad ‘s a bheir iad làn smachd do sgiobaidhean air na sruthan-obrach coimpiutaireachd aca. Faodaidh gnìomhachasan a tha a’ ruith mion-sgrùdadh dàta, modaladh ionmhais, no samhlaidhean innleadaireachd na h-innealan sin fhilleadh a-steach don obair aca. Bidh àrd-ùrlaran mar Mewayz, le OS gnìomhachais 207-modal a’ tòiseachadh aig $19/mo, a’ sealltainn cho ruigsinneach sa tha innealan uile-ann-aon ag ath-dhealbhadh mar a bhios companaidhean an latha an-diugh ag obair gu h-èifeachdach.

An urrainn dha Woxi a dhol na àite Wolfram Mathematica an-diugh?

Chan eil fhathast. Tha Woxi fhathast aig ìre thràth agus chan eil e a’ còmhdach ach fo-sheata de ghnìomhachd mòr Mathematica, a tha a’ toirt a-steach mìltean de ghnìomhan togte a chaidh a leasachadh thar deicheadan. Ach, tha slighe a’ phròiseict gealltanach, agus tha tabhartasan coimhearsnachd a’ luathachadh leasachadh. Airson iomadh gnìomh coimpiutaireachd samhlachail, tha Woxi mu thràth a’ nochdadh coileanadh farpaiseach, agus tha a nàdar fosgailte a’ ciallachadh gun urrainn do dhuine sam bith feartan a tha a dhìth no leudachaidhean a tha sònraichte don àrainn a chuir ris.