Ko e pole 'o e fakatahataha'i 'o e Wolfram S .

"Ko e ngaahi sisitemi malohi taha 'oku 'ikai ko e ngaahi sisitemi 'oku lahi taha 'a e ngaahi fotunga — ko kinautolu ia 'oku fa'u ai 'a e ngaahi fotunga. Ko e faingata'a 'oku 'asi mai mei he ngaahi primitives faingofua, fokotu'utu'u lelei 'oku fefeka ange ma'u pe ia 'i he faingata'a na'e fa'u 'i he mei he kamata'anga."

Ko e faikehekehe ko eni 'oku fu'u mahu'inga 'aupito ia 'i he ngaue. Ko ha tu'unga 'oku fa'u mo'oni ai 'a e ngaahi modules 'oku 'uhinga ia 'oku tafe fakanatula ho'o fakamatala CRM ki ho'o sisitemi invoicing, 'a ia 'oku ne fafanga ho'o dashboard analytics, 'a ia 'oku ne faka'ilo ho'o palani HR. 'Oku 'ikai fie ma'u ke 'ave ki tu'apule'anga 'a e fakamatala, liliu, pea toe 'omi. Ko e 'ilo'i 'o ha kasitomaa ko e me'a tatau pe 'oku ke sio ki ai mei he module fakatau, 'a e sisitemi booking, pe ko e tohi totongi. Ko e tisaini fakafa'u 'eni — pea ko e me'a ia 'oku ne fakamavahe'i ha sisitemi ngaue pisinisi mo'oni mei ha polokalama fakakomipiuta 'o e fu'u 'akau.

'Oku langa 'a e Mewayz 'o takatakai tonu 'i he tefito'i mo'oni ko 'eni. 'I he 207 modules spanning CRM, invoicing, totongi, HR, pule'i 'o e vakapuna, analytics, fehokotaki'anga-'i he-bio me'angaue, mo e ngaahi sisitemi tohi, 'Oku ngaue 'a e tu'unga 'i he 138,000 'a e kau faka'aonga'i 'i mamani 'o 'ikai 'aki hono foaki 'o e ngaahi fotunga lahi taha, ka 'i hono fakapapau'i 'oku ngaue 'a e ngaahi fotunga ko ia mei he primitives vahevahe — tuku ke manage 'a e fakamatala 'o e identity, 'oku langa 'e he ngaahi pisinisi 'a e ngaahi founga ngaue 'oku 'ikai ha taha 'i he Mewayz na'a ne fa'u mahino.

Ko e Pole ʻo e Fakamoʻoní: Ko e ʻUhinga Kuo pau ke Maʻu ai ʻa e Faingataʻá

Ko e taha 'o e ngaahi tafa'aki fakaako lahi taha 'o e Wolfram S Combinator Challenge ko e faingata'a ke fakamo'oni'i na'a mo e ngaahi fakamatala 'oku ngali faingofua. Na'e faka'aonga'i 'e he kau tokoni 'o e komiuniti 'a e ngaahi fakamo'oni 'otometiki 'o e theorem, enumeration 'o e ngaahi taimi faka'osi, mo e ngaahi founga tohi fo'ou. Ko e ngaahi founga lahi na‘e hā ngali fakatu‘amelié na‘e ‘asi mai ‘oku hala fakapulipuli. Ko e 'ulungaanga 'eni 'o e ngaahi sisitemi compositional ma'olunga: ko 'enau 'ulungaanga 'i he me'afua 'oku mo'oni 'a e faingata'a ke tomu'a tala mei he'enau ngaahi tu'utu'uni pe.

Ki he ngaahi pisinisi, 'oku mape 'eni ki ha poini mamahi maheni: sivi fakatahataha'i. Ko e taimi 'oku ke ma'u ai ha ngaahi sisitemi 'e hongofulu 'oku nau takitaha ngaue totonu 'i he nofo mavahe, 'e 'ikai lava ke ke fakakaukau 'e tonu 'enau ngaahi fetu'utaki. ʻOku fakalahi ʻe he poini fakatahatahaʻi foʻou takitaha ʻa e malava ke ʻi ai ha tōʻonga taʻeʻamanekina. Ko e 'uhinga 'eni 'oku tupulaki ai 'a e lahi 'o e ngaahi fakataha'i 'i ha polokalama fakakomipiuta angamaheni 'o e kautaha stack quadratically mo e lahi 'o e ngaahi me'angaue — pea ko e 'uhinga 'oku mahulu hake ai 'a e ngaahi fakamole 'o e fakataha'i 'i he ngaahi fakamole 'o e laiseni 'i he ngaahi kautaha lalahi.

