Shihni funksionet në programmovs. Lloji dhe funksioni

| | |
funksionin në program - një fragment i kodit të programit (pidprogram), në të cilin mund të ekzekutoheni nga programi. Shumica e llojeve të funksioneve janë të lidhura me një identifikues, por më shpesh ato lejojnë funksione fikse. Nga funksioni i lidhjeve të panjohura në adresën e instruksionit të parë (operatorit), i cili përfshihet në funksion, i cili kalohet në kontroll kur ai ngrihet në funksion. Kur të shfaqet funksioni i kontrollit, kthehuni në adresën e kthesës - jepet pika e programit, funksioni i viklikanit.

Funksioni mund të pranojë parametra dhe është fajtor për kthimin e vlerës, mund të jetë bosh. Funksionet që rrotullojnë vlerat boshe shpesh quhen procedurat... Disa lëvizje të programit të funksioneve dhe procedurave shkatërruese mund të ndryshojnë sintaksën, zokrem, ju mund të vikoristovuvatisya çelësa të ndryshëm të fjalës.

Funksioni është fajtor se është në një gjendje moderne, të zhveshur dhe të numëruar. Funksionet shurdhuese, përveç ndryshimit të listës së emrave dhe llojeve të parametrave të kaluar (abo: argumentet), dhe gjithashtu, lloji rrotullohet nga funksioni i vlerës. Funksioni Viznachennya për të hakmarrë kodin e funksionit. Disa nga lëvizjet e programit të funksionit lakuriq janë pa përmbysur vlerën e funksionit, në atë kohë, në radhët e të tjerëve, është e nevojshme të kemi një koleksion funksionesh të zhveshura dhe gjithashtu të jepet vlera e funksionin.

Në funksionet e programit me orientim objektiv quhen metoda denoncimet e atyre që nuk janë të pranishëm në një pjesë të madhe të klasës.

Për të ruajtur funksionin e mëparshëm të këndimit, është e nevojshme që në kodin e nevojshëm të programit të sigurohet funksioni dhe të transferohen parametrat në funksion. Parametrat që transferohen në funksion mund të transferohen si për vlerat, ashtu edhe për përpjekjet: për ndryshimin, transferuar për vlerat, ekziston një kopje lokale; për të filluar ndryshimin më të madh, në atë orë si ndryshim, që shihet në funksionin e ndryshimit, të transmetuar sipas fuqisë suaj, në bazë të ndryshimit më të transferuar.

Funksioni përcaktohet si një zonë lokale (lokale) e dukshmërisë, ku mund të futë parametrat e hyrjes, si dhe ndryshimet që mezi janë të dukshme në vetë funksionin.

Ekziston një mundësi e fortë e një funksioni wiklikati në mes të vetë funksionit: një wiklik i tillë i një funksioni quhet rekursiv dhe procesi i kontributeve të ditës së fundit një në një funksion wikklik quhet rekursiv. Nëse është e nevojshme të ruhet (në pirg) adresa e funksionit të kthyer (dhe, gjithashtu, është gjithashtu e nevojshme të ruhet në të njëjtin pirg për parametrat dhe ndryshimet lokale, pasi ato nuk janë dinamike), atëherë nuk ka nevoja për të ricikluar programin përpara se të lindë një vlerë e caktuar kufitare e kontributit të fitoreve rekursive.

• 1 Aplikoni funksionet
  • 1.1 JavaScript
  • 1.2 ActionScript
  • 1.3 C ++
  • 1,4 C #
  • 1.5 Pascal
  • 1.6 PHP
  • 1.7 Stadardi ML
  • 1.8 Visual Basic
  • 1.9 PureBasic
• 2 Div. Gjithashtu
• 3 Posilannya

vënë funksione

JavaScript

emri i funksionit (tekst, element) (document.getElementById (element) .innerHTML = tekst;)

ActionScript

emri i funksionit publik (tekst: varg) (fushë teksti var: TextField = TextField i ri (); textfield.text = tekst;)

C ++

emër i pavlefshëm (std :: teksti i vargut) (std :: cout<< text; }

C #

emri publik i zbrazët (teksti i vargut) (System.Console.WriteLine (tekst);)

Paskalin

emri i procedurës (teksti var: vargu) start write (tekst); fundi;

PHP

emri i funksionit ($ tekst) (echo $ text;)

Standarte ml

emri argëtues t = print t

Por, mirë, e njëjta gjë (div. mbart):

Emri argëtues = print

Bazë vizuale

Nën Emri (tekst) Konsola.WriteLine (tekst) Fund Sub

PureBasic

Procedura.l Emri (tekst.s) PrintN (tekst) EndProcedure

Div. gjithashtu

• funksion anonim
• Funksionet (matematika)

posilannya

Informacioni i funksionit (programit) Rreth

Meta robotët: 1) Unë do të përshkruaj rregullat e funksioneve; 2) nabuti navichok victoriannya funkts_y kur shkruani programe në C ++.

pikëpamjet teorike

Moduli kryesor i programit në Movi C ++ është funksioni.

funksionin- përfundimet logjike, rendi i këndimit të dizajnit është një fragment i programeve, scho maє im'ya. Funksionet lejojnë shpërndarjen e një numri të madh llogarish për numra të mëdhenj.

Një program skin në mov C ++ është i detyruar të hakmerret për funksionin nga kryesori (koka), i cili është i vetmi program. Për të gjitha funksionet, siç është era e keqe e të qenit i pranishëm në program, duke ndjekur prototipet e zhveshura - regjistrime skematike që i tregojnë kompajlerit formën e funksionit të lëkurës në program.

Sintaksa për një funksion prototip me parametra është:

tip_e_returned_vlera_emri_funksioni (lista_e_parametrave_me_llojet e_indikuara);

Funksionet në C ++ janë standarde (bibliotech) dhe të programuara nga programuesi.

funksionet standarde

Përshkrimet e funksioneve standarde gjenden në skedarë, të cilët përfshihen në programin prapa direktivës shtesë #include. Këta skedarë quhen headers; erë e keqe mund të zgjerohet h.

Përfundimi i funksionit në programin kryesor quhet funksioni wiklik.

Viklik funksionon për të prodhuar deri në vikonancën e deyakykh diy, ose llogaritjen e madhësisë së deyakoi, e cila është fitimtare në program.

y = mëkat (x); // funksioni i llogaritjes së sinusit

përcaktimi i funksionit

Në viglyad-in me pamje të jashtme, funksioni fillon me një gradë fyese:

type_return_value_name_function_ (lloj_emri_parametri, ..., tip_name_parameter)

funksioni_trupit

funksionet e programuara

Funksionet, si programuesi, do të hapen vetë, për të falur procesin e shkrimit të programit, disa aroma:

shto uniken e programeve të përsëritura, në mënyrë që i njëjti funksion të ruhet në programe të reja;

për të avancuar nivelin e modularitetit të programeve, nga e njëjta, për të shtruar e lexuar, për të futur ndryshime dhe korrigjime të faljeve.

prapanicë9 .1. Funksion i thjeshtë, si 65 simbole "*" me radhë. Funksioni shfaqet në një kontekst deyakom, ai përfshihet në programin e një forme tjetër. Programi ruhet nga fyese: kryesore () і yje ().

// Forma

#përfshi

const int Limit = 65;

yje të pavlefshëm (void); // prototipi i funksionit të yjeve ().

cout<<"Moscow Institute of Electronic Engineering"<

// Vlera e yjeve të funksionit ()

për (numërim = 1; numërim<=Limit; count++)

Ne hodhëm një vështrim në prapanicën e funksionit më të thjeshtë, por nuk ka asnjë argument dhe asnjë kuptim.

parametrat e funksioneve

Është e lehtë të shihen në aplikacion parametrat e parametrizimit të funksionit.

prapanicë9. 2. Mund të shkruajmë funksionin space (), si një argument se do të ketë një numër glades, është fajtor për mbidorëzimin e funksionit.

#define adresën "Zelenograd"

#përcaktoni emrin "Instituti i Moskës për Inxhinierinë Elektronike"

#define departamentin "Informatikë dhe Programim"

const int LIMIT = 65;

#përfshi

hapësirë ​​e zbrazët (numri int);

cout<

hapësira = (LIMIT - strlen (emri)) / 2; // Llogarit, skіlki

// nevoja për pastrim

cout<

hapësirë ​​((LIMIT - strlen (departament)) / 2); // argument - viraz

cout<

// Vlera e yjeve të funksionit ()

për (numërim = 1; numërim<=LIMIT; count++)

// Hapësira e funksionit të vlerës ()

hapësirë ​​e zbrazët (numri int)

për (numërim = 1; numërim<=number; count++)

Numri i vogël quhet argument formal. Tsia zminna nabuvaє kuptimi i argumentit faktik në funksionin vicon. Me fjale te tjera, argument formal- ndryshimi në shenjën e programit, si të klikoni, dhe argument faktik- një kuptim specifik, i caktuar për tsієї zminnoї wiklica nga programi.

Meqenëse kërkohet më shumë se një argument për lidhjen me një funksion, atëherë renditja e funksioneve mund t'i jepet një listë argumentesh, të ndara me koma:

numër i vlefshëm i printimit (int i, int j)

(cout<<"Координаты точек”<< i << j <

Vlera e funksionit mund të rregullohet sipas manifestimit argument; Vlera e hyrjes duhet të rrotullohet për kthimin e fjalës kyçe shtesë.

Artikulli i tretë në ciklin “Teoria e kategorive për programet”.

Kush ka nevojë për një tipi?

Në industrinë e sportit, nuk është një vit i keq për kalimin e një tipi statik kundrejt një tipi dinamik dhe të fortë ndaj një të dobëti. Më lejoni të bëj disa shkrime vibruese për eksperimente të qarta shtesë. Shihni nëse keni një MAVP me tastierë, të cilat janë duke shtypur rrënjësisht tastet, duke shkruar, përpiluar dhe nisur programet.

Me gjuhën e makinës, nëse kombinimi i bajteve shkelet nga hartat, ai do të pranohet dhe lëshohet. Ale në lëvizjet e larta, vlerësohen shumë ata që janë përpiluesit e fjalorit të integruar dhe hiret gramatikore. Programet Bagato do të jenë thjesht të mrekullueshme, dhe mavi do të humbasë pa banane, por më pas do të ketë më shumë shanse që nënat të jenë më të kuptueshme. Konvertimi i llojeve do të sigurojë një shirit më shumë programesh anti-verbër. Përveç kësaj, në atë orë, në lëvizjet dinamike të standardizuara të llojeve jokonsistente, për momentin nuk do të ketë ndryshime, në të standardizuara rreptësisht statikisht, nuk ka mundësi që programet të përpilohen për to.

Otzhe, të ushqyerit në atë që do, çfarë ngacmuesi mawpi është i lumtur, apo cilat janë programet e duhura?
(Shënim. Transferimi: mos u ktheni, autorit thjesht i pëlqejnë metaforat e lodhshme të burrave, jo RNG dhe "bypadkovy fundit bytes", dhe nuk i quan programe harta).

Emërtoni eksperimentin meta-eksplicit me harta të dobishme - rrënja e rikrijimit të Shekspirit (Përafërsisht Transferimi: Chi Viyna dhe Bota e Tolstoit)... Rishikimi i drejtshkrimit dhe gramatikës në cikël për të përmirësuar shpejt shanset e suksesit. Një analog i përmbysjes së llojeve në të ardhmen: për shkak të faktit se Romeo është lakuriq nga njerëzit, përmbysja e llojeve do të ndryshojë, në mënyrë që të mos rriten gjethe mbi to dhe se ata nuk duhet të kapin fotone me fushën e tyre gravitacionale sforcuese. .

Llojet e kërkuara për paraqitjet

Teoria e kategorive të përbërjes vivchaє të shigjetave. Nëse nuk ka dy gjuajtës, ato mund të organizohen: objekti kryesor i një gjuajtësi është fajtor për marrjen përsipër të ofensivës. Programi transmeton rezultatet nga një funksion në inshu. Programi nuk do të jetë i suksesshëm, pasi funksionet e tjera nuk mund të interpretohen saktë si të dhëna, të refuzohen si ndihmë. Funksionet e ofenduara të fajit shkojnë një me një, kështu që përbërja ka ecur rëndë. Sa më i fuqishëm të jetë sistemi i llojeve të lëvizjeve, aq më e bukur mund të përshkruhet qasja dhe të rikonvertohet automatikisht.

Një argument serioz, të cilin e ndiej kundër tipizimeve statike suvorov: ju mund të shihni programe deyaky, të cilat semantikisht janë virni. Në praktikë, është e lehtë të shkosh në skaj (Shënim. Tranzicioni: Unë kam shumë respekt për një srach të vidhos, por këtu autori nuk është vrahuvav, ose nuk është i përshtatshëm, por shumë stile, dhe një programues në skenarin lëviz duke shtypur rosë mund të ketë gjithashtu e drejta për jetë. Sistemi Suvor_y i llojeve përmes shablloneve, tipareve, klasave të tipit, ndërfaqeve, shumë teknologjisë, kështu që mendimi i autorit nuk mund të jetë rreptësisht i pasaktë.) dhe, në çdo mënyrë, është e dobët të hakmerresh ndaj patës së zezë, të anashkalosh sistemin e llojeve, nëse është vërtet e nevojshme. Lundrimi në Haskell nuk është i sigurt. Ale ndërtime të tilla janë fajtorë për vikoristovovatsya arsyeshme. Personazhi i Franz Kafkës, Gregor Samsa, do të shkatërrojë sistemin e llojeve, nëse kthehet në një brumbulli gjigant, dhe si rrjedhim dihet gjithçka. (Shënim. Transferimi: mut :).

Argumenti i dytë, të cilin e ndjej shpesh, është se tipizimi i imponimit nga Suvor është i tepërt për programuesin. Unë mund t'i përgjigjem një sërë problemesh, pasi unë vetë kam shkruar një sërë deklaratash iteratorësh në C ++, vetëm nga teknologjia, tipat visnovok, pasi i lejon kompajlerit të sjellë më shumë lloje në kontekst, në një lloj erë të keqe. Në C ++, ju mund të zhveshni automatikisht dhe përpiluesi do të shkruajë për ju.

Në Haskell, me një skicë vipadk amtare, shënimet për të shtypur є janë opsionale. Programet, si rregull, janë të gjitha një dhe e njëjta, kështu që mund të ketë shumë informacione në lidhje me semantikën e kodit, dhe llojet memecë shtojnë të kuptuarit e përpilimit. Një praktikë e zakonshme në Haskell është riparimi i një projekti me një tipografi. Piznishe, llojet abstrakte є baza për zbatimin është se komentet janë të garantuara nga përpiluesi.

Shtypja statike e Suvora shpesh përdoret si rezultat për të çtestuar kodin. Në disa raste, mund të mendoni, siç duket të jetë programi Haskell: "Sapo të merret kodi, ai është i saktë". Natyrisht, nuk ka asnjë garanci që programi është i saktë nga pikëpamja e llojeve, i saktë në kuptimin e rezultatit të saktë. Si rezultat i një vendosjeje të tillë në radhët e dozimit Haskell, pa u bërë shumë prioritet për kodin e mirë, pasi mund të jetë ochikuvati. Për t'u ndërtuar, në mendjet komerciale ka nevojë për zhvillimin e gabimeve që janë mjaft të thjeshta për nivelin e cilësisë së këndimit, por kryesisht lidhet me ekonominë e rozetës së sigurisë së softuerit dhe tolerancës së të rinjve kafe- sy i dobët Ne zvogëlojmë kriterin e bulo bimіyaty, projektet bіlіk іvіdsta vіd graphіka ose të pajisura me një funksionalitet të reduktuar shumë.

Tani, është e vështirë të jesh i sigurt se testimi modular mund të zëvendësojë shtypjen e rreptë. Unë do të kuptoj praktikën e rifaktorimit në lëvizje të shtypura rreptësisht: ndryshimi i llojit të argumentit në çdo funksion. Lëvizjet e shtypura fort duhet të arrijnë një ndryshim në deklaratën e funksionit qendror dhe më pas të korrigjojnë të gjitha faljet e koleksionit. Në lëvizjet e tipizuara dobët, fakti që funksioni në ditët e sotme nuk mund të lidhet anash.

Testimi modular mund të jetë i keq për shkak të mospërputhjeve, por testimi praktikisht varet nga procesi (Shënim. Transferimi: është e mundur, duke hedhur shumë prova: nëse nuk mund t'i futni të gjithë, unë them se jam një vibrim përfaqësues.) Testuvannya - zëvendësuesi i ndyrë do të provojë korrektësinë.

Cilat janë parametrat?

Është e lehtë të përshkruash llojet: erë e keqe është një kuptim i pakuptimtë. Lloji Bool (mos harroni, llojet specifike dhe riparimet nga librat e mëdhenj në Haskell) shfaqet pa dy elementë: E vërtetë dhe e rreme. Lloji Char - pa të gjitha karakteret Unicode, për shembull "a" ose "ą".

Pa të, ato mund të jenë kintsevim ose jo të pafundme. Lloji String, i cili, në thelb, është sinonim i listës Char, është një prapanicë e pafund.

Nëse ne në dukje x, jak numër i plotë:
x :: Numër i plotë
Themi se ekziston një element i tërë pa numra. Numri i plotë në Haskell është pa mekanizëm, dhe ndoshta vetëm për aritmetikë, jini të saktë. Є і кінцеве palіch Int, si një lloj makinerie, si int në C ++.

Є Deyakі janë të hollë, për të reduktuar përshtatjen e llojeve me shumë të palosshme. Є probleme me funksionet polimorfike, si vlerat ciklike, dhe gjithashtu sepse nuk mund të bëhesh pa të gjithë numrat; Ale, siç jam, nuk do të jem një matematikan suvorian. Theksojmë ata që janë në kategorinë e shumësit, që quhen Set dhe do të punojmë me të.
Në grup, objektet janë një grup i shumë, dhe morfizmi (shigjetat) janë funksione.

Set është një kategori e veçantë, kështu që ne mund të zernuyut në mes të të gjithë kompleksit dhe gjithashtu me një inteligjencë të pasur intuitive. Për shembull, ne e dimë se shumë sende boshe nuk janë të vogla. Ne e dimë se ka veçori të veçanta pa një element të vetëm. Ne e dimë se funksioni është të përfaqësojë elementet e njërit pa asnjë efekt në elementin e tjetrit. Era mund të shndërrojë dy elementë në një, por jo një element në dy. Ne e dimë se i njëjti funksion është të përfaqësojë elementin e lëkurës së shumë në vetvete, dhe deri më tani. Kam në plan të harroj hap pas hapi të gjithë informacionin dhe të zëvendësoj të gjithë dukshmërinë e të gjithë kuptimit në një formë thjesht kategorike, në mënyrë që për sa i përket objekteve dhe shigjetave.

Në botën ideale, ata thjesht mund të thonë, por llojet në Haskell janë pa fjalë, dhe funksionet në Haskell janë funksione matematikore midis tyre. Ekziston vetëm një problem i vogël: funksioni matematikor nuk është një kod tërheqës vizualisht - ju dini vetëm për të. Funksionet në Haskell janë fajtorë për numërimin. Nuk është problem, pasi mund të ketë disa gabime për numrin e crocs, pasi nuk ishte i mirë. Të gjitha veprimet e llogaritjes, të cilat përfshijnë rekursionin, dhe mund të mos kryhen. Ne nuk mund ta rrethojmë vetëm funksionin e papërfunduar në Haskell, në mënyrë që, kur të zhvillohet, funksioni të përfundojë, që është problemi i famshëm i zupinka - është i palidhur. Boshti i asaj që shkuan shkencëtarët e kompjuterave vcheny ishte një ide gjeniale, ose një hak i fortë, në praninë e këndvështrimit tuaj, - për të zgjeruar llojin e lëkurës në kuptime të veçanta, të quajtur fund (Shënim. Transferimi: tsei termin (poshtë) ndjehu si një rus i keq, nëse di një opsion të mirë, bëhu nuselalë, përkrahu.), Yake njihet si _ | _ gjithsesi në Unicode ⊥. "Kuptimi" tse i atribuohet llogaritjes së papërfunduar. Pra, funksioni, jak lakuriq:
f :: Bool -> Bool
Ju mund ta ktheni të vërtetë, të rreme, ose _ | _; Mbetet të thotë se funksioni i nicoli nuk është përfunduar.

Tsikavo, scho, pasi vetëm ju pranoni pjesën e poshtme në sistemin e llojeve, shikoni vizualisht lëkurën për një orë për pjesën e poshtme dhe lejoni që funksioni të kthejë në mënyrë eksplicite pjesën e poshtme. Ndaloni, si rregull, shkoni për ndihmën e virazit të papërcaktuar:
f :: Bool -> Bool f x = e papërcaktuar
Çmimi i kalimit të konvertimit të llojeve është se i papërcaktuari llogaritet në fund, pasi përfshihet në mustaqe, duke përfshirë edhe Bool. Ju mund të shkruani në:
f :: Bool -> Bool f = i papërcaktuar
(Pa x) i njëjti anëtar i poshtëm është i tipit Bool -> Bool.

Funksionet që mund të rrotullohen në fund quhen ato të pjesshme, në bazë të funksioneve specifike, të cilat rrotullojnë rezultatet e sakta për të gjitha argumentet e mundshme.

Në fund, kategoria e llojeve dhe funksioneve Haskell quhet Hask, jo Set. Nga pikëpamja teorike, përshpejtimet pafund nuk kishin fund, ndaj në këtë skenë do të jem fitimtar poshtë kasapit dhe do të kompletoj botën. Nga një këndvështrim pragmatik, është e mundur të shpërfillet funksioni i papërfunduar dhe pjesa e poshtme dhe të korrigjohet Hasku si grupi.

Po kërkoni një model matematikor?

Si programues, ju e dini mirë sintaksën dhe gramatikën e programit. Aspektet Tsi të movi, si rregull, përshkruhen zyrtarisht në vetë veshin e specifikave të movi. Ale sens dhe semantika e Movi Nabagato është më e rëndësishme se sa përshkrimi; nëse përshkrimi i kredisë në një shkallë më të gjerë, është e vështirë për ta përfunduar atë zyrtarisht, dhe jo më shpesh sesa jo. Nuk mjafton t'i jepet fund diskutimit të avokatëve të mesëm, dhe të gjithë industrisë artizanale të librave, të caktuara për shijet e zeza të standardeve moderne.

Є Formalisht, për të përshkruar semantikën e lëvizjes, dhe përmes palosjeve të erë të keqe në vikoristoyuyutsya kryesore për lëvizjen e falur, akademike, dhe jo gjigantët e vërtetë të programit industrial. Një nga këto mjete quhet semantika operacionale dhe përshkruan mekanikën e ekzekutimit të programeve. Fitues i formalizimit, idealizimit, përkthyes. Semantika e gjuhës industriale, si C ++, si rregull, mund të përshkruhet pas shtimit të mirkuvannya joformale, shpesh në termat e "makinerisë abstrakte".

Problemi është se është edhe më e rëndësishme të sillni semantikën në sistemin operativ në lidhje me programet. Për të treguar se si është fuqia e programit, në bazë të arsyes, fajësoni "drejtoni atë" përmes idealeve të interpretuesit.

Nuk është e rëndësishme që programet e Nicolit të mos sjellin zyrtarisht korrektësinë. Fillojmë me një "mendim" që e shkruajmë me programet e duhura. Nuk ia vlen të ulesh në tastierë, duket: "Oh, thjesht do të shkruaj një rresht rreshtash në kod dhe do të habitem ta shoh". (Shënim. Transferimi: ah, yakbi ...) Mi vvazhaumo, scho kodi, i cili është shkruar, do të jetë viconuvati pevnі dії, yakі zroblyat bazhanі rezultatet. Mi, si rregull, është edhe më mirë, por nuk është kështu. Tse do të thotë që ne po mendojmë për programe që shkruhen, si rregull, ato janë të forta, na drejtojnë një përkthyes në kokën tonë. Thjesht, është edhe më e rëndësishme të vazhdoni me të gjithë dimrin. Kompjuterët janë të zbukuruar për programet vikonannya, njerëz - ni! Yakbi mi buli, ne nuk dimë kompjuter.

Ale є і alternative. Quhet semantikë denotative dhe bazohet në matematikë. Semantika denotative për ndërtimin dermal ka një interpretim matematikor. Në një gradë të tillë, nëse doni të sillni fuqinë e programeve, thjesht përfundoni teoremën matematikore. Ju mendoni se sjellja e teoremave është e rëndësishme, nëse jo e vërtetë, njerëzit do të përdorin metodat matematikore të një mijë raketash, kështu që është e pavlefshme njohuria e grumbulluar, pasi është e mundur të jesh fitimtar. Për më tepër, për sa i përket teoremave, si për të sjellë matematikë profesionale, punë, me disa fjalë në program, si rregull, është e lehtë për t'u përfunduar, pasi nuk është e parëndësishme. (Shënim. Transferimi: për të vërtetuar, autori nuk humbet në imazhin e programeve.)

Vizualizimi i funksionit të faktorit në Haskell, është e lehtë të pranohet semantika denotative:
fakti n = produkt
Viraz është një listë e tërë numrash nga 1 në n. Funksioni i produktit do të zgjerojë të gjithë artikujt në listë. Në mënyrë të ngjashme, si një faktor, merrni atë nga mbajtësi. Rregulloni çmimin për C:
int fakt (int n) (int i; int rezultat = 1; për (i = 2; i<= n; ++i) result *= i; return result; }
Keni nevojë për ushqim? (Shënim. Transferimi: autori ishte pak dinak, duke marrë funksionin e bibliotekës në Haskell.:
fakt 0 = 1 fakt n = n * fakt (n - 1)
Mirë, unë menjëherë viznayu, kështu që tse do të jetë një çmim të lirë! Faktoriali është më i dukshëm se vlera matematikore. Një lexues depërtues mund të ushqejë: Yaka, a ka një model matematikor për leximin e një karakteri nga tastiera, apo përditësimin e një pakete si të zbukuruar? Dovgy orë tse buv bi ushqim jo të dobishëm, kështu që ne thjesht humbasim duke u humbur në shpjegime. Në të kaluarën, semantika denotative nuk përshtatet për një numër të konsiderueshëm projektesh të rëndësishme, të cilat janë të nevojshme për të shkruar disa programe dhe që mund të përkthehen lehtësisht në semantikë operacionale. Vrima është bërë nga teoria e kategorive. Eugen Modzhі viyaviv, se numri i efekteve mund të shndërrohet në një monadë. Ai jo vetëm që i dha një jetë të re semantikës denotacionale, por prishi programet thjesht funksionale me më shumë ndihmë, por dha informacione të reja për programin tradicional. Do të flas më shumë për monadat, pasi ka më shumë kategori të shkatërrueshme sesa mjete.

Një nga mënyrat më të rëndësishme për të kuptuar modelin matematikor për softuerin është aftësia për të vërtetuar zyrtarisht korrektësinë e sigurisë së softuerit. Mund të mos jetë aq e rëndësishme nëse po shkruani një softuer të rehatshëm, por zona e programit mund të jetë e shkëlqyeshme, sepse atje jeta e njeriut do të pushtohet nga një kërcënim. Nëse keni nevojë për ndihmë për të shkruar suplemente të bazuara në ueb për sistemin tuaj të mbrojtjes shëndetësore, mund të vlerësoni idenë se funksionet dhe algoritmet nga biblioteka standarde e Filmave dhe Haskell janë përfshirë në grup me provat e korrektësisë.

Funksionet Clean dhe Brudny

Ato që quhen funksione në C ++, ose qoftë imperativ, nuk janë të njëjta me atë që matematikanët i quajnë funksione. Funksioni matematik është thjesht shndërrimi i një vlere në një vlerë.

Ne mund të zbatojmë një funksion matematikor në programin e ri: një funksion i tillë, mund të jetë vlera hyrëse nuk do të diskutohet. Funksioni për refuzimin e katrorit të një numri, në fakt, jep vlerën hyrëse në vetvete. Do të jeni të fortë me një fitil lëkure dhe është e garantuar që të prodhoni të njëjtin rezultat të lëkurës një herë, nëse zgjoheni me të njëjtin argument. Katrori i numrit nuk ndryshon me fazat e Misyatsya.

Përveç kësaj, llogaritja e katrorit të numrit është e pafajshme për efektin anësor të nënës, duket si një gjë e vogël e shijshme e qenit tuaj. "Funksionet", si për çmimin, nuk mund të modelohen lehtësisht nga funksionet matematikore.

Në rastin e funksioneve të programimit, ato pritet të japin të njëjtin rezultat bazuar në të njëjtat argumente dhe të mos fshehin efekte anësore, ato quhen të pastra. Në gjuhën e pastër funksionale, në Haskell, të gjitha funksionet janë të pastra. Menaxherët janë më të thjeshtë për të theksuar semantikën denotative të cich mov dhe modelin për teorinë shtesë të kategorive. Sapo të ketë disa prej tyre, atëherë sigurisht që mund të pastrojmë veten me shumë para, ose përndryshe për efektet anësore të mjedisit. Piznishe mi pobachimo, pasi monadat lejojnë modelimin e të gjitha llojeve të efekteve, vicorist dhe vetëm funksionet e pastra. Në çantë asgjë nuk humbet, e rrethuar nga funksione matematikore.

këshilla të prapanicës

Yak tilki vi virishite, scho tipi - tse shumë, ju mund të mendoni për gjëra për të përfunduar prapanicën ekzotike. Për shembull, çfarë lloj përgjigjeje ka për një përgjigje boshe? Jo i pavlefshëm në C ++, por lloji do të quhej Void në Haskell. Lloji Tse, i cili nuk të kujton të njëjtat vlera. Ju mund, për shkak të funksionit, pasi pranoni Void, nuk mund të pranoni Void. Shchob її viclikati, ju ndodh të merrni vlerën e tipit Void, dhe thjesht nuk ka yogo atje. Epo, është një çështje e vërtetë që funksioni mund të rrotullohet - jo vetëm ndonjë prej tyre. Mund të dalësh si një lloj tipi (nëse nuk dëshiron të bëhesh i hidhur, nuk mund të marrësh një Wiclican). Me fjalë të tjera, funksioni është polimorfik në lloj. Haskelery u quajt її:
absurde :: E pavlefshme -> a
(Shënim. Transferimi: në C ++, ky funksion nuk është i rëndësishëm: në C ++, lloji i lëkurës є dëshiron vetëm një vlerë.)

(Pam'yataєte, scho a është një tip i mirë, pasi mund të jesh tip.) Nuk është vipadkovo. Ekziston një interpretim i madh i llojeve dhe funksioneve nga pikëpamja e logjikës nën emrin e izomorfizmit të Carri-Houard. Lloji Void përfaqëson të pavërtetën, dhe funksioni absurd është qëndrueshmëria, si në frazën latine "ex falso sequitur quodlibet". (Shënim. Transferimi: nga letargji është shumë mirë.)

Lloji i largët, tip me një element, pa asnjë lloj. I gjithë lloji, i cili është i vogël, vetëm një mund të thotë. Kuptimi është thjesht "є". Ne nuk mund t'i shihnim të gjitha menjëherë, por të pavlefshme në C ++. Mendoni për funksionin e llojit. Funksioni void është opsional. Për sa kohë që funksioni është i pastër, do të duhet të përsërisni një dhe të njëjtin rezultat. Prapa boshti i funksioneve të tilla:
int f44 () (kthimi 44;)
Ju mund të mendoni për funksionin e pranimit të "asgjë", ale, sikur është thjesht bachili, funksioni, që është marrja e "asgjë" nuk mund të jetë një viklikan, sepse nuk ka asnjë kuptim, që është një lloj "asgjë". Otzhe, mirë tsya funksion pranoni? Konceptualisht, po merr një kuptim efektiv, për të cilin vetëm një kopje, kështu që padyshim që nuk mund të vkazuvat në kod. Haskell, megjithatë, ka një simbol є për kuptimin e tij: një palë harqe bosh (). Në një renditje të tillë, përmes një zbigu qesharak (apo jo zbigi?), funksionet e Viklik nga një shikues i zbrazët janë të njëjta në C ++ dhe në Haskell. Për më tepër, përmes dashurisë së Haskell-it ndaj lakonizmit, i njëjti simbol () përdoret për një tip, një konstruktor dhe një kuptim të vetëm, i cili është një element pa asnjë kuptim. Boshti q i funksionit në Haskell:
f44 :: () -> Numri i plotë f44 () = 44
Unë do të heq rreshtin e parë, por f44 do të konvertojë llojin (), emrat "one", në llojin Integer. Një rresht tjetër emërtimi, por f44, për përputhjen shtesë të bazës, unë do ta rishkruaj konstruktorin e vetëm për një, dhe veten () në numrin 44. Përdorni funksionin, vlera nadayuchi ():
f44 ()
Respekti i kafshëve që funksioni i lëkurës si një njësi e vetme është e barabartë me zgjedhjen e një elementi të të gjithë llojit (këtu, zgjidhni Integer 44). Në fakt, ju mund të mendoni për f44, si numrin e dhënë 44. Por gjithashtu, pasi ne mund të zëvendësojmë supozimin e drejtpërdrejtë të elementeve pa funksion (shigjeta). Funksionet nga një në një tip A do të gjenden në pika reciprokisht të paqarta nga elementë pa A.

Po në lidhje me funksionin, si të kthehet i pavlefshëm, si për, në Haskell, si të kthehet një? Në C ++, funksione të tilla janë të dobishme për efekte anësore, megjithëse e di, por funksione të tilla nuk janë të drejta, në kuptimin matematikor të fjalës. Funksioni i pastër, pasi bëhet fjalë për një, nuk ka asgjë për të prishur: ka një argument të qartë.

Matematikisht, funksioni i një shumëfishimi A në një element të vetëm pa lich përfaqëson një element lëkure në një element të vetëm të një shumësie. Për lëkurën A є ekziston një funksion i tillë. Boshti i fituar për numrin e plotë:
fInt :: Integer -> () fInt x = ()
Mund t'i jepni një numër dhe do të mbushni një. Duke pranuar frymën e lakonizmit, Haskell lejon vikoristët të përdorin simbolin e uljes në kuptimin e një argumenti që shfaqet. Një gradë e tillë, nuk është e nevojshme të dalësh me një emër për një emër të ri. Kodi mund të rishkruhet nga viglyad:
fInt :: Integer -> () fInt _ = ()
Respekt shtazor, se shfaqja e gjithë funksionit jo vetëm që nuk gjendet në kuptimin që iu përcoll llojit të argumentit.

Funksionet që mund të vlerësohen me një formulë të njëjtë për çdo lloj quhen parametrikisht polimorfikë. Ju mund të zbatoni të gjithë familjen e funksioneve të tilla në një familje, parametri varet nga lloji specifik. Si mund të emërtoni një funksion polimorfik nga çdo lloj në një? Ne e quajmë atë njësi її:
njësi :: a -> () njësi _ = ()
C ++ u zbatua si kjo:
shabllon njësi e zbrazët (T) ()
(Shënim. Transferimi: ndihmoni përpiluesin ta optimizojë atë në noop, më bukur si kjo):
shabllon njësi e zbrazët (T &&) ()
Ekzistojnë një numër dy elementësh në "tipologjinë e llojeve". C ++ e quan bool, ndërsa Haskell e quan Bool. Arsyeja është se në C ++ bool є është një lloj i caktuar, ndërsa në Haskell mund të keni vlera si kjo:
të dhënat Bool = E vërtetë | I rremë
(Lexojeni kështu: Bool mund të jetë i vërtetë ose i gabuar.) Në thelb, mund të përshkruani një lloj i në C ++:
enum bool (e vërtetë, e rreme);
Ale C ++ e ka tejkaluar numrin në pjesën më të madhe. Është e mundur të përdoret C ++ 11 "class enum", dhe më pas të sqarohet kuptimi i klasës: bool :: true ose bool :: false, pa menduar as për nevojën për të përfshirë një kokë specifike në skedarin e lëkurës, i cili është emri i skedarit.

Funksionet e pastra nga Bool thjesht zgjedhin dy vlera nga i gjithë lloji, një, e cila do të tregojë E vërtetë dhe një - E gabuar.

Funksionet në Bool quhen kallëzues. Për shembull, biblioteka Data.Char në Haskell zbulon shumë kallëzues, për shembull IsAlpha ose isDigit. C ++ є ka një bibliotekë të ngjashme , Yaka eshte lakuriq, pervec funksioneve isalfa dhe isdigit, ale era e keqe e kthen int, dhe jo kuptimin logjik. Referoni vlerat parashikuese në і quhet ctype :: është (alfa, c) і ctype :: është (shifror, c).

Sapo jam i njëjti rozrobnik, siç jam, këndoj paradigmën OOP. Së pari, veza juaj do të jetë Java ose C ++ - ose, nëse ju kursejnë, Ruby, Python ose C # - ju e dini veçmas, që është gjithashtu klas, objekte, raste, etj. Për ata prej jush që nuk janë veçanërisht të veçantë për të, është në themelet e kësaj paradigme të mrekullueshme, e cila quhet programe funksionale, pasi nuk është vetëm nga OOP, por nga ato procedurale, të programuara të bazuara në prototipe.

Programet funksionale po bëhen të njohura - për këto arsye. Vetë paradigma nuk është e re: Haskell, mabut, є sipas funksionit tim, dhe Vinik Vin është në vitet '90. Filma të tillë, si Erlang, Scala, Clojure mund të trajtojnë gjithashtu një sërë funksionesh. Një nga sfidat kryesore të një programi funksional është aftësia për të shkruar një program që është konkurrues (siç është, ata tashmë e kanë harruar, por është për të rifreskuar kujtesën e leximeve), për më tepër, pa falje, në mënyrë që të mos jetë e nevojshme. për t'i bllokuar dhe rrjedha nuk do t'ju ndihmojë.

Programi funksional є shumë perevag, burimi maksimal i kuq i ndezur i procesorit për të ushqyer sjelljen konkurruese - ka një kokë të tërë plus. Më poshtë është parimi bazë i programimit funksional.

hyrje: I gjithë parimi nuk është i detyrueshëm (nuk ka arsye që unë ta ndjek atë). Gjithë erë e keqe teorike dhe e nevojshme për përcaktimin sa më të saktë të paradigmave funksionale.

1. Të gjitha funksionet janë të pastra

I gjithë rregulli është i çmendur - ai kryesor në programin funksional. Të gjitha funksionet janë të pastra, pasi era e keqe kënaq dy mendjet:

1. Funksioni është të mbyllni syrin nga të njëjtat argumente, në varësi të të njëjtit kuptim.
2. Para orës, funksioni nuk zbulon asnjë efekt anësor.

Së pari, rregulli është i zgjuar - nëse fitoj shumën e funksionit (2, 3), atëherë e pastroj, në mënyrë që rezultati të jetë i shtrenjtë. tse në programin funksional është i papranueshëm.

Një rregull tjetër - disa efekte anësore - është më i gjerë për natyrën e tij. Një efekt anësor është një ndryshim në zgjedhjen e një funksioni specifik, siç shfaqet në një moment të caktuar. Ndryshimi i ndryshimit të pozicionit të funksionit, bashkëngjitja në tastierë, wyklik vinyatka, leximi i të dhënave nga skedari - i gjithë truku është të shtoni efekte anësore që shtojnë funksionin e pastërtisë. Ju mund të bëni një punë serioze, ose të mendoni përsëri. Për sa kohë që funksioni nuk ndryshon asnjë "thirrje", atëherë mund të zgjidhni funksionin në çdo skenar. Kjo ka çuar në një program konkurrues dhe një fluks të lartë informacioni shtesë.

2. Të gjitha funksionet janë të klasit dhe rendit të parë

Koncepti qia nuk është një tipar i veçantë i FP-së (nuk do të jetë fitimtar në Javascript, PHP dhe інshimi movs) - vetëm pak vimog. Në fakt, në Vіkіpedіy i gjithë statuti u caktohet funksioneve të klasës së parë. Që funksioni të jetë pershockal, ajo është fajtore që është lakuriq në pamjen e të ligut. Kjo ju lejon të kontrolloni funksionin e një lloji shumë të veçantë të haraçit dhe në të njëjtën orë visonuvati.

3. Paç fat

Gjithçka është e thjeshtë këtu. Ju nuk mund të ndryshoni programin funksional për një program funksional. Mund ta ndryshosh përsëri, por nuk mund ta ndryshosh, por nuk mund ta ndryshosh, por nuk mund ta ndryshosh.

4. Funksionalitet i pakrahasueshëm

E palosshme për të dhënë një vlerë të saktë të largpamësisë së dhënë. Për ata që e gjejnë, unë përdor si vijon: nëse mund të zëvendësoni funksionin wiklik për kuptimin, dhe nëse nuk e ndryshoni, atëherë funksioni është i dukshëm. Tse, ju mundeni, padyshim, por unë do të sjell prapanicën.

Ejani këtu є Java-funksion, si një depo 3 dhe 5:

Int publike addNumbers () (kthim 3 + 5;) addNumbers () // 8 8 // 8

Natyrisht, nëse ndonjë wikklik i të gjithë funksionit mund të zëvendësohet me 8 - kjo do të thotë që funksioni është qartë i dukshëm. Boshti i prapanicës është funksion i errët:

Publik void printText () (System.out.println ("Hello World");) printText () // Nuk kthen asgjë, por printon "Hello World"

I gjithë funksioni i asgjësë nuk është i kundërt, por një tekst tjetër, dhe kur funksioni zëvendësohet nga një konsolë, kjo do të thotë se funksioni nuk është një ide e mirë.

5. Programimi funksional i bazuar në numrat lambda

Programi funksional spirale fort në një sistem matematikor të quajtur llogaritja lambda. Unë nuk jam matematikan, kështu që nuk do të humbas në detaje - por dua të shtrembëroj respektin tim për dy çelësa, parimin e numrit lambda, i cili është të formojë vetë kuptimin e programit funksional:

1. Në lambda-numerike të gjitha funksionet mund të jenë anonime, por vetëm një pjesë e kokës së funksionit është një listë e argumenteve.
2. Nëse jeni në telefon, të gjitha funksionet kalojnë në procesin e mbajtjes. Fito poliagën në ofensivë: sapo të fitoj funksionin e decilkomit me argumente, atëherë do të marr argumentin e parë dhe do ta kthej funksionin e ri, si të hakmerrem me 1 argument më pak, sikur do të jem pafajësisht i lig. I gjithë procesi është rekursiv dhe triumfues deri në heshtje, derisa të gjitha argumentet të mbërthehen, duke e kthyer rezultatin përfundimtar. Oskilki funktsii є pastër, tse pratsyuє.

Siç kam thënë tashmë, numri i lambda nuk do të përfundojë fare - ata shikuan aspektet kryesore, të lidhura me FP. Tani, në kontekstin e programit funksional, mund të pulsoni fjalën "lambda-number" dhe të mendoni për gjithçka, ju hutoni 🙂

visnovok

Programi funksional po e shtyn seriozisht muzikën - është thjesht një pidhid i lodhshëm, dhe unë do ta bëj, në mënyrë që popullariteti vetëm të rritet.

Nëse dëshironi të dini më shumë rreth softuerit funksional, atëherë duhet të njiheni me bazat e parimeve FP në JavaScript (,), si dhe të caktoni C # funksionale.

Pra, mirë, kështu "Funksioni i programit" ?

Çmimi është më i miri, funksioni chilna në strukturën e psikikës sonë. Ka një lloj “organi legjislativ” për “departamentin” tonë, një “drejtor” i tërë.

Informacioni se si të përdorim funksionin e softuerit është veçanërisht i rëndësishëm për ne. Nuk do të mësohemi me lehtësi, pa asnjë presion dhe praktikisht pa mbeturina. E gjithë jeta jonë është e mbushur me informacione nga ky aspekt dhe nuk mund të kapërcehet prej tij;

Informacioni, i cili mund të merret nga aspekti programor, për ne rrallë shihet si thelbësisht i ri: të gjithë e dinë prej kohësh, se treja është më e bukur se një bagatok. Ne e shohim kështu, pasi ata kanë lindur me shumë njohuri. Shvidshe, ne fisnikëria tsikavishe, me e bukur se te tjerat .І, zzumіlo, zavzhd se ftohtë, nëse ne cicëroj janë inhі.

Funksioni i programit - tse:

- "Funkts_ya pasazhe të mësuara",

- "Funksionet e profesionalizmit të lindur",

- “Funksioni i vlerave kryesore, ndërtesat dhe synimet kryesore”.

Dhe është shumë e rëndësishme që njerëzit të hyjnë në "programet" e tyre, duke mos folur as për ata që e rregullojnë atë në kahun e kundërt (çka është që na urrejnë të mendojmë për çmenduri psikologjike).

Funksioni i softuerit është i rëndësishëm dhe jo shkatërrues. I gjithë kuptimi i veprimtarisë sonë intelektuale është në vetvete. Prandaj e kemi pyetur veten se cila është këputja e fundit, larg vendit ku kanë hyrë, sido që të jetë. Oskilki, pasi kanë hyrë në programet e tyre, janë gjithashtu të vetëdijshëm se janë të rrënjosur thellë dhe të vetëdijshëm.

Funksioni i programit është pika e fillimit ndërmjet veprimeve të lejuara.

-Shume mire, - duke futur Chitach, - ale yaksho є në psikikën tonë "Funksionet e qëllimeve dhe ndërtesave" Kjo është fajtor për plaçkën dhe si funksioni është deri tani?

Një funksion i tillë është efikas є, і nga "software" nuk do të jetë i sigurt të flasë, dhe se në "Model" A "është e djathta prej saj, në pozicionin e dytë të rreshtit. E TIJ (T. E. Zaymak një kabinet tjetër i sipërm). Funksioni Qia thirrur "Krijues" , abo "Funksioni krijues" .

Funksioni krijues dhe aspekti krijues.

Emri Inodi її shche "Zbatimi funksional" , abo "Funksioni instrumental" , oskilki fitoi є yak bi "instrument" i funksionit të programit, "organ vikonavchy", i rëndësishëm për t'u derdhur në qendër.

Sapo të jenë funksionet e softuerit analitike, parimore, jo poroze dhe ajo inertna , Pastaj funksioni krijues i bezdisje, manovrim, verë , Oskilki vetëm ekip dhe studim, si të zhvillohen format, metodat dhe metodat e zbatimit të ndërmarrjeve dhe qëllimeve "program".

Dhe tani mendoj klasifikimin tonë të parë - " ndijor -etike","ti -logjike"І etj. Pra mi bachimo?

Bachimo ato karrierës funksioni krijues është injektuar në cilësinë e aspektit të softuerit, duke qenë karakteristikë jak bi yakisnoy yogo.

Rangu i Yakim? - Vona "doruchak" funksionin e programit "vidstezhuvati" të njëjtin informacion, i cili mund të zbatohet vetëm brenda aspektit të funksionit krijues (Funksioni krijues Oskilki gjithashtu ka aspektin e vet të fuqisë dhe unë do të jap "programin" tim për aspektin shtesë).

- A është e mundur të shfaqet në një prapanicë jaky? - tsіkavitsya Chitach.

- Zbatuar bezlich! Duhet pranuar që në cilësinë e programeve kemi një aspekt të tillë si "Etika introverte" - ("etika vidnosin"), Meta e yakogo - për t'u marrë vesh me njerëzit në pezullime, për të koriguvati moralin e komunitetit dhe për moralin nasadzhuvati. Ale morali në pezullim mund të nasadzhuvati me mënyra të vogla: në një vipadin lyudin tundin metodat e injektimit të fuqisë - sobë me vajguri, gardhe, të rrethuara, të ndëshkuara, d.m.th. "Sensorikë Volovy (ekstroverte)".I cym metodë shvidshe që çdo gjë të shpejtohet shqisoreetik, më saktë - introvert etiko-shqisor(Ky program është introvert!) Intuitive... Këtu, njerëzve u jepet mundësia të veprojnë në mënyrë hap pas hapi dhe e fundit dhe më e rëndësishmja. Në një shumë të vipadku në të reja injektuar me metodën e demonstrimit të bashkëngjitjeve pozitive: "bëjeni këtë, ndërsa vozitni, dhe gjithçka do të jetë mirë për ju." Në përgjithësi programi etik zbatohet edhe nga aspekti "Intuitë ekstraverte" - "Intuitë e mundësive".Kjo metodë është më e mira Intuitiveetik -introvert etiko-intuitiv.

- Epo, pse ka një ndryshim në programin etik, në të cilin të shtohen disa metoda të realizimit? Pse një etikë shqisore nuk mund të jetë në gjendje të përdorë të njëjtat metoda si një etikë intuitive dhe një navpak?

- Përveç kësaj, në bazë të shpërndarjes së vlerave, ekzistojnë karakteristika kryesisht të ndryshme të llojeve. Introvert etiko-intuitiv - depërtues, i durueshëm, optimist vitrimanium, jumu mund të shihet më bukur tendencat pozitive në karakterin e njerëzve, është mbi ta që është faji dhe spirale në mënyrën e vet. depërtimi introvert etiko-shqisor drejtohet mbi ata që enden tendencat negative, Scho vimagayut negativny vikornennya Epo, ju mund të tregoni për etika shqisore? Ajo është një kujdestare, një pesimiste mosbesuese, që kujdeset për metodat më të bukura vikoristovuvati efektive të primus injektuar, nіzh rozrahovuvati mbi ata që janë lyudin të përdridhet vetë.

-Pse mendon keshtu?

- Për atë që është fati ynë i mirë є vazhdimi i jetëshkurtër tonë, і navpaki. Pra, nëse njerëzit kanë një ndjesi të fortë, do të thotë se ata do të kenë intuitë të dobët, dhe është e rëndësishme të gjykoni se si mund të jenë në natyrën e njerëzve, boshti i fajit është të kërkoni rezultate të zgjuara dhe efektive - nëse ndërrohen. Unë përveç kësaj në mediat sociale Lëkura ka karakteristikat e veta, kështu që lëkura kërkohet për minjtë e vet.

"Modeli elementar" në llojin IM.

Aspekti, hardhi për rivin E TIJ , rri jashtë vlerat bazë të llojit .Vetë erën e verës në yogo do ta emërtoj.

Për shembull, emërtimi i llojit "ekstrovert etiko-shqisor" do të thotëє, shho yogo Vlera e "programit" - etika ekstraverte ("etika e emocioneve") dhe vlera "kreative" - ​​ndjeshmëria introverte ("perceptimi shqisor") .

Në rіvnі E TIJ tse viglyadaє si kjo:

I dashur Chitach, mabut, duke thënë, softueri i karrierës Aspekti introvert realizohet nga aspektet ekstroverte (navpaki) .Tse vidbuvaєtsya për një ekstroverte Si një objekt është i rëndësisë më të madhe, dhe në lidhje me të dy objektet - në një renditje të ndryshme, ai dhe funksioni i programit (si më domethënësi) është një simbol i zi, dhe realizimi është padyshim simbolik.

Kanë introverte, Me sa duket, navpaki: funksioni i softuerit do të jetë introvert (simbol bili), dhe zbatimi do të jetë ekstravert (i çuditshëm).

Hapi i parë që do të thotë: yaksho aspekti i softuerit është racional (Etika chi logika), pastaj vin të realizohet në një aspekt joracional .

-Për çfarë?

- Së bashku me të, ata thanë se aspektet racionale manifestohen në të njëjtat horizontale dhe navpaks. І në një rang të tillë vendoset aspekti singular i psikikës sonë në lëkurë me sa duket për të përmirësuar strukturën tonë mendore.

Kështu, në modelin e lëkurës, një nga aspektet është ekstravert, një është introvert, një është racional dhe një është racional.

Aspektet Cherguvannya dhe qëndrueshmëria e zhvillimit të tyre në të gjitha nivelet e psikikës sonë, që nga fillimi i veçorive themelore psikologjike të lëkurës dhe llojeve të metabolizmit informativ.

Në një gradë të tillë, tashmë për emrin "lloj IM" është e mundur të sigurohet një marrëdhënie strukturore e ITS dhe të vendoset në një model elementar, me dy pozicione, i cili përshkruan karakteristikat kryesore të një strukture të caktuar psikike.