Qhov ntau yam ntawm cov lus sib txawv tso cai rau lawv siv ntau yam ntawm tib neeg kev ua, thiab kev nkag siab ntawm cov ntsiab lus no txawv. Ib lo lus ntau lub ntsej muag yog "typing". Lub tswvyim no feem ntau pom nyob rau hauv metrology, tsim, architecture. Lo lus no kuj siv los ntawm programmers.
ntaus ntawv txhais li cas
Txoj kev daws teeb meem rau ntau yam teeb meem yuav dag hauv kev tsim ntau yam qauv thiab qauv, uas yuav tsum tau ua raws li thaum ua haujlwm nrog cov thev naus laus zis thiab cov txheej txheem tsim khoom. Typification yog koom nrog kev tsim qauv thiab kev txhim kho cov kev daws teeb meem thoob ntiaj teb. Lub ntsiab lus ntawm lo lus txhais tau hais tias ib qho kev taw qhia hauv kev tsim kho, kev tsim, uas tso cai rau kev tsim kho ntawm ntau yam khoom siv raws li cov qauv txheej txheem. Txoj kev loj hlob ntawm ob peb lub hauv paus ntsiab lus tseem ceeb ua kom cov txheej txheem ntawm kev tsim cov qauv los yog ua kom cov kev ua tau zoo ntawm tag nrho.
Typification in construction
ntaus ntawv txhais li cas rau tus tsim? Feem ntau, kev siv tshwj xeeb tsim hom, cov kev cai thiab cov kev cai, cov cuab yeej txheem thiab cov qauv tsim. Xws li typification yog tsim los ua kom muaj kev rov qab los ntawm kev ua ntawm tus tsim, ua kom cov tshuab thiab cov txheej txheem koom nrog, thiab ua kom lub tsev tsim kho kom nrawm dua.kev tsim kho.
Kev sib cais ntawm kev ntaus ntawv tau paub txij thaum ub. Archaeologists pom cov cim ntawm kev rov siv dua ntawm tus kheej tawg ntawm cov qauv, duplication ntawm cov txheej txheem kev tsim kho. Kev siv tus kheej cov ntsiab lus ntawm typification tau tshwm sim ob qho tib si hauv cov tsev ntawm Cov Hnub Nyoog Nrab Hnub Nyoog thiab hauv cov tsev qub qub ntawm Hnub Nyoog Tshiab. Tab sis typification tau ua lub luag haujlwm loj tshaj plaws nyob rau hauv architecture ntawm lub tebchaws tom qab-Soviet. Industrialization xav tau ib tug loj influx ntawm kev ua hauj lwm - thiab li no kev tsim kho ntawm tus qauv thiab kev lag luam high-sawv vaj tse. Qhov no yog li cas lub tuam tsev nto moo "Khrushchev" tshwm sim - tej yaam num ntawm 50-70s, uas, ua tsaug rau kev ntaus ntawv, tau tsim nyob rau hauv tag nrho cov ces kaum ntawm lub qub Soviet Union nyob rau hauv ib tug luv luv lub sij hawm.
Typification hauv standardization
Standardization suav nrog ntau yam kev qhuab qhia. Ua tsaug rau qhov kev tshawb fawb no, cov cuab yeej ntsuas ntsuas qhia tau zoo ib yam, cov cuab yeej ua haujlwm tau tsim los rau tib txoj haujlwm, thiab cov khoom muab rau cov neeg siv khoom tau lees paub raws li qhov tsis sib xws. Typization yog tsim cov kev cai tsis sib xws thiab cov qauv hauv kev tsim khoom ntawm qee yam khoom, cov cuab yeej, thiab lwm yam. Cov txheej txheem no tab tom txhim kho nyob rau hauv ntau qhov chaw ntawm cov txheej txheem thev naus laus zis, suav nrog hauv kev tsim cov ntaub ntawv tswj hwm, thiab cuam tshuam rau cov txheej txheem ntawm kev suav thiab kev siv nyiaj txiag.
Typing in programming
ntaus ntawv txhais li cas rau qhov no? Programming yog qhov pibyog ib tug txheej txheem ntawm kev sib txuas lus ntawm ib tug neeg thiab lub computer. Zoo li txhua yam kev sib txuas lus, xws li kev sib tham tsuas yog ua tau nrog kev pab ntawm ib hom lus, uas yog ib qho cuab yeej rau kev txhais tib neeg cov lus txib rau hauv cov teeb liab nkag siab rau lub computer. Tag nrho cov txheej txheem txheej txheem hauv programming yog ua hauv ib hom lus lossis lwm yam. Lub luag haujlwm loj hauv kev faib tawm cov lus zoo li no yog ua los ntawm kev ntaus ntawv. Lub ntsiab lus thiab lub ntsiab lus ntawm lub tswv yim no ua rau qhov teeb meem ntawm kev ntaus lub hauv paus rau kev siv cov lus uas twb muaj lawm thiab tsim cov tshiab.
Ob pawg ntawm cov lus programming
Feem ntau, cov lus uas twb muaj lawm muab faib ua ob pawg loj:
- untyped languages;
- hom lus.
Raws li koj tuaj yeem pom, kev ntaus ntawv yog qhov ntsuas ntsuas uas koj tuaj yeem faib ntau hom lus uas twb muaj lawm los ntawm qhov yooj yim thiab nkag siab. Untyped languages - assembler, Brainfuck lossis tib Forth - yog tsim los daws cov teeb meem nqaim. Lawv tsis tuaj yeem hloov kho lossis txhim kho. Lwm yam yog hom lus uas ntaus ntawv tam sim no. Cov no yog Scala, PHP, C, Python thiab Lua, thiab lwm yam cuab yeej.
Cov qauv ntawm hom lus
hom lus ntau dua thiab nthuav. Yog li ntawd, nws tau dhau los ua qhov tsim nyog los faib lawv mus rau ntau pawg raws li qee tus yam ntxwv, uas, dua, ntaus ntawv ua lub luag haujlwm tseem ceeb.
- Languages ntawm dynamic lossis statistical typing. Kev sib cais ntawm lub hauv paus no yog ua raws li cov hom kawgkev ua haujlwm sib txawv. Statistical typing yog ua nyob rau hauv lub compilation theem. Ntawd yog, thaum ua cov lus txib, lub compiler twb "paub" qhov twg los nrhiav ib hom. Lwm qhov yog dynamic typing. Lub ntsiab lus ntawm hom twb tau qhia meej thaum lub sijhawm ua cov lus txib. Piv txwv ntawm kev sau ntawv txheeb cais: C, Java, C; dynamic subgroup muab: Python, JavaScript, Ruby.
- Cov lus uas muaj zog thiab xoob. Thawj tus tsis tso cai rau cov lus sib xyaw sib txawv hauv cov kab lus uas siv - piv txwv li, infinity tsis tuaj yeem muab rho tawm ntawm ib hom lus. Cov lus nrog xoob typing tuaj yeem ua tau qhov kev hloov pauv tsis zoo, txawm hais tias muaj qhov tsis zoo ntawm qhov tseeb. Piv txwv ntawm kev sib cais ntawm lub hauv paus no: nruj: Python, Lisp, Haskell, Java; tsis nruj: C, Visual Basic, JavaScript, PHP.
- Kev sau tsis meej thiab meej. Kev sib cais yog ua tiav los ntawm lub compiler. Ib hom lus uas tau sau meej meej tsim siv thiab hloov pauv tshiab kom meej meej. Hauv cov lus implicit, qhov haujlwm no nyob nrog lub compiler. Piv txwv ntawm cov lus qhia meej yog C++, D, C. Implicit: Lua, PHP, JavaScript.
Raws li koj tuaj yeem pom, kev ntaus ntawv ua lub luag haujlwm loj hauv ntau yam dej num. Noj mus rau hauv tus account cov txheej txheem loj hlob ntawm globalization, nws lub luag hauj lwm tsuas yog nce. Nws yuav siv sij hawm ntau rau kev siv zog thiab sijhawm los txheeb xyuas tag nrho cov txheej txheem uas twb muaj lawm thiab yav tom ntej thiab thev naus laus zis, coj lawv mus rau tib tus lej, yog li pab txhawb lub neej ntawm tib neeg hauv txhua qhov chaw ntawm lub ntiaj teb.