Ko e fakalelei'anga 'oku tuhu ki ai 'a e pole 'o e combinator 'oku 'ikai ko e sivi lahi ange 'i he layer 'o e fakataha'i, ka 'oku si'isi'i ange 'a e funga 'o e fakataha'i ke kamata 'aki. 'I he taimi 'oku vahevahe ai 'e he ngaahi modules ha substrate angamaheni, 'oku pule'i 'enau ngaahi fetu'utaki 'e he ngaahi tu'utu'uni tatau 'oku ne pule'i 'enau 'ulungaanga fakafo'ituitui. 'Oku 'ikai ha ngaahi la'i liliu lea ke ma'u hala, 'ikai ha ngaahi aleapau API ke maumau'i, 'ikai ha ngaahi schema mismatches ke debug 'i he 2 AM kimu'a pea toki fai ha faka'ali'ali 'a e poate.

Ngaahi 'uhinga 'aonga: Langa ho'o pisinisi 'i he ngaahi me'a 'oku lava ke fakatahataha'i

'Oku anga fefe hono faka'aonga'i mo'oni 'e ha pisinisi 'a e fakakaukau fakatahataha'i 'i he ngaue? Ko e ngaahi tefito'i mo'oni mahu'inga 'eni 'oku 'asi mai mei he pole 'o e S combinator 'i he taimi 'oku liliu ai ki he founga ngaue:

• 'Ilo'i ho'o ngaahi primitives 'uluaki. Kimu'a pea ke fili 'a e ngaahi me'angaue, mape'i ho'o ngaahi me'a tefito 'o e fakamatala — kau kasitomaa, ngaahi fefakatau'aki, kau ngaue, ngaahi koloa, taimi — pea fakapapau'i 'oku tokanga'i 'e ha fa'ahinga tu'unga 'oku ke 'ave 'a e ngaahi me'a ni ko e kalasi 'uluaki, ngaahi kautaha vahevahe kae 'ikai ko e ngaahi lekooti module-fakalotofonua.
• Mahu'inga ange 'a e loloto 'i he laulahi 'i he tooling vave. Ko ha tu'unga 'oku ne fai lelei 'a e ngaahi me'a 'e hongofulu mei ha fakava'e 'oku vahevahe 'oku mahu'inga ange ia 'i he ngaahi me'angaue makehe 'e uofulu 'oku nau takitaha fai 'a e me'a 'e taha makehe ka 'oku 'ikai ke nau lava 'o sio ki he ngaahi fakamatala 'o e taha mo e taha.
• Sivi'i 'a e composability, 'ikai ko e ngaahi fotunga pe. 'I hono sivi'i 'o e polokalama fakakomipiuta pisinisi, 'oku 'ikai ko e fehu'i "'oku 'i ai ha fotunga X 'a e module A?" ka "'i he taimi 'oku ou faka'aonga'i fakataha ai 'a e module A mo e B, 'oku lelei ange 'a e 'ulungaanga 'o e sisitemi 'i he taha 'o e ongo me'a ko ia tokotaha pe?"
• Tokanga'i 'a e 'otometiki ko e fa'u. Ko e ngaahi 'otometiki malohi taha 'i ha tu'unga composable 'oku 'ikai ko ha ngaahi tohi pe fakataha'i — ko e ngaahi ngaue 'oku nau seini'i 'a e ngaahi 'ulungaanga 'o e module fakataha, tuku ha me'a 'oku hoko 'i he booking ke ne fakatupu ha fakafo'ou 'o e CRM 'oku ne fakatupu ha inivoisi 'oku ne fakatupu ha hū 'o e totongi, kotoa 'o 'ikai ha intervention tohi 'o e custom
.
• Patiseti ki he 'asi hake. 'E fai 'e he ngaahi sisitemi composable 'a e ngaahi me'a na'e 'ikai ke ke palani ki ai — pea ko ha fotunga ia, 'ikai ko ha bug. Tuku ha potu 'i ho'o ngaahi ngaue ki hono 'ilo'i 'o e ngaahi ngaue 'oku faka'ata 'e he peletifoomu ka 'oku 'ikai ha taha 'oku ne fa'u mahino.

Ko e Ta'efakasi'isi'i Fakakomipiuta 'i he Ngaahi Ngaue: 'Ufi'ufi 'a e Me'a 'Oku 'Ikai Ke Ke Lava 'o Tomu'a tala

Ko e fakakaukau 'a Wolfram 'o e irreducibility fakakomipiuta 'oku 'i ai ha corollary fakangaue fakahangatonu: 'oku 'ikai lava ke tomu'a tala 'a e ngaahi ola 'o e pisinisi 'e ni'ihi mei he ngaahi tefito'i mo'oni 'uluaki — kuo pau ke nau fakalele. ʻOku ʻikai ko ha taʻelavameʻa ʻeni ʻo e palaní; ko ha koloa ia 'o e ngaahi sisitemi adaptive faingata'a. ‘Oku tō‘onga pehē ‘a e ngaahi māketí. ʻOku ʻulungaanga pehē ʻa e ngaahi fetuʻutaki kasitomaá. 'Oku pau 'oku 'ulungaanga pehe 'a e dinamics 'o e kautaha.

Ko e ngaahi pisinisi 'oku nau faingata'a'ia lahi taha mo e mo'oni ko 'eni ko kinautolu kuo nau langa ha ngaahi tu'unga ngaue fefeka mo 'ikai ke 'i ai ha 'uhinga. 'I he taimi 'oku fefeka-coded 'a e workflow kotoa pe ki ha me'angaue pau, 'oku fie ma'u 'e he fe'unga mo e irreducibility computational — ki he unpredictability mo'oni 'o e ngaahi tu'unga fakapisinisi mo'oni — 'oku fie ma'u ke toe fakahoko fakamole lahi. 'I he taimi 'oku fa'u ai 'a e ngaahi ngaue mei he ngaahi primitives 'oku fe'unga, 'oku fa'a hoko 'a e fe'unga ko ha me'a 'o e reconfiguring 'a e fa'u kae 'ikai ko e toe langa mei he kamata'anga.

Ko e 'uhinga 'eni 'oku 'ikai ke fakangaue'i pe 'a e ngaahi tu'unga modular mo e composability mo'oni — 'oku nau fakapotopoto 'a e fefeka. Ko ha pisinisi 'oku lele 'i he 138,000 kau faka'aonga'i 'o e mahu'inga 'o e 'atamai 'o e peletifoomu kuo tanaki, hange ko ia 'oku fai 'e Mewayz, 'Oku hokohoko atu hono 'ilo'i 'o e ngaahi fa'u fo'ou 'oku ngaue. Ko e 'atamai fakatahataha ko ia 'oku fakataha'i 'i ha ngaahi founga 'oku 'ikai lava 'e ha palani fakaloto 'a e kasitomaa 'e taha 'o 'amanaki ki ai.

Ko e Frontier: Ko e feitu'u 'oku fakatahataha ai 'a e kau fakatahataha'i mo e AI

Na'e faka'osi 'a e pole 'o e S combinator ko ha lesoni 'i he ngaahi fakangatangata 'o e ngaahi sisitemi si'isi'i taha — ka ko ha fakahaa'i foki 'o e mama'o 'e lava ke teke 'a e ngaahi fakangatangata ko ia. Ko e frontier hoko 'i he fakatou'osi 'a e saienisi fakakomipiuta fakateolosia mo e ngaahi ngaue fakapisinisi 'aonga ko e fetaulaki'anga 'o e ngaahi sisitemi combinatorial mo e ako 'a e misini: ngaahi tu'unga 'oku 'ikai ngata pe 'i he'enau fa'u 'a e ngaahi ngaue, ka 'oku nau ako pe ko e ha 'a e ngaahi fa'u 'oku ola lelei taha pea fokotu'u atu ha ngaahi me'a fo'ou ki he'enau kau faka'aonga'i.

Fakakaukau ki ha OS pisinisi 'oku ne fakatokanga'i 'a e ngaahi fakataha'anga module 'oku fekau'aki mo e tupulaki 'o e pa'anga hū mai, pukepuke 'o e kasitomaa, pe 'a e ola lelei 'o e ngaue, pea proactively surfaces 'a e ngaahi sipinga ko ia ki he kau ngaue 'oku te'eki ke nau 'ilo'i kinautolu. 'Oku 'ikai ko ha talanoa fakasaienisi 'eni — ko e tupulaki fakanatula ia 'o ha tu'unga 'oku loloto 'a e fakataha'i 'o e fakamatala mo e fua fe'unga. 'I he taimi 'oku ngaue kotoa ai ho'o CRM, invoice, analytics, HR, mo e ngaahi modules pule'i 'o e vaka mei he ngaahi primitives 'o e fakamatala vahevahe, 'Oku ma'u 'e he layer AI ha vakai fakatahataha ki ho'o pisinisi 'oku 'ikai ha patchwork 'o e ngaahi me'angaue fakatahataha'i 'e lava ke fakafehoanaki.

'Oku ako'i kitautolu 'e he S combinator 'oku 'ikai fie ma'u 'e he faingata'a loloto taha ha laipeli ta'efakangatangata 'o e ngaahi tu'utu'uni. 'Oku fie ma'u 'a e ngaahi primitives totonu, faka'aonga'i 'aki 'a e akonaki mo e fakakaukau. Ki he ngaahi pisinisi 'oku nau folau 'i he ngaahi fie ma'u fakangaue 'o e 2025 — pule'i 'a e ngaahi timi tufaki, kau kasitomaa fakamamani lahi, ngaahi sipinga 'o e pa'anga hū mai hybrid, mo e ngaahi 'amanaki 'o e analytics taimi mo'oni — 'oku 'ikai ko e tu'unga 'oku ikuna 'a e taha 'oku 'i ai 'a e lisi 'o e ngaahi fotunga loloa taha. Ko e taha ia 'oku langa, hange ko S 'iate ia pe, 'i he 'ilo faka'ofo'ofa 'oku 'asi mai 'a e me'a kotoa pe 'oku malie mei he fa'u.

Ko e pole na'e 'omai 'e Wolfram na'e ngali fekau'aki ia mo e fika. Ka ko hono lesoni loloto taha 'oku 'a ha taha pe 'oku ne langa ha ngaahi sisitemi 'oku 'uhinga ke tolonga: kamata 'aki 'a e ki'i seti 'o e ngaahi me'a 'oku fa'u mo'oni, pea falala 'e tokanga'i 'e he faingata'a'ia 'a ia pe.

Ngaahi Fehuʻi ʻoku Faʻa ʻEke

Ko e hā ʻa e S combinator pea ko e hā ʻoku mahuʻinga ai ki he fakakomipiuta fakateokalatí?

Ko e S fakataha'i, 'oku fakamatala'i 'e he tu'utu'uni S x y z = x z (y z), ko e taha ia 'o e ngaahi poloka langa tefito 'o e logic fakataha'i 'i he tafa'aki 'o e K fakataha'i. Ko hono mahu'inga 'oku 'i hono minimalism — 'e lava ke ne fakahaa'i ha fa'ahinga ngaue 'oku lava ke fakafuofua'i 'i he taimi 'oku fakataha'i ai mo e K, 'o ne ngaohi ia ko ha makatuliki 'o e lambda calculus, polokalama ngaue, mo e teolia lahi ange 'o e fakafuofua'i 'o e 'univeesi.

Ko e hā tonu ʻa e Polokalama Fakatahatahaʻi ʻo e Wolfram S ʻo kole ki he kau maʻu fakatahá ke nau fakamoʻoniʻí?

Na'e pole'i ​​'e Stephen Wolfram 'a e komiuniti ke fakamo'oni'i fakafo'ituitui ko e S combinator tokotaha pe — 'o 'ikai hano hoa tukufakaholo K — 'oku Turing-kakato. Kuo fuoloa hono fakamo'oni'i 'a e makatu'unga SK angamaheni 'i he 'univeesi, ka ko hono fakamavahe'i 'o e S ko ha primitive 'e taha na'e fie ma'u 'a e ngaahi founga fakamo'oni fo'ou kakato. Na'e fakatotolo'i 'e he kau ma'u fakataha pe 'e lava ke simulate 'e he self-application 'o e S 'a e fakafuofua'i 'o e arbitrary, tohoaki'i 'a e kau logicians, kau theorists 'o e fa'ahinga, mo e kau manako 'i he fakamo'oni 'o e theorem 'otometiki 'i mamani kotoa.

'Oku anga fefe 'a e fehokotaki 'a e ngaahi 'ilo mei he logic fakatahataha'i ki he ngaahi tu'unga polokalama fakakomipiuta 'o e mamani mo'oni?

Ko e ngaahi fakamo'oni hange ko 'eni 'oku ne fakaloloto 'etau mahino ki he ngaahi fie ma'u si'isi'i taha 'o e computation — ngaahi 'ilo 'oku ripple ki he tisaini 'o e compiler, teolia 'o e fa'ahinga, mo e optimization 'o e lea ngaue. Na'a mo ha koloa hange ko e Mewayz, ko ha 207-module pisinisi OS 'oku ma'u 'i he app.mewayz.com ki he $19/mo, 'oku iku 'o lele 'i he ngaahi la'i 'o e abstraction 'oku aka 'i he ngaahi tefito'i mo'oni 'o e fakafuofua faka'univeesi tatau 'a e pole 'o e S combinator 'oku fokotu'u ke fakafo'ituitui.

Ko fe 'e lava ke u 'alu ki ai ke muimui ki he ngaahi pole hokohoko 'i he saienisi fakakomipiuta fakateolosia?

Ko e ngaahi kamata'anga lelei taha 'oku kau ai 'a e ngaahi tohi pole 'uluaki 'a Wolfram, ngaahi tohi fakaako 'i he lambda calculus, mo e ngaahi komiuniti hange ko e lisi 'o e meili 'o e ngaahi makatu'unga 'o e fika. Ki hono fokotu'utu'u ho'o fakatotolo pe pule'i ha pisinisi ako fakatekinikale, 'Oku 'oatu 'e he Mewayz ha 207-module pisinisi OS 'i he $19/mo — 'a'ahi ki he app.mewayz.com ke fakatotolo'i 'a e ngaahi me'angaue kuo langa ke tokanga'i 'a e me'a kotoa pe mei he pulusi 'o e kakano ki he pule'i 'o e kau fakatau.