Woxi: Wolfram Mathematica Reimplementation in Rust

Phetohelo ea Rust e Tla bakeng sa Scientific Computing - 'Me indasteri e' ngoe le e 'ngoe e Lokela ho Ela Hloko

Ha mohlahisi a qala ho kenya tšebetsong e 'ngoe ea lienjineri tse matla ka ho fetesisa tse kileng tsa etsoa - Wolfram Mathematica - e Rust, e bontša ntho e kholo ho feta projeke ea ho itlosa bolutu. Woxi, boikitlaetso bo bulehileng ba ho nchafatsa bokhoni ba lipalo ba Mathematica ho Rust, bo emela phetoho ea filosofi e aparetseng sekhutlo se seng le se seng sa software: mohopolo oa hore lisebelisoa tse matla ha lia lokela ho notleloa ka morao ho laesense e theko e phahameng, le hore lipuo tsa sejoale-joale tsa mananeo li ka fana ka ts'ebetso le polokeho eo litsamaiso tsa lefa li neng li ke ke tsa khona ho li etsa. Bakeng sa likhoebo tse itšetlehileng ka khomphutha-boima ba mosebetsi, li-dashboards tsa li-analytics, le ho etsa liqeto tse tsamaisoang ke data, mokhatlo ona o na le litlamorao tse tebileng.

Wolfram Mathematica e laola lipalo tsa tšoantšetso ho tloha ka 1988, e laela litefiso tsa laesense tse ka fihlang ho $3,695 ka selemo bakeng sa setulo sa setsebi. Hoo e ka bang lilemo tse mashome a mane, bafuputsi, baenjiniere le bo-rasaense ba data ba amohetse litšenyehelo tsena e le theko ea ho kena. Empa moloko o mocha oa bahlahisi oa botsa: ho thoe'ng haeba re ne re sa tlameha? Mme ho thoe'ng haeba phetoho e ne e hlile e le kapele?

Hobaneng Rust e Fetoha Puo ea ho Tsosolosa

Rust e hlahile e le puo ea khetho bakeng sa bahlahisi ba batlang ho tsosolosa software ea motheo ho tloha fatše. Rust e qalileng ho ntlafatsoa ho Mozilla 'me e fihlela mofuta oa 1.0 ka 2015, hona joale Rust e se e le puo e ratoang ka ho fetesisa bakeng sa selemo sa borobeli se latellanang phuputsong ea nts'etsopele ea Stack Overflow, 'me ba fetang 87% ba bonts'a takatso ea ho tsoela pele ho e sebelisa. Boipiletso ba eona bo ka har'a motsoako o ikhethang: ts'ebetso e tala ea C le C++ e nang le tiisetso ea ts'ireletso ea mohopolo e felisang mefuta eohle ea likokoana-hloko ka nako ea ho bokella.

Sena ha se khopolo-taba. Merero e meholo e se e netefalitse hore Rust e sebetsa joalo ka enjine e ncha. Servo (enjine ea sebatli), Deno (mokhoa o mong oa Node.js), esita le likarolo tsa kernel ea Linux joale li sebelisa Rust. Litlhaloso tsa puo ea "zero-bit" li bolela hore khouto ea boemo bo holimo, e balehang e bokella litaelo tsa mochini tse qothisanang lehlokoa le C. Bakeng sa projeke e kang Woxi - e hlokang ho sebetsana le algebra ea tšoantšetso, calculus, pattern matching, le computation ea linomoro - Rust e fana ka siling ea ts'ebetso e hlokahalang ntle le ho tela tlhahiso ea moqapi.

Paterone e pharaletseng e hlakile. Basebelisi ba ntse ba ngola bocha thepa ea bohlokoa ka har'a Rust: ripgrep e nkile sebaka sa grep, fd e nkile sebaka sa find, bat e nkele sebaka katse, le exa e nkile sebaka sa ls. Nako le nako, mofuta oa Rust o ne o fana ka ts'ebetso e betere haholo le boiphihlelo bo holimo ba mosebelisi. Woxi e ikemiseditse ho etsa se tshwanang bakeng sa dipalo tsa matshwao — ho ka etsahala hore ebe sepheo se seng se ntse se lebeletswe.

Litšenyehelo tsa Sebele tsa ho Lock-In bakeng sa Likhoebo

Projeke ea Woxi e hlakisa bothata bo fetang hole ba thuto. Ho pholletsa le indasteri e 'ngoe le e' ngoe, likhoebo li lefa litefiso tse phahameng khafetsa bakeng sa software ea beng ba eona e laolang phallo ea mosebetsi ea bohlokoa. Feme ea boholo bo bohareng ea boenjiniere e ka sebelisa $50,000 selemo le selemo ho laesense ea Mathematica feela. Eketsa MATLAB ($860/selemo ka mosebelisi), lipolanete tse khethehileng tsa tlhahlobo, sistimi ea CRM e lefisang setulo ka seng, le lisebelisoa tsa li-invoice tse nang le litefiso tsa transaction, 'me kakaretso ea litšenyehelo tsa software ea khoebo e ka ja 15-25% ea tekanyetso ea ts'ebetso ea khamphani.

Litšenyehelo tse patiloeng li feta ho feta: ho koala ha barekisi. Ha mefuta ea hau ea lichelete e phela ka har'a sebopeho sa mong'a ntlo, ha data ea bareki ba hau e koetsoe ka har'a CRM e koetsoeng, ha nalane ea hau ea li-invoice e ke ke ea romelloa kantle ho naha ka mokhoa o hloekileng - o file taolo ea ts'ebetso ea khoebo ea hau ho 'mapa oa litsela le liqeto tsa litheko tsa motho e mong. Wolfram Research e ka nyolla litheko, ea emisa tšebetso, kapa ea fetola lipehelo tsa laesense, 'me basebelisi ba limilione ha ba na thuso.

Sena ke ka lebaka leo mokhatlo o bulehileng oa mohloli o ntseng o eketseha. Merero e kang Woxi ha se taba ea ho boloka chelete feela - e mabapi le bobusi holim'a lisebelisoa le data ea hau. Filosofi e ts'oanang e tsamaisa liforomo tse kang Mewayz, e kopanyang li-module tsa khoebo tsa 207 - ho tloha ho CRM le li-invoice tsa ho lefa, HR, tsamaiso ea likepe, le li-analytics - ho kena tsamaisong e le 'ngoe ea modular e nang le tier ea mahala. Ha likhoebo li e-na le mekotla ea tsona ea ts'ebetso ho fapana le ho e hira hanyane ka hanyane, li fumana maemo a lichelete le boikemelo ba maano.

Ke Eng e Etsang Hore Reimplementing Mathematica e be Bohlale bo Bohlale

Ho ananela seo Woxi e se lekang, o hloka ho utloisisa seo Mathematica e se etsang. Ha se sebali sa lipalo feela. Mathematica e akaretsa puo e felletseng ea lenaneo (Puo ea Wolfram), enjine ea khomphutha ea tšoantšetso e khonang ho fetola mantsoe a algebra, mothapolli oa lipalo, mokhoa oa pono, le motheo oa tsebo o nang le lintlha tse libilione tsa data. Stephen Wolfram o qetile lilemo tse fetang 35 le lidolara tse limilione tse makholo ho e haha.

Ho kenya tshebetsong hape le karolo e nyane ya tshebetso ena ho hloka ho rarolla mathata a mmalwa:

• enjine e bapisang mohlala: Puo ea Wolfram e sebelisa mokhoa o rarahaneng oa ho bapisa mohlala o fetang hole oa mantsoe a tloaelehileng, o nolofalletsang ho fetoha ha mantsoe a tšoantšetso a lipalo
• aljebra ea tšoantšetso: Ho nolofatsa lipolelo, ho etsa li-polynomials, le ho kopanya litšoantšetso ho hloka ho kenya tšebetsong lilemo tse mashome tsa lipatlisiso tsa lipalo ka mokhoa oa algorithmic
• Abbitrary precision arithmetic: Mathematica e ka khoakanya ho fihla ho limilione tsa libaka tsa lidesimali, e hlokang litšoantšiso tsa linomoro tsa tloaelo tse fetang sebaka se tloaelehileng sa floating-point
• Lifate tse botsoa tsa ho hlahloba le ho hlalosa: Mokhoa oohle oa ho bala o fapane haholo le oa meralo e tloaelehileng, o hlokang mohlahlobi oa tloaelo
• Khokahano ea li-Notebook: Sebopeho sa tokomane ea Mathematica e sebelisanang e kopanya khoutu, tlhahiso, mongolo, le litšoantšo ka tsela eo ho se nang IDE e ikatisang

Projeke ea Woxi e sebetsana le liqholotso tsena butle-butle, ho qala ka tlhahlobo ea mantlha ea polelo le ho bapisa mohlala pele e hahela ho sepakapakeng se felletseng sa tšoantšetso. Lipuisano tsa pele tsa sechaba li totobatsa thabo le lipelaelo tse phetseng hantle - ho kenya tšebetsong Mathematica ka botlalo ho ka nka lilemo, haeba e se mashome a lilemo. Empa le ts'ebetso e sa fellang e akaretsang 80% ea linyeoe tse sebelisoang hangata e ka thusa limilione tsa basebelisi bao hajoale ba sa khoneng ho lefella mofuta oa mong'a ntlo.

Lithuto bakeng sa Sehlopha se Seng le se seng sa Software: Modularity E ea Hlōla

E 'ngoe ea liqeto tse khahlang ka ho fetesisa tsa meralo mererong e kang Woxi ke ho toboketsa modularity. Ho e-na le ho haha ​​​​monolithic kopo e lekang ho etsa ntho e 'ngoe le e' ngoe ka nako e le 'ngoe, li-reimplementation tsa morao-rao li senya ts'ebetso hore e be likarolo tse ka khonang. Na o hloka algebra ea tšoantšetso empa eseng pono? Kena feela mojule oo. Na u batla ho bala lipalo ntle le nako e felletseng ea puo? Ke crate e arohaneng (Lentsoe la Rust bakeng sa laeborari).

Bokamoso ba software ea khoebo ha se sesebelisoa se etsang ntho e 'ngoe le e' ngoe - ke mokhoa oa modular moo karolo e 'ngoe le e' ngoe e sebetsang 'moho e sa tsitsa, empa e 'ngoe le e' ngoe e ka ikemela. Lik'hamphani tse utloisisang sena li tla sebelisa chelete e fokolang, li tsamaee kapele, 'me li ikamahanye le maemo habonolo ho feta tse tlamelletsoeng ho li-platform tsa lefa la monolithic.

Filosofi ena ea modular e ipakile ho pholletsa le sebopeho sa software. Sebakeng sa JavaScript ecosystem, phetoho ho tloha ho meralo ea monolithic joalo ka jQuery ho ea ho lisebelisoa tsa modular joalo ka liphutheloana tsa npm tse fetotseng nts'etsopele ea webo. Ka lisebelisoa tsa maru, li-microservices li ile tsa nkela monoliths sebaka. Ts'ebetsong ea khoebo, phetoho e tšoanang e ntse e tsoela pele. Sebakeng sa ho lefella Salesforce ($ 300/mosebelisi/khoeli bakeng sa Enterprise), sesebelisoa se arohaneng sa li-invoice ($50/khoeli), sethala sa HR se ikemetseng ($8/mosebelisi/khoeli), le sistimi ea kemiso ($25/khoeli), likhoebo tse nahanang pele li sebelisa sethala se kopaneng sa modular.

Mewayz e hahiloe holim'a molao-motheo ona hantle. Li-module tsa eona tse 207 - tse kenyelletsang CRM, li-invoice, litefo, tsamaiso ea HR, ho latela likepe, tsamaiso ea libuka, maqephe a li-link-in-bio, le li-analytics tse tsoetseng pele - li arolelana lintlha tse tloaelehileng ha li ntse li lula li sebetsa ka boithaopo. Motho ea ikemetseng a ka sebelisa feela li-invoicing le li-link-in-bio modules. Khamphani ea batho ba 50 e ka kenya tšebetsong CRM, HR, payroll, le analytics. Meaho e bonts'a seo Woxi e se etsang bakeng sa khomphutha ea lipalo: haha ​​likotoana tse ka qaptjoang tse sebetsang hantle hammoho ho feta ho arohana.

The Open-Source Economics E Etsang Hore Sena se Etsahale

Potso e hlahang khafetsa lipuisanong tse mabapi le merero e kang Woxi ke ho tšoarella. Haeba Wolfram Research e hira bahlahisi ba makholo 'me e qosa likete ka lengolo ka leng, morero o bulehileng o tsamaisoang ke sechaba o ka qothisana lehlokoa joang? Karabo e ka ho utloisisa hore na moruo o bulehileng o tsoetse pele joang lilemong tse leshome tse fetileng.

Taba ea pele, lisebelisoa tse fumanehang ho baetsi ba mehloli e bulehileng ka 2026 li matla haholo ho feta lilemo tse hlano tse fetileng. Lisebelisoa tsa likhoutu tse thusoang ke AI li ka potlakisa nts'etsopele ka 30-55% ho latela lithuto tse tsoang ho GitHub le McKinsey. Moqapi oa Rust o tšoara mefuta eohle ea likokoana-hloko pele a fihla tlhahiso, ho fokotsa nako ea ho lokisa liphoso. Liphaephe tsa Cloud CI/CD li etsa liteko ka bo eona. Moqapi a le mong ea nang le tsebo ea nang le lisebelisoa tsa morao-rao a ka hlahisa tlhahiso eo pele e neng e hloka sehlopha sa batho ba bahlano.

Ea bobeli, mokhoa oa khoebo o bulehileng o ipakile o sebetsa lik'hamphaning tse ngata tse atlehileng. GitLab (ea boleng bo fetang $8 bilione), Elastic, Redis, le Grafana kaofela li fana ka li-cores tsa mahala tse bulehileng tse nang le likarolo tsa pele bakeng sa bareki ba likhoebo. Qetellong Woxi e ka latela mohlala ona - khomphutha ea mahala ea tšoantšetso bakeng sa motho e mong le e mong, ka tšehetso ea premium, libuka tsa ho ngolla tse amoheloang, kapa likhokahano tsa likhoebo tse hlahisang chelete. Sena se tšoana le kamoo Mewayz e fanang ka moralo oa mahala o koahelang li-module tsa bohlokoa tsa khoebo ha li-premium ($ 19-49 / khoeli) li notlolla li-automation tse tsoetseng pele, likarolo tsa AI, le ts'ehetso ea mantlha bakeng sa lihlopha tse ntseng li hola.

Sephetho ke positive-sum dynamic. Basebelisi ba fumana lisebelisoa tse matla ka theko e tlase. Bahlahisi ba haha ​​seriti mme ka linako tse ling likhoebo tse tšoarellang. Tikoloho ka kakaretso e fetoha tlholisano le boqapi bo bongata. Wolfram Mathematica e ke ke ea nyamela - e na le boitseanape bo tebileng le basebelisi ba tšepahalang - empa ho ba teng ha mekhoa e meng e bulehileng ho qobella litheko tse betere le boqapi bo potlakileng ho tsoa ho ba sebetsang.

Seo se Bolelang Bakeng sa Likhoebo Tse Tsamaiswang ke Boitsebiso ka 2026

Khokahano ea mekhoa e mengata - Lintlafatso tse thehiloeng ho mafome, meralo ea modular ea software, ts'ebetso e bulehileng ea mohloli, le nts'etsopele e thusoang ke AI - e hlophisa bocha seo likhoebo li lokelang ho se lebella ho lisebelisoa tsa bona. Hore na o tsamaisa setsi sa batho ba 5 kapa khoebo ea batho ba 500, lintlha tse tharo tsa maano lia totobala.

Ya pele, theko ya ditjeho bakeng sa software e matla e theohile ho ya lefela. Lisebelisoa tse neng li laetse li-license tsa selemo tsa lipalo tse 'ne lilemong tse leshome tse fetileng joale li na le mefuta e meng ea mahala eo 90% e ka khonang. Sena ha se bolele hore mahala e lula e hapa - lisebelisoa tse lefuoang hangata li fana ka tšehetso e betere, likhokahano le poleiti - empa ho bolela hore likhoebo li na le likhetho tsa 'nete. Lekola pokello ea hau ea hajoale ea software 'me u tsebe moo u lefang litheko tse phahameng bakeng sa ts'ebetso ea lisebelisoa.

Ya bobedi, tshebedisano e bohlokwa ho feta boleng ba sesebediswa ka bomong. Enjene ea analytics e seng matla hanyane e hokahantsoeng le CRM ea hau, li-invoice, le litsamaiso tsa HR li tla fana ka boleng bo bongata ba khoebo ho feta sesebelisoa se ikemetseng se maemong a holimo se hlokang ho romelloa ha data ka letsoho. Ke ka lebaka lena li-platform tse kopanyang mesebetsi e mengata ea khoebo - ho sebetsana le ntho e 'ngoe le e' ngoe ho tloha ho tsamaiso ea bareki ho ea ho moputso tsamaisong e le 'ngoe e kopaneng - li fumana kamohelo e potlakileng har'a likhoebo tse nyane le tse mahareng.

Ya boraro, becha ka ditjhaba, e seng dikhamphani feela. Merero e kang Woxi e bonts'a hore sechaba sa batho ba chesehang ba ka sebetsana le mathata ao ho neng ho nahanoa hore a hloka lisebelisoa tsa khoebo. Ha u hlahloba lisebelisoa, sheba ho thothomela ha sechaba se ba potolohileng. Liforamo tse ntseng li tsoela pele, lintlafatso tsa kamehla, bahlokomeli ba arabelang, le lipalo tse ntseng li eketseha tsa batšehetsi ke matšoao a matla a ho sebetsa ha nako e telele ho feta tekanyetso ea thekiso ea k'hamphani e le 'ngoe.

Ho kenngwa tshebetsong ha Wolfram Mathematica ho Rust ho ka bonahala e le pale ya tekheniki e sa lebelloang. Empa atametsa, 'me e senola matla a motheo a ho fetola lisebelisoa tsohle tsa khoebo: li-beats tse bulehileng li koetsoe, li-modular beats monolithic, le lisebelisoa tse molemo ka ho fetisisa ke tsona tse u fang matla ntle le ho u amoha tokoloho. Hore na o etsa komporo ea matšoao kapa o romella invoice ea hau e latelang, molao-motheo oo o sebetsa ka ho lekana.

Lipotso Tse Botsoang Hangata

Woxi ke eng hona hobaneng e le bohlokoa?

Woxi ke projeke e bulehileng e sebelisang hape enjine ea khomphutha ea Wolfram Mathematica ho Rust. Ho bohlokoa hobane e ikemiselitse ho etsa demokrasi ho fihlella lisebelisoa tse matla tsa khomphutha tsa mahlale tseo ka tloaelo li neng li notletsoe ka morao ho laesense e turang ea khoebo. Ka ho matlafatsa ts'ebetso ea Rust le litiisetso tsa ts'ireletso ea memori, Woxi e ka fana ka lebelo la khomphutha e haufi le naha ha e ntse e fumaneha ka bolokolohi ho bafuputsi, baithuti le likhoebo lefatšeng ka bophara.

Hobaneng Rust e le khetho e ntle ea ho kenya tšebetsong Mathematica hape?

Rust e fana ka litšitiso tse sa bitseng letho, polokeho ea mohopolo ntle le pokello ea lithōle, le ts'ebetso e ikhethang e qothisanang lehlokoa le C le C++. Litšobotsi tsena li etsa hore e be e loketseng bakeng sa mesebetsi e matla ea computationally joalo ka algebra ea tšoantšetso, tlhahlobo ea lipalo, le ho bapisa mohlala. Rust's strong type system e boetse e thusa ho thibela mefuta eohle ea likokoana-hloko ka nako ea ho bokella, e leng ntho ea bohlokoa bakeng sa software ea saense moo ho nepahala ho ke keng ha buisanoa le liphoso li ka ata ka khutso ka lipalo.

Lisebelisoa tse bulehileng tsa khomphutha ea mahlale li ka tsoela likhoebo molemo joang?

Mehloli e meng e bulehileng joalo ka Woxi e ka fokotsa haholo litšenyehelo tsa laesense ea software ha e ntse e fa lihlopha taolo e felletseng holim'a ts'ebetso ea tsona ea computational. Likhoebo tse tsamaisang tlhahlobo ea data, mohlala oa lichelete, kapa lipapiso tsa boenjiniere li ka kopanya lisebelisoa tsena ka kotloloho ts'ebetsong ea tsona. Lipolanete tse kang Mewayz, le khoebo ea eona ea 207-module OS e qalang ho $19/mo, li bontša kamoo lisebelisuoa tse fumanehang habonolo li fetolang kamoo lik'hamphani tsa sejoale-joale li sebetsang hantle kateng.

Na Woxi e ka nkela Wolfram Mathematica sebaka ka botlalo kajeno?

Ha e so fihle. Woxi e ntse e le maemong a eona a pele mme e akaretsa feela karoloana ea ts'ebetso e kholo ea Mathematica, e kenyelletsang likete tsa mesebetsi e hahelletsoeng ka har'a lilemo tse mashome. Leha ho le joalo, morero oa morero oa tšepisa, ’me menehelo ea sechaba e potlakisa tsoelo-pele. Bakeng sa mesebetsi e mengata e tloaelehileng ea lipampiri tsa tšoantšetso, Woxi e se e bonts'a ts'ebetso ea tlholisano, 'me sebopeho sa eona se bulehileng se bolela hore mang kapa mang a ka kenya letsoho ka likarolo tse sieo kapa likatoloso tse ikhethileng tsa domain.