Typen - It .. typen yn ferskate fjilden

De protte fasetten fan ferskillende wurden lit harren brûken yn ferskate fjilden fan minsklike aktiviteit, en it begryp fan dy begripen binne oars. Ien sa'n wurd is multi-faceted, "te typen". Dit begryp wurdt meast faak fûn yn metrology, design en arsjitektuer. Brûkt wurdt dizze term en programmeurs.

Wat bedoelst te typen

Oplossing fan ferskate problemen kin te meitsjen ferskillende foarmen en noarmen, dy't moatte wurde folge doe dwaande mei de technologyen en manufacturing prosessen. Standerdisearring en de ûntwikkeling fan de universele oplossings hâldt him dwaande mei typen. Betsjutting fan it wurd ferwiist nei it rjochting yn de bou, design, wêrtroch foar de bou fan ferskate foarsjennings oan 'e basis fan de standert projekten. Untwikkeling fan ferskate basisprinsipes sterk versnelt it proses fan it gebou of konstruksje ferheget de effisjinsje fan it hiele systeem.

Te typen yn bou

Wat betsjut it foar it typen fan de bouwer? Meast wierskynlik, it brûken fan spesjaal ûntwurpen typen fan regels en foarskriften, standerdisearre ark en struktueren. Dizze typology hat as doel om gâns ferbetterje de ynfloed fan 'e bouwer acts te fergrutsjen fan de effisjinsje belutsen masines en meganismen, versnellen de oanlis fan de foarsjenning konstruksje.

Yndividuele eleminten fan typen binne bekend sûnt oerâlde tiden. Argeologen hawwe fûn spoaren fan 'e nij brûken fan yndividuele struktueren fragminten duplisearje standert bou techniken. It brûken fan aparte eleminten bard is en typen yn 'e gebouwen fan' e Midsieuwen, en de klassike struktueren fan de moderne tiid. Mar de grutste rol spile troch te typen yn de post-Sowjet lannen arsjitektuer. Yndustrialisaasje nedich in grutte tafloed fan de beropsbefolking - en dus kosten-effektive oanlis fan standert en hege gebouwen. Sa die bliken op de ferneamde "Chroesjtsjov" - typyske projekten 50-70-ies, dy't, fanwege te typen yn in koarte tiid waarden boud yn alle dielen fan de eardere Sovjet-Uny.

Te typen yn standerdisearring

Standerdisearring bestrykt in mannichte fen besibbe technyske dissiplines. Mei tank oan dit wittenskip Mjit apparaten sjen litte deselde wearden, wurk ark binne ûntwurpen foar itselde wurk, en oanbean oan klanten produkten sertifisearre neffens deselde parameters. Typen - is de ynrjochting fan de mienskiplike regeling en noarmen yn 'e produksje fan bepaalde guod, ark en mear. Dit proses ûntwikkelt yn ferskillende rjochtingen standerdisearring technologyen rekkene yn de ûntwikkeling fan de regeljouwing dokuminten, beynfloedet de standert metoaden fan berekkening en schatting.

Te typen yn Programming

Dat betsjut te typen yn dit gefal? Programmearring, yn wêzen, is in proses fan dialooch en minsklik kompjûter. Krekt as by alle kommunikaasje, sa'n petear is mooglik allinne troch middel fan taal, dat is in stik ark foar it oersetten fan minsklike kommando yn sinjalen dy't begryplik foar de kompjûter. Alle standert prosessen binne útfierd yn programmearring yn in bepaalde taal. In grutte rol yn de klassifikaasje fan talen spilet te typen. De wearde en betsjutting fan dit konsept makket typen in fraach de basis foar it brûken fan besteande talen en it skeppen fan nije eksimplaren.

Twa groepen fan de programmearring talen

Yn it algemien, de besteande talen wurde yndield yn twa grutte groepen:

• untyped talen;
• ynfierde talen.

As kin sjoen wurde typen - dit is de benchmark troch dat te ferdiele it enoarme oantal besteande talen foar ienfâldige en dúdlike linen. Untyped talen - assembler, Brainfuck of deselde Forth - ûntwurpen foar in smel berik fan taken. Se kinne net oanpasse of ferbetterje. In oar ding - de talen dêr't dêr typen. Dit Scala, PHP, C, Python en Lua, krektas guon oare ark.

Lêswizer ynfierde talen

Ynfierde talen is folle nijsgjirriger en dûbelteard. Dêrom is der in ferlet om te ferdiele se wer yn ferskate groepen neffens bepaalde kritearia, dat, wer, is net de lêste rol spile troch te typen.

• Talen dynamyske of statistyske te typen. Ofskieding oan 'e basis fan it wêzen op de definitive Fariabeletype funksjes. Statistyske typen wurdt útfierd ûnder kompilear tiid. Dat is, doe't it kommando ferwurkjen gearstaller al "wit" wêr't te sykjen foar in bepaalde type. Oare bedriuw - dynamyske te typen. De wearde types binne yngean sil al yn de kommando ferwurkjen. Foarbyld fan statistyske typen: C, Java, C #; dynamyske subgroep wurdt fertsjintwurdige troch: Python, JavaSkript, Ruby.
• Talen strang en net-strang te typen. De earste net tastean taal te mix ferskillende typen fan uteringen wurde brûkt yn - bygelyks, subtract ûneinichheid fan ienheid yn sa'n taal kin net. In sterk ynfierde taal faaks heger meitsje in ymplisite bekearing, mar mei in grutte ferlies fan krektens. Foarbylden fan skieding op basis fan: strange: Python, Lisp, Kinnelon, Java; lax: C, Visual Basic, JavaSkript, PHP.
• Ymplisyt en útwurke te typen. Ofskieding wurdt útfierd troch de gearstaller. Eksplisyt ynfierde taal brûkt skept nije fariabelen eksplisyt. De ymplisite talen, dizze funksje leit by de gearstaller. Foarbylden eksplisyt ynfierde talen - C ++, D, C #. Ymplisyt: Lua, PHP, JavaScript.

Sa't jo sjen kinne, typen spilet in grut part yn ferskate aktiviteiten. Yn it each op de tanimmende globalisearring fan syn rol sil allinne mar tanimme. I need in protte tiid en muoite om typify alle besteande en takomstige prosessen en technologyen, bring se nei in mienskiplike neamer, dêrtroch sterk fasilitearjen fan it libben fan minsken yn alle hoeken fan de Ierde.