AISIM agus an pointe a ghluaiseann
Bhog an pointe, níor bhog an conradh
Tá uimhríocht phointe sheasta tarraingteach mar tá sí macánta. Roghnaíonn tú scála, deir tú cá bhfuil an pointe, agus stopann an meaisín ag ligean air go bhfuil gach uimhir ina réamhaisnéis bheag aimsire. Sin a dhéanann athsheinm níos ciúine, spriocanna leabaithe níos éasca le réasúnú fúthu, agus iniúchtaí nach bhfuil chomh spleách ar fhrásaí cosúil le gar go leor. Álainn. Agus neamhiomlán freisin.
Is féidir le scála seasta amháin a bheith ró-mhaol. Roghnaigh scála a láimhseálann luachanna an-bheaga agus ritheann na luachanna níos mó as spás. Roghnaigh scála a láimhseálann luachanna níos mó agus cailleann na luachanna beaga sonraí úsáideacha. Is féidir leat an t-ualach oibre a roinnt ina roinnt cineálacha, ach anois tá saghas eile praiseach sa chódchóras. Comhghairdeas, tá an pointe deachúil anois ina fhadhb foirne.
Tá AXIOM ann do na cásanna ina gcaithfidh an pointe bogadh gan an ciseal uimhriúil a iompú ar ais ina anraith snámhphointe. I gcódchóras Dweve is teaghlach pointe athraithigh oiriúnaitheach é: iompraíonn gach luach coincréite comhartha, innéacs liosta easpónant, agus maintissa i léiriú pacáilte 32-giotán. Ní giúmar crua-earraí comhthimpeallach é an t-easpónant. Roghnaítear é ó liosta sainráite. Is ualach slánuimhir é an maintissa. Is é an luach léirithe comhartha uaireanta maintissa uaireanta dhá chumhacht an easpónant roghnaithe dhiúltaigh. Níl an abairt sin gleoite, ach is é an cleas iomlán é.
Ní hé an chuid thábhachtach go mbogann an pointe. Bogann snámhphointe an pointe cheana féin. Is é an chuid thábhachtach ná go mbogann AXIOM é trí liosta fógartha ar féidir é a athbhreithniú, a thástáil, a speisialú, agus a choinneáil cinntitheach. Ní iarrann an cód ar an ardán pearsantacht uimhriúil a sheiftiú. Tugann sé conradh dlúth don luach agus cuireann sé an uimhríocht ar ais chuig an gconradh sin tar éis gach oibríochta.
Sa bhunchód, is é an cruth coincréite Axiom<M, E>. Caithfidh leithead an maintissa a bheith oiriúnach don léiriú, le haliasaí praiticiúla cosúil le Adp4, Adp8, Adp16, Adp23, AdpNN4, agus AdpNN8. Ní maisiúcháin iad na hainmneacha sin. Insíonn siad duit cé mhéad ualach agus cén próifíl easpónant a bhfuil an luach ceaptha a úsáid. Ní gealltanas céanna é luach le liosta easpónant cruth-NN agus luach le liosta ginearálta níos leithne. Is é an chaoi a dtosaíonn cóidchórais thromchúiseacha ag bailiú béaloidis ná iad a chaitheamh mar an gcéanna toisc go bhfuil an chuma orthu go bhfuil siad uimhriúil.
Ní giúmar é pointe athraitheach
Is féidir leis an bhfrása pointe athraitheach oiriúnaitheach fuaimniú amhail is dá ndéanfadh duine snámhphointe a athainmniú chun soláthar a fháil trí chruinniú. Ní hé sin atá ag tarlú. Ní dhéanann AXIOM an t-easpónant ina fho-iarmhairt dhofheicthe. Roghnaítear an t-easpónant ó liosta atá ceangailte leis an gcineál nó leis an straitéis. Sa bhunchód reatha, áirítear ar na liostaí easpónant coincréite caighdeánach [16, 8, 4, 0], dlúth [12, 8, 4, 0], meáchain líonra néarach [8, 6, 4, 0], agus liosta mín [16, 14, 12, 10, 8, 6, 4, 0]. Is iad sin luachanna reatha an bhunchóid, agus tá tábhacht leis an idirdhealú sin mar tá an bunachar athraithe le himeacht ama; ba cheart d'éilimh reatha leanúint den chód reatha, ní de liostaí easpónant atá i léig.
Is é an liosta an cinneadh táirge. Tugann liosta caighdeánach cúpla banda leathan. Athraíonn liosta dlúth an áit a suíonn na bandaí. Tá an liosta NN múnlaithe do shonraí cosúil le meáchain. Tairgeann an liosta mín níos mó roghanna cóngaracha. Ní bhaineann aon cheann de sin breithiúnas amach. Bogann sé an breithiúnas go dtí áit a bhfeiceann athbhreithniú cóid é.
Seo é an difríocht idir léiriú oiriúnaitheach rialaithe agus leithscéal ginearálta. Deir cineál pointe sheasta go n-úsáideann gach luach anseo an scála seo. Deir AXIOM go roghnaíonn gach luach anseo ón tacar scálaí dearbhaithe seo. Is conradh níos leithne é sin, ní conradh atá in easnamh. Bogann an pointe, ach bogann sé ar ráillí. An-Ísiltíreach, dáiríre. Fiú an pointe deachúlach, tá bonneagar aige.
Is fiú a bheith beacht faoi cad nach bhfuil AXIOM. Ní uimhríocht chothrom réasúnach bheacht é. Ní ceadúnas é neamhaird a dhéanamh ar anailís raoin. Ní éileamh tagarmhairc é. Ní ráthaíocht é go n-oireann an liosta easpónantúil roghnaithe do d’ualach oibre toisc go raibh cuma fuinniúil ar an acrainm. Ní mór duit fós na luachanna, an raon dinimiciúil, an earráid inghlactha, an sprioc imlonnaithe, agus na ceanglais athsheinm a thuiscint. Déanann AXIOM na roghanna sin níos iniúchtaí. Ní chuireann sé deireadh leo. Má tá aon rud ann, déanann sé níos deacra smaointeoireacht uimhriúil leisciúil a cheilt, agus sin an áit a dtosaíonn an screadach de ghnáth.
Caithfidh an uimhríocht teacht abhaile
Tá formáid uimhreach éasca a tharraingt agus níos deacra a dhéanamh úsáideach. Is í an uimhríocht an chuid úsáideach. Caithfidh suimiú agus dealú déileáil le luachanna a d’fhéadfadh a bheith ar bhannaí easpónantúla éagsúla. Caithfidh iolrú agus roinnt obair mhaintíse shlánuimhir níos leithne a dhéanamh sula bhfilltear an toradh ar an gcruth sprice. Tar éis na hoibríochta, caithfidh an luach normalú ar ais go rogha easpónantúil atá ar fáil. Tá an chéim dheireanach sin tábhachtach mar gheall gur saoire thar lear le brandáil níos fearr é léiriú nach féidir teacht abhaile.
Mar sin tá rithim ag uimhríocht AXIOM. Tabhair isteach luachanna pacáilte. Ailínigh nó leathnaigh de réir mar is gá. Déan an oibríocht dhírithe ar shlánuimhir. Normalúigh. Stóráil an toradh ar ais sa chruth dearbhaithe. Mura n-oireann sé, ba cheart go mbeadh sé sin le feiceáil mar fhadhb léirithe, ní mar chúram a thugtar go ciúin do ghiúmar an mheaisín. Tá an conradh úsáideach toisc go bhfuil imill air.
Is é seo an fáth chéanna a bhfuil tábhacht le Numerus timpeall air. Níl an cruach níos leithne ag iarraidh formáidí uimhreacha a bhailiú mar stampaí. Teastaíonn uaidh uimhríocht ar féidir léi maireachtáil ar athsheinm, imlonnú leabaithe, insamhladh, comhbhrú samhail, tástálacha, agus rianta iniúchta. Is teaghlach amháin é AXIOM laistigh den scéal sin. Láimhseálann sé fadhb ar leith: luachanna a n-athraíonn a scála úsáideach, ach a gcaithfidh a n-iompraíocht a bheith cinntitheach fós.
Sin é an abairt leadránach a shábhálann foirne níos déanaí: normalúigh ar ais sa chruth. Fuaimeann sé cosúil le sonraí cur chun feidhme go dtí go ndéanann athsheinm difriúil, go n-aistríonn tairseach, nó go n-iompraíonn samhail chomhbhrúite ar bhealach difriúil ar sprioc níos lú. Ansin bíonn sí ina habairt ar mian le gach duine go mbeadh sí sa doiciméad ailtireachta.
Cén fáth a bhfuil AXIOM faoi Numerus
Tá scéal poiblí Numerus i bhfad níos simplí d’aon ghnó ná an crann foinse. Teastaíonn ón gcuid is mó de léitheoirí a fháil amach an féidir leis an gciseal uimhriúil uimhríocht chinntitheach, teaghlaigh phointe sheasta, iompar deachúlach, staidiúir no_std, próifílí leabaithe dírithe ar shlánuimhir, fíorú, agus an freagra céanna faoi dhó a thabhairt. Ní theastaíonn gach cineál inmheánach uathu ar an gcéad leathanach. Ní rún é sin. Is trócaire é.
Thíos, tá an ciseal uimhriúil coiteann níos leithne. Iompraíonn sé cineálacha slánuimhreacha dénártha, téarnacha, dúchasacha agus fo-bhíte, ailiasanna pointe sheasta, cineálacha a bhaineann le snámhphointe le haghaidh obair chomhoiriúnachta, agus AXIOM oiriúnaitheach. Tugann na tréithe comhroinnte dromchla coiteann do na teaghlaigh sin. Ansin timpeallaíonn Numerus na píosaí ar cheart iad a bheith os comhair an táirge: pointe sheasta dhénártha agus dheachúil, AXIOM, slánuimhreacha, oibríochtaí, dromchlaí DSL, agus staidiúir fíoraithe. Tá an deighilt seo sláintiúil. Is féidir le bunús a bheith leathan gan an leathanach poiblí a dhéanamh cosúil le roghchlár ó bhialann a chaill muinín.
Tá alt ar leith tuillte ag AXIOM toisc nach iontráil eile sa liosta sin amháin é. Is éard atá i gceist le pointe sheasta ná an pointe a chur in aon áit amháin. Is éard atá i gceist le pointe sheasta dheachúil ná áiteanna beachta bonn-deich. Is éard atá i gceist le foirmeacha dénártha agus téarnacha ná cosáin chomhbhrúite íseal-giotán. Is éard atá i gceist le AXIOM ná an pointe a dhéanamh mar chuid rialaithe den luach. Athraíonn sin an chaoi a smaoiníonn tú ar léiriú, uimhríocht, tástálacha, agus imscaradh.
Athraíonn sé freisin an chaoi ar cheart éilimh phoiblí a scóipeáil. Baineann feidhmíocht AXIOM le tagarmharcanna reatha ar chód reatha, ní le béaloideas oidhreachta. Níor cheart cur síos a dhéanamh ar an gcruach níos leithne mar nialas oibríochtaí snámhphointe, mar go bhféadfadh dromchlaí tiontaithe agus taispeána an teorainn sin a thrasnú. Is é an t-éileamh is sábháilte agus is cruinne ná go bhfuil an uimhríocht lárnach sheasta agus oiriúnaitheach dírithe ar shlánuimhreacha agus deartha le haghaidh iompraíochta cinntithí. Tá an abairt sin níos lú splancúla. Maith. Is éard is éilimh uimhriúla splancúla ann ná an chaoi a n-éiríonn deais ina ngineadóirí leithscéil.
Roinnt cosáin ríomha, teaghlach amháin
Níl sa luach pacáilte coincréiteach ach an tús. Tá níos mó ná bealach amháin le húsáid AXIOM sa fhoinse mar nach bhfuil ualaí oibre dea-bhéasach go leor chun aon leagan amach amháin a fheistiú go deo. Tá an cosán coincréiteach pacáilte ann le haghaidh liostaí easpónant ama tiomsaithe. Tá Flex<S> ann le haghaidh stóráil easpónant ama rite thar mhéideanna stórála slánuimhreacha. Tá foirmeacha teannsóra agus bloic ann inar féidir le struchtúr easpónant comhroinnte a bheith úsáideach. Tá próiseáil shraitheach ann. Tá APoT ann, áit ar féidir luachanna a léiriú mar shuimeanna cumhachtaí sínithe de dhó ionas gur féidir le hiolrú a bheith ina n-aistrithe agus ina suimithe. Tá taighde próifílithe agus easpónant foghlamtha timpeall air.
Ní cúis é an scaipeadh sin le héilimh fhiáine a dhéanamh. Is cúis é a bheith cúramach faoin ualach oibre. Tá brúnna éagsúla ar chosán athsheinm scálach, cosán chainníochtaithe bhaisc, cosán cosúil le teannsóir, agus cosán meáchain APoT. Is cúisí iad leagan amach cuimhne, athúsáid easpónant, raon, normalú, agus cruth crua-earraí. Tugann AXIOM foclóir do na roghanna sin. Ní shaorann sé aon duine ó iad a dhéanamh.
Seo áit a n-éiríonn an t-innealtóireacht suimiúil. Ní cleas comhbhrúite gleoite amháin é APoT. I gcás luachanna oiriúnacha, athraíonn sé iolrú ina fhadhb aistrithe-agus-suimithe. Is féidir le cosáin teannsóra agus bloic struchtúr easpónant a roinnt nuair a bhíonn go leor crutha ag ualach oibre. Coinníonn Flex stóráil easpónant ama rite ar fáil nuair a bhíonn liostaí leibhéal-chineáil ró-dhocht. Níor cheart aon cheann díobh seo a roghnú toisc go raibh cuma deas ar an léaráid. Roghnaíonn an t-ualach oibre, nó roghnóidh an tuarascáil fabht níos déanaí agus beidh sí i bhfad níos lú dea-bhéasach faoi.
Conas rogha AXIOM a athbhreithniú
Is ceist athbhreithnithe leadránach í an chéad cheist agus dá bhrí sin tá sí úsáideach: cén fáth nach n-úsáidfimis cineál uimhreach níos simplí? Más airgead nó méid deachúil rialáilte é an luach, b'fhéidir gurb é Decimal an freagra ceart. Má tá an raon beag agus teoranta go maith, b'fhéidir go mbeadh cineál pointe sheasta i bhformáid Q níos ciúine. Más ann don uimhir ach amháin chun idirghníomhú le formáid comhaid nó API seachtrach, b'fhéidir gurb é cineál a bhaineann le snámhphointe an t-oiriúnóir imeall macánta. Tuilleann AXIOM a áit nuair a bhíonn méid athraitheach san ualach oibre, nuair is gá conradh cinntitheach fós, agus nuair a bhaineann sé leas as sraith easpónant fhollasach.
Is í an dara ceist ná an ndéanann an liosta easpónant cur síos ar na sonraí nó an ndéanann sé ach an t-innealtóir a shásamh. Is comhréiteach difriúil é liosta le ceithre bhanda leathana i gcomparáid le liosta mín le hocht iontráil. Ní lipéad maisiúil é an liosta i gcruth NN. Deir sé go bhfuiltear ag súil go n-iompróidh na luachanna iad féin cosúil le sonraí meáchain. Mura n-oireann an dáileadh don liosta, rithfidh an léiriú fós. Is minic go mbíonn bogearraí sásta an rud mícheart a dhéanamh ar luas iontach. Ní dhéanann sin dearadh de.
Is í an tríú ceist ná cá bhfeictear brú normalaithe. Is féidir le suimiú thar bhandaí easpónant i bhfad ó chéile sonraí a chaitheamh amach. Is féidir le hiolrú toradh a chruthú a dteastaíonn banda difriúil uaidh. Is féidir le hoibríochtaí arís agus arís eile brú a charnadh go díreach ag na háiteanna nár thug an taispeántas cuairt orthu. Ba cheart don athbhreithniú tástálacha teorann a iarraidh timpeall ar nialas, athruithe comhartha, aistrithe easpónant, mantissas móra, agus oibríochtaí arís agus arís eile. Má bhraitheann na cásanna sin corraitheacha, maith go leor. Is dócha gurb iad na cásanna sin na cinn is tábhachtaí.
Is í an cheist dheiridh ná conas a fhágann an léiriú fianaise. Cén ailias cineáil a roghnaíomar? Cén liosta easpónant? Cén leithead mantissa? Cén cosán tiontaithe? Cén oracle nó tástáil airíonna a thacaíonn leis an éileamh? Má tá an freagra scaipthe trasna tráchtanna agus dóchas, tá cuid den tairbhe caillte ag an gcóras cheana féin. Tá AXIOM is úsáidí nuair a bhíonn an rogha uimhriúil mar chuid de thaifead na hailtireachta, ní cleas cliste áitiúil i bhfolach trí mhodúl síos.
Is fearr fíorú ná uimhreacha laochra
Meallann formáidí uimhriúla uimhreacha laochra. Níos lú. Níos tapúla. Níos éifeachtaí. Níos fearr. Is saor na focail agus de ghnáth tagann siad roimh an bhfráma tástála, rud atá go díreach mar an t-ord mícheart. Maidir le AXIOM, is é an dearcadh freagrach ná tástálacha feidhmíochta a chaitheamh mar fhianaise in aghaidh an scaoilte, ní miotaseolaíocht. Mura bhfuil an tástáil feidhmíochta athrithe ar fhoinse reatha, ar thiomsaitheoir reatha, ar bhratacha reatha, agus ar chrua-earraí reatha, ní héileamh poiblí é. Is cárta poist é ó thráthnóna roimhe seo.
Is é an rud is tábhachtaí ná an bealach fíoraithe. An bhfanann ionchódú agus díchódú laistigh den chonradh dearbhaithe? An normalaíonn oibríochtaí go cruth dleathach? An n-iompraíonn cásanna imeallacha timpeall ar theorainneacha easpónant d'aon ghnó? An gclúdaíonn tástálacha airíonna na luachanna corraitheacha a ndéanann daoine dearmad orthu toisc go bhfuil caitheamh aimsire ag daoine? An bhfuil oracle ardchruinnis ann nuair a bhíonn comparáid bríoch? An féidir le hathsheinm an cosán luacha céanna a atógáil?
Is é an cheist dheiridh sin an fáth go mbaineann sé seo lenár gcruach. Tá Dweve ag tógáil i gcónaí i dtreo córas ina bhfágann ríomh fianaise: parsálaithe le hadmhálacha, mórleabhair le himeachtaí clóscríofa, aisghabháil le cosáin chinntitheacha, formáidí sonraí nach dtarraingíonn vaigín eochracha arís agus arís eile, agus sraitheanna insamhalta agus uimhriúla ar féidir iad a athsheinm. Oireann AXIOM mar níor cheart go gciallódh bogadh an phointe an t-admháil a chailleadh.
An ceacht
Ní hé ceacht AXIOM ná go raibh an pointe sheasta mícheart. Tá an pointe sheasta fós ar cheann de na huirlisí is glaine atá againn. Is é an ceacht ná nach leor scála seasta amháin i gcónaí, agus ní gá go mbeadh an rogha eile mar iompar snámhphointe doiléir. Is féidir le luach rogha easpónant rialaithe a iompar. Is féidir leis an bpointe bogadh agus an conradh fós le feiceáil.
Sin é an scéal poiblí is fiú a insint. Pacálann Dweve AXIOM comhartha, innéacs easpónantúil agus maintissa. Roghnaíonn sé ó liostaí easpónantúla sainráite. Úsáideann sé uimhríocht atá dírithe ar shlánuimhreacha agus normalaíonn sé torthaí ar ais i gcruthanna dearbhaithe. Tá cosáin nithiúla, solúbtha, teannsóra, bloc, srathaithe, APoT agus taighde sa chód. Baineann sé le Numerus mar ní cleachtas taobh é uimhríocht chinntitheach. Is cuid é den chaoi a ndéanann córais thromchúiseacha an freagra céanna faoi dhó.
Bogann an pointe. Ní bhogann an fhreagracht. Sin an rud úsáideach.