Pag-type - ito .. pag-type sa iba't-ibang larangan

Ang maraming mga facet ng iba't ibang mga salita ay nagbibigay-daan sa kanilang paggamit sa iba't-ibang larangan ng aktibidad ng tao, at ang pag-unawa ng mga konseptong ito ay magkaiba. Ang isa sa gayong salita ay multi-faceted, "pag-type". konsepto na ito ay pinaka-madalas na natagpuan sa metrolohiya, disenyo at arkitektura. Ginagamit ang terminong ito at programmer.

Anong ibig mong sabihin pagta-type

Solusyon ng iba't-ibang mga problema ay maaaring lumikha ng iba't ibang mga hugis at mga pamantayan, na dapat ay sinundan kapag nagtatrabaho sa mga teknolohiya at pagmamanupaktura proseso. Standardisasyon at pag-unlad ng unibersal na solusyon ay nakikibahagi sa pag-type. Kahulugan ng salitang tumutukoy sa direksyon sa konstruksiyon, disenyo, na nagpapahintulot para sa pagtatayo ng iba't-ibang mga kagamitan sa batayan ng mga standard na mga proyekto. Pag-unlad ng ilang mga pangunahing mga prinsipyo malaki accelerates ang proseso ng gusali o konstruksiyon din pinatataas ang kahusayan ng buong sistema.

Ang pag-type sa construction

Ano ang ibig sabihin para sa pag-type ng tagabuo? Malamang, ang paggamit ng mga espesyal na dinisenyo mga uri ng mga patakaran at regulasyon, ulirang mga kasangkapan at mga istraktura. typology na ito ay naglalayong makabuluhang mapabuti ang epekto ng mga kilos tagabuo ng upang madagdagan ang kahusayan na kasangkot machine at mga mekanismo, mapabilis ang konstruksiyon ng konstruksiyon pasilidad.

Indibidwal na mga elemento ng pag-type ay kilala dahil sinaunang ulit. Natagpuan ng mga arkeologo bakas ng muling paggamit ng mga indibidwal na mga istraktura fragment dodoblehin karaniwang mga diskarte sa construction. Ang paggamit ng mga hiwalay na mga elemento na naganap at ang pag-type sa mga gusali ng Middle Ages, at ang mga klasikal na kaayusan ng mga modernong beses. Ngunit ang pinakamalaking papel na ginagampanan-play sa pamamagitan ng pag-type sa post-Sobiyet bansa architecture. Industrialization nangangailangan ng isang malaking pag-agos ng lakas-paggawa - at sa gayon ay cost-effective na konstruksiyon ng standard at mataas na gusali gusali. Kaya ito ay lumitaw sa mga sikat na "Khrushchev" - tipikal na proyekto 50-70-ngian, na kung saan, dahil sa pag-type sa isang maikling panahon ay itinayo sa lahat ng bahagi ng ang dating Sobiyet Union.

Ang pag-type sa standardisasyon

Standardisasyon ay nagtatakip ng maraming mga kaugnay na teknikal na mga larangan. Salamat sa mga instrumento agham account ipakita ang parehong mga halaga, trabaho tool ay dinisenyo para sa parehong trabaho, at inaalok sa mga customer na mga produkto sertipikadong ayon sa parehong mga parameter. Typing - ay ang pagtatatag ng mga karaniwang patakaran at pamantayan sa produksyon ng mga tiyak na mga kalakal, mga kasangkapan at iba pa. Ang prosesong ito ay bubuo sa iba't ibang mga teknolohiya direksyon standardisasyon isinasaalang-alang sa pag-unlad ng regulasyon mga dokumento, ito ay nakakaapekto ang standard na paraan ng pagkalkula at kuru-kuro.

Ang pag-type sa programming

Iyon ay nangangahulugang ang pag-type sa kasong ito? Programming, sa kakanyahan, ay isang proseso ng dialogue at computer ng tao. Tulad ng sa anumang komunikasyon, tulad ng isang pag-uusap ay posible lamang sa pamamagitan ng wika, na kung saan ay isang kasangkapan para sa nagta-translate ng tao sa command sa mga signal na naiintindihan ng computer. Ang lahat ng karaniwang mga proseso ay natupad sa programming sa isang partikular na wika. Ang isang malaking papel sa pag-uuri ng mga wika ay gumaganap ng pagta-type. Ang halaga at kahulugan ng konseptong ito ay gumagawa ng pag-type ng isang katanungan ang batayan para sa paggamit ng mga umiiral na wika at ang paglikha ng mga bago.

Dalawang grupo ng mga programming language

Sa pangkalahatan, ang mga umiiral na mga wika ay nahahati sa dalawang pangunahing mga grupo:

• untyped wika;
• type na wika.

Bilang ay makikita ang pag-type - ito ay ang benchmark sa pamamagitan ng na upang hatiin ang malaking bilang ng mga umiiral na mga wika para sa simple at malinaw na mga linya. Untyped wika - assembler, Brainfuck o sa parehong Forth - na dinisenyo para sa isang makitid na hanay ng mga gawain. Hindi nila maaaring iakma o mapabuti. Isa pang bagay - ang wika kung saan may mag-type. Ito Scala, PHP, C, sawa at Lua, pati na rin ang ilang iba pang mga tool.

Istraktura type sa mga wika

Type na wika ay mas kawili-wili at nakatiklop. Samakatuwid mayroong isang pangangailangan upang hatiin ang mga ito muli sa ilang mga grupo ayon sa ilang mga pamantayan, na kung saan, muli, ay hindi ang huling papel na nilalaro ng pagta-type.

• Mga wika dynamic o statistical pag-type. Paghihiwalay sa batayan ng pagiging sa panghuling uri ng variable function. Statistical pagta-type ay isinasagawa sa itala oras. Iyon ay, kapag ang command sa pagpoproseso ng compiler na "alam" kung saan upang tumingin para sa isang partikular na uri. Iba pang mga negosyo - dynamic na-type. Ang mga uri ng halaga ay nilinaw na sa panahon ng command na processing. Halimbawa ng mga statistical pag-type: C, Java, C #; dynamic subgroup ay kinakatawan sa pamamagitan ng: Python, JavaScript, Ruby.
• Mga wika mahigpit at di-mahigpit na pag-type. Ang unang ay hindi nagpapahintulot ng wika upang makihalubilo sa iba't ibang uri ng mga expression ay ginagamit - halimbawa, ibawas infinity ng pagkakaisa sa naturang wika ay hindi. Ang isang Matindi ang nai-type na wika ay maaaring na rin magkaroon ng isang pahiwatig ng conversion, ngunit may isang makabuluhang pagkawala ng katumpakan. Mga halimbawa ng paghihiwalay sa batayan ng: mahigpit na: Python, pagkabulol, Haskell, Java; lax: C, Visual Basic, JavaScript, PHP.
• Implicit at tahasang pag-type. Paghihiwalay ay natupad sa pamamagitan ng compiler. Tahasang nai-type na wika na ginamit ay lumilikha ng bagong mga variable tahasan. Ang implicit wika, function na ito ay namamalagi sa tagatala. Mga halimbawa tahasang nai-type wika - C ++, D, C #. Implicit: Lua, PHP, JavaScript.

Tulad ng iyong nakikita, mag-type ay gumaganap ng isang malaking bahagi sa iba't-ibang mga gawain. Sa view ng ang pagtaas ng globalization ng kanyang papel ay lamang taasan. Kailangan ko ng isang pulutong ng mga oras at pagsisikap upang kumatawan sa lahat ng umiiral at sa hinaharap na mga proseso at teknolohiya, dalhin ang mga ito sa isang karaniwang denominador, at dahil doon lubos na nangangasiwa ng mga buhay ng mga tao sa lahat ng sulok ng Earth.