Ang versatility ng iba't ibang salita ay nagbibigay-daan sa kanila na magamit sa iba't ibang larangan ng aktibidad ng tao, at iba ang pagkaunawa sa mga konseptong ito. Ang isang ganoong multi-faceted na salita ay "pag-type". Ang konsepto na ito ay madalas na matatagpuan sa metrology, disenyo, arkitektura. Ang terminong ito ay ginagamit din ng mga programmer.
Ano ang ibig sabihin ng pagta-type
Ang solusyon sa iba't ibang problema ay maaaring nasa paglikha ng iba't ibang anyo at pamantayan, na dapat sundin kapag nagtatrabaho sa mga teknolohiya at proseso ng produksyon. Ang typification ay nakikibahagi sa standardisasyon at pagbuo ng mga unibersal na solusyon. Ang kahulugan ng salita ay nangangahulugang isang direksyon sa konstruksiyon, disenyo, na nagpapahintulot sa pagtatayo ng iba't ibang mga bagay batay sa mga karaniwang proyekto. Ang pagbuo ng ilang pangunahing mga prinsipyo ay makabuluhang nagpapabilis sa proseso ng pagbuo ng isang istraktura o nagpapataas ng kahusayan ng system sa kabuuan.
Typification sa construction
Ano ang ibig sabihin ng pagta-type para sa isang tagabuo? Malamang, ang paggamit ng mga espesyal na binuo na uri, panuntunan at regulasyon, standardized na tool at disenyo. Ang ganitong pag-type ay idinisenyo upang makabuluhang taasan ang pagbabalik sa mga aksyon ng tagabuo, pataasin ang kahusayan ng mga makina at mekanismong kasangkot, at pabilisin ang pagtatayo ng pasilidad.konstruksiyon.
Ang magkakahiwalay na elemento ng pag-type ay kilala na mula pa noong sinaunang panahon. Ang mga arkeologo ay nakahanap ng mga bakas ng muling paggamit ng mga indibidwal na mga fragment ng mga istraktura, pagdoble ng mga karaniwang diskarte sa pagtatayo. Ang paggamit ng mga indibidwal na elemento ng typification ay naganap kapwa sa mga gusali ng Middle Ages at sa mga klasikal na gusali ng New Age. Ngunit ginampanan ng typification ang pinakamalaking papel sa arkitektura ng mga bansang post-Soviet. Ang industriyalisasyon ay nangangailangan ng malaking pagdagsa ng mga manggagawa - at samakatuwid ay ang pagtatayo ng mga pamantayan at matipid na matataas na gusali. Ganito lumitaw ang mga sikat na gusaling "Khrushchev" - mga tipikal na proyekto noong 50-70s, na, salamat sa pag-type, ay itinayo sa lahat ng sulok ng dating Unyong Sobyet sa maikling panahon.
Typification sa standardization
Ang Standardization ay sumasaklaw sa maraming nauugnay na teknikal na disiplina. Salamat sa agham na ito, ang mga aparato sa pagsukat ay nagpapakita ng parehong mga halaga, ang mga gumaganang tool ay idinisenyo para sa parehong trabaho, at ang mga kalakal na inaalok sa mga customer ay na-certify ayon sa parehong mga parameter. Ang typization ay ang pagtatatag ng magkakatulad na mga tuntunin at pamantayan sa paggawa ng ilang mga kalakal, kasangkapan, at iba pa. Ang prosesong ito ay umuunlad sa iba't ibang larangan ng standardisasyon ng teknolohiya, isinasaalang-alang sa pagbuo ng dokumentasyon ng regulasyon, at nakakaapekto sa mga karaniwang paraan ng pagkalkula at pagbabadyet.
Pag-type sa programming
Ano ang ibig sabihin ng pagta-type sa kasong ito? Ang programming ay karaniwangay isang proseso ng komunikasyon sa pagitan ng isang tao at isang computer. Tulad ng anumang komunikasyon, ang gayong pag-uusap ay posible lamang sa tulong ng isang wika, na isang tool para sa pagsasalin ng mga utos ng tao sa mga signal na naiintindihan ng isang computer. Ang lahat ng mga karaniwang proseso sa programming ay isinasagawa sa isang wika o iba pa. Ang isang malaking papel sa pag-uuri ng mga naturang wika ay nilalaro sa pamamagitan ng pag-type. Ang kahulugan at kahulugan ng konseptong ito ay ginagawang batayan ang isyu ng pag-type sa paggamit ng mga umiiral nang wika at paglikha ng mga bago.
Dalawang pangkat ng mga programming language
Sa pangkalahatan, ang mga kasalukuyang wika ay nahahati sa dalawang malalaking grupo:
- hindi na-type na mga wika;
- mga uri ng wika.
Tulad ng nakikita mo, ang pag-type ang mismong benchmark kung saan maaari mong hatiin ang isang malaking bilang ng mga umiiral na wika sa isang simple at naiintindihan na batayan. Ang mga hindi na-type na wika - assembler, Brainfuck o ang parehong Forth - ay idinisenyo upang malutas ang isang makitid na hanay ng mga problema. Hindi sila maaaring iakma o mapabuti. Ang isa pang bagay ay ang mga wika kung saan naroroon ang pag-type. Ito ay ang Scala, PHP, C, Python at Lua, pati na rin ang ilang iba pang tool.
Mga istruktura ng mga na-type na wika
Ang mga na-type na wika ay mas kumplikado at kawili-wili. Samakatuwid, naging kinakailangan na hatiin silang muli sa ilang grupo ayon sa ilang partikular na katangian, kung saan, muli, may mahalagang papel ang pag-type.
- Mga wika ng dynamic o istatistikang pag-type. Ang paghihiwalay sa batayan na ito ay isinasagawa ayon sa mga panghuling urivariable function. Isinasagawa ang pag-type ng istatistika sa yugto ng compilation. Iyon ay, kapag nagpoproseso ng isang utos, ang compiler ay "alam" na kung saan hahanapin ang isang partikular na uri. Ang isa pang bagay ay ang dynamic na pag-type. Ang kahulugan ng mga uri ay nilinaw na sa panahon ng pagproseso ng utos. Halimbawa ng pag-type ng istatistika: C, Java, C; ibinigay ang dynamic na subgroup: Python, JavaScript, Ruby.
- Malakas at maluwag na mga wika sa pagta-type. Ang una ay hindi pinapayagan ang wika na paghaluin ang iba't ibang uri sa mga expression na ginamit - halimbawa, ang infinity ay hindi maaaring ibawas sa isa sa ganoong wika. Ang mga wikang may maluwag na pag-type ay maaaring magsagawa ng isang implicit na conversion, kahit na may malaking pagkawala ng katumpakan. Mga halimbawa ng paghihiwalay sa batayan na ito: mahigpit: Python, Lisp, Haskell, Java; hindi mahigpit: C, Visual Basic, JavaScript, PHP.
- Implicit at tahasang pagta-type. Ang paghihiwalay ay ginagawa sa pamamagitan ng compiler. Ang isang tahasang nai-type na wika ay lumilikha ng ginamit at mga bagong variable nang tahasan. Sa mga implicit na wika, ang function na ito ay nakasalalay sa compiler. Ang mga halimbawa ng tahasang nai-type na mga wika ay C++, D, C. Implicit: Lua, PHP, JavaScript.
Tulad ng nakikita mo, ang pagta-type ay may malaking papel sa iba't ibang aktibidad. Kung isasaalang-alang ang lumalagong proseso ng globalisasyon, tataas lamang ang papel nito. Mangangailangan ng maraming pagsisikap at oras upang mailarawan ang lahat ng umiiral at hinaharap na proseso at teknolohiya, dalhin ang mga ito sa iisang denominator, at sa gayon ay lubos na pinapadali ang buhay ng mga tao sa lahat ng sulok ng Earth.
