лекции (2008) (by Kravets), страница 2

Êîáîë òîæå íå ñàìûéõîðîøèé ÿçûê íî îí çàíÿë ñâîþ íèøó è äî ñèõ ïîð íå ñîâñåì îòòóäàâûòåñíåí.LISP - "ÿçûê èñêóññòâåííîãî èíòåëëåêòà"îí íå òàê ýôôåêòèâåí äëÿêîììåð÷åñêîãî èñïîëüçîâàíèÿ ( ïëîõî ëîæèòñÿ íà Ôîí Íåéìîâñêóþ àðõèòåêòóðó) Ëèñï áûë ïîïóëÿðåí äëÿ ýêñïåðòíûõ ñèñòåì ( áûëè äàæåïðîåêòû ïî ïåðåâîäó ïðîãðàìì íà íåì íà Ñ),Ñåé÷àñ èíòåðåñ ê ëèñïó(è ôóíêöèîíàëüíîìó ïðîãðàììèðîâàíèþ) âîçðîæäàåòñÿ ïîñëå òîãî êàê êíèì áûë ïîòåðÿí èíòåðåñ( èç -çà ïîòåðè èíòåðåñà ê ýêñïåðòíûì ñèñòåìàì)II 1960 - 1980Ïîÿâëåíèå îãðîìíîãî ÷èñëà ßÏ ( êàæäûé ÂÖ õîòåë èìåòü ñâîé ßÏ)Ìíîãèå ôèðìû äåëàëè ñâîè ÿï, äëÿ ìíîãèõ ïðîåêòîâ ñîçäàâàëèñü íîâûåÿï( IBM,âîåííûå ïðîåêòû).

Äëÿ ïðîãðàììû ïðîòèâîðàêåòíîé îáîðîíû5áûë ïðîäóìàí ñîáñòâåííûé ÿçûê( ïðèäóìàí èìåííî äëÿ âîåííîãî ïðèìåíåíèÿ). ßçûê äëÿ ïðîãðàììû êîñìè÷åñêèõ ïîëåòîâ (PDP-11) - ÿçûêHAL. Äàëåå ïîÿâèëàñü èäåÿ ñîçäàíèÿ óíèâåðñàëüíîãî ÿçûêà ïðîãðàììèðîâàíèÿ. Ïåðâàÿ ïîïûòêà - ôèðìà IBM â 1961 àíîíñèðîâàëà IBM360(ïîëíûé îáîðîò) êàê óíèâåðñàëüíóþ ñèñòåìó äëÿ âñåõ êëàññîâ çàäà÷. 1964 áûëà äîäåëàíà OS360 (OS äëÿ ýòîé ñèñòåìû). êà÷åñòâå ÿçûêà ïðîãðàììèðîâàíèÿ áûëî âçÿòî ïîíåìíîãó èç ìíîãèõ ñóùåñòâóþùèõßÏ(ðåêóðñèÿ,áëî÷íàÿ ñòðóêòóðà, îïåðàòîð DO,..).Ïðè ýòîì â ÿçûê ïîïàëè ìíîãèå íå ñòîëü õîðîøèå ÷åðòû, êàê íàïðèìåð ñïèñîê ââîäà-âûâîäà âôîðòðàíå.

ßçûê ïîëó÷èë íàçâàíèå PL/I. Ïðèñóòñòâîâàëî äâîè÷íî-äåñÿòè÷íîåêîäèðîâàíèå(4 áèòà íà êàæäóþ öèôðó) ÷òî êðàéíå óïðîñòèëî ââîä-âûâîä÷èñåë.  ðåçóëüòàòå - î÷åíü áîëüøîé, î÷åíü èíòåðåñíûé ßÏ."ßçûê PL/Iáûë áû î÷åíü õîðîøèì ÿçûêîì, åñëè âûêèíóòü èç íåãî 80% âîçìîæíîñòåé"(c). ÍÎ äëÿ IBM360 îí áûë óíèâåðñàëåí è îí ñòàë óíèâåðñàëüíûì ÿçûêîì ïðîãðàììèðîâàíèÿ.

 åãî ïîääåðæêó áûëî âëîæåíî ïîëòîðàìèëëèàðäà äîëëàðîâ. Íî ñåé÷àñ íà ýòîì ÿçûêå íèêòî íå ïèøåò. Îí áûëðàçðàáîòàí òîëüêî äëÿ îäíîé àðõèòåêòóðû. Ñóùåñòâîâàëè ïîïûòêè ïåðåíîñà ÿçûêà PL/I íà äðóãèå àðõèòåêòóðû íî îíè íå áûëè îñîáî óäà÷íûìè.Íàïðèìåð åãî ïîðò ïîä dîñ.ßçûê PL/I áûë î÷åíü ñëîæíûé. Ñåé÷àñ áîëüøèíñòâî êîìïèëÿòîðîâìîæåò ãåíåðèðîâàòü 2 âåðñèè - îòëàäî÷íóþ è ðåëèçîâóþ, ïðè ýòîì ïîïûòêà âûïóñòèòü 2 âèäà êîìïèëÿòîðîâ äëÿ PL/I ïðîâàëèëàñü òàê êàêðåçóëüòàòû èç ðàáîòû îòëè÷àëèñü äàæå íà êîððåêòíûõ ïðîãðàììàõ (áûëà ïî ðàçíîìó ðåàëèçîâàíà ñåìàíòèêà ÿçûêà).Îòñþäà ïðàâèëà - ßçûê - ñîâîêóïíîñòü âçàèìîñâÿçàííûõ êîìïðîìèññîâ(áåç êîìïðîìèññîâ íåëüçÿ).1968 - ïåðåñìîòðåííîå ñîîáùåíèå î ÀËÃÎË60.

ðàçðàáîòêà ÿçûêà àëãîë 60 çàêîí÷èëàñü è íà÷àëàñü ðàáîòà íàä íîâûì ÿçûêîì ïðîãðàììèðîâàíèÿ - ÀËÃÎË68 (ÿäðî ãðóïïû - åâðîïåéöû).Îíè õîòåëè ñäåëàòü óíèâåðñàëüíûõ õîðîøèé ßÏ, ó÷òÿ îïûò ïðîøëûõ ðàçðàáîòîê ßÏ.  îòëè÷èèîò ÀËÃÎËÀ60 ñèíòàêñèñ è ÑÅÌÀÍÒÈÊÀ ÀËÃÎËÀ68 áûëè ôîðìàëüíû. W-ãðàììàòèêè äëÿ îïèñàíèÿ ñåìàíòèêè.

Îðòîãîíàëüíîñòü â ñìûñëåïðîãðàììèðîâàíèÿ/äèçàéíà - èõ íåçàâèñèìîñòü. Äëÿ ßÏ ýòî îçíà÷àåò÷òî åñòü åñòü êîíñòðóêöèÿ K è G è åñëè îíè îðòîãîíàëüíû òî îíè ìîãóòñóùåñòâîâàòü â ëþáîé êîìáèíàöèè. Íàïðèìåð ïàñêàëü íå ÿâëÿåòñÿ îðòîãîíàëüíûì ßÏfor i:=e1 to e2 doçäåñü äëÿ ïðèñâàèâàíèÿ äîñòóïíà òîëüêî öåëî÷èñëåííàÿ ïåðåìåííàÿ,êîãäàêàê â äðóãèõ ñëó÷àÿ ýòî íå òàê. Íåêàÿ íå îðòîãîíàëüíîñòü çàëîæåíà óæåâ êîíöåïöèþ Ôîí-íåéìîâñêèõ ßÏ.  Àëãîëå68 áûëà ñòåðòà ðàçíèöà ìåæäó îïåðàòîðîì è îïåðàöèåé ( âñå âîçâðàùàåò çíà÷åíèå, ëþáîé îïåðàòîð6èìååò çíà÷åíèå) òî åñòü îïåðàòîðû è îïåðàöèè ñòàëè îðòîãîíàëüíû.

Ýòîòÿçûê ïîâëèÿë íà Ñ.Ïðèíöèï îðòîãîíàëüíîñòè êðàñèâ(ïðîãðàììû íà ÀËÃÎËÅ68 áûëèî÷åíü êðàñèâûå è êîìïàêòíûå), îí ìíîãèå êîíñòðóêöèè òàêîãî ßÏ áåññìûñëåííû è ïîòåíöèàëüíî ñîäåðæàò îøèáêè êîòîðûå ñëîæíî íàéòè, ïîýòîìó W-ãðàììàòèêè ñåé÷àñ ïî÷òè íå ïðèìåíÿþòñÿ. Òðàíñëÿòîðû ýòîãîÿçûêà ðàáîòàëè êðàéíå ìåäëåííî - âïëîòü äî íåñêîëüêèõ îïåðàòîðîâ âìèíóòó.Òàê æå ýòîò ßÏ íå íàøåë ñåáå ýêîëîãè÷åñêîé íèøè ( íå ñìîã âûòåñíèòü íè îäèí èç ñòàðûõ ÿçûêîâ èç åãî íèøè).Àëãîë68 - òèïè÷íûéìåðòâûé ÿçûê.7Ëåêöèÿ 3Àëãîë áûë î÷åíü ñëîæíûì ÿçûêîì - Òàêîé ñëîæíûé ÿçûê ïðîãðàììèðîâàíèÿ íåëüçÿ ïðåäëàãàòü ìèðîâîìó ñîîáùåñòâó (ñ).Ïàðàëëåëüíî ñ ðàçðàáîòêîé ÀËÃÎËà øåë ïðîåêò ðàçðàáîòêè îïåðàöèîííîé ñèñòåìû MULTICS (ìóëüòèïðîãðàììèðîâàíèå, èñïîëüçîâàíèåâû÷èñëèòåëüíîé ñèñòåìû ìíîãèìè ïîëüçîâàòåëÿìè) ïîïûòêà ñîçäàíèÿóíèâåðñàëüíîé, ìîùíîé, êðàñèâîé ñèñòåìû. Òàê æå êàê è ñ ÀËÃÎËîìýòà èäåÿ ïðîâàëèëàñü è ÷àñòü ó÷åíûõ, ó÷àñòâóþùèõ â ïðîåêòå îòêàçàëèñü îò ñâîåãî ó÷àñòèÿ â íåì (òàê æå êàê è ñ ïðîåêòîì ïî ðàçðàáîòêåÿçûêà ÀËÃÎË). êà÷åñòâå ïðîòèâîâåñà MULTICS Êåíò Òåìïñîí ïðåäëîæèë UNIX,ãëàâíîé èäååé êîòîðîé áûëà ïðîñòîòà (òàê æå ýòî ïåðâàÿ ÎÑ íàïèñàííàÿâ îñíîâíîì (êðîìå íåáîëüøîé ÷àñòè ÿäðà) íà ÿçûêå âûñîêîãî óðîâíÿ Ñ) êîíöå 60-õ ïðîèçîøëî íåñêîëüêî çíàêîâûõ ñîáûòèé ïîÿâëåíèÿÿçûêà Ñ, ÿçûêà Ïàñêàëü.

ßçûê Ïàñêàëü âûøåë è â 1969 ãîäó è âîáðàëâ ñåáÿ ëó÷øåå ÷òî áûëî ïðèäóìàíî òîãäà êàñàòåëüíî ßÏ. Ðàçðàáîòàííûé Í. Âèðòîì äëÿ îáó÷åíèÿ ñâîèõ ñòóäåíòîâ ïðîãðàììèðîâàíèþ, îíâêëþ÷àë â ñåáÿ òàêèå âîçìîæíîñòè êàê ïîääåðæêó ñòðóêòóðíîãî ïðîãðàììèðîâàíèÿ è ñòðóêòóð äàííûõ. Ïàñêàëü ÿâëÿåòñÿ ÷èñòî àêàäåìè÷åñêèì ÿçûêîì, òî åñòü åãî ñòàíäàðò ñîâåðøåííî íå ãîäèòñÿ äëÿ ðåàëüíîãîïðîãðàììèðîâàíèÿ, ïðè ýòîì îí îêàçàë îãðîìíîå âëèÿíèå íà äàëüíåéøåå ðàçâèòèå ÿçûêîâ ïðîãðàììèðîâàíèÿ. Åãî ïîòîìêè, òàêèå êàê ObjectPascal, Turbo Pascal, Delphi ïîïóëÿðíû äàæå ñåé÷àñ.ßçûê Ñ ÿçûê çàíÿâøèé íèøó àññåìáëåðà.  70-å ãîäû íà÷àëè ïîÿâëÿòüñÿ áîëåå îñìûñëåííûå ïðîåêòû ïî ðàçðàáîòêå ÿçûêîâ ïðîãðàììèðîâàíèÿ (áîëåå êîíöåïòóàëüíûå). ßçûêó Ñ íàçâàíèå äàë ÿçûê CPL(ðàçðàáàòûâàëñÿêàê çàìåíà àññåìáëåðó) äàëåå áûë BCPL, äàëåå B è íàêîíåö C.

Ýòîò ÿçûêðàçðàáàòûâàëñÿ ïîä êîíêðåòíóþ íèøó è íå âûòåñíåí èç íåå äî ñèõ ïîð.Äàæå ñåé÷àñ ýòîò ÿçûê îñòàåòñÿ ñàìûì ïîïóëÿðíûì (14% ïî îöåíêàì âèíòåðíåòå).ßçûê CLU (ÿçûê àáñòðàêöèè äàííûõ) Ïåðâûé ÿçûê ñ àáñòðàêöèåéäàííûõ.Ýòîò ïåðèîä ýêñòåíñèâíîãî ðàçâèòèÿ çàêîí÷èëñÿ ñîçäàíèåì òàêîãîçíàêîâîãî ÿçûêà ïðîãðàììèðîâàíèÿ êàê Ìîäóëà 2.Í. Âèðòîì áûëè ðàçðàáîòàíû îñíîâíûå êîíöåïöèè ñîçäàíèÿ ßÏ. Âêà÷åñòâå ïðèìåðà îí ðàçðàáîòàë ÿçûê Ìîäóëà.

Íî îí íå ïðèæèëñÿ ïîíåïîíÿòíûì ïðè÷èíàì. Âèðò ìîäèôèöèðîâàë ÿçûê è â 1980 ïîëó÷èëÌîäóëà 2. Íà ýòîì ÿçûêå ïîëíîñòüþ áûëî íàïèñàíî ÏÎ äëÿ îäíîé8ãðàôè÷åñêîé ñòàíöèè. Íî ñåé÷àñ Ìîäóëà 2 òîæå ìåðòâ, òàê êàê íåñìîã ñìåñòèòü ÿçûê Ñ èç íèùè ÿçûêîâ ñèñòåìíîãî ïðîãðàììèðîâàíèÿ. 1980 ãîäó çàêîí÷èëñÿ î÷åðåäíîé î÷åðåäíîé ýòàï ðàçâèòèÿ ßÏ.×òî êàñàåòñÿ Ïàñêàëÿ òî òóò ñòîèò îáðàòèòü âíèìàíèå íà êíèãó Êåðíèãàíà Software tools in Pascal - â êîòîðîé îí ñôîðìóëèðîâàë 16 ïðè÷èí,ïî êîòîðûì ïàñêàëü íåóäîáåí äëÿ ïðîìûøëåííîãî ïðîãðàììèðîâàíèÿ.Ãëàâíîé ïðè÷èíîé áûëî îòñóòñòâèå ìîäóëüíîñòè.Òîãäà æå íà÷èíàåòñÿ òðåòèé ïðîåêò ïî ñîçäàíèþ óíèâåðñàëüíîãî ÿçûêà ïðîãðàììèðîâàíèÿ ÿçûêà Àäà.

 äàííîì ñëó÷àå ïîäõîä ê åãî ñîçäàíèþ áûë ñîâåðøåííî èíûì. Èññëåäîâàíèÿ, ïðîâåäåííûå â òî âðåìÿïîêàçàëè, ÷òî ïðèìåðíî 50% ñòîèìîñòè ÏÎ - ýòî ñòîèìîñòü åãî ïîääåðæêè è ñîïðîâîæäåíèÿ. Ñëåäîâàòåëüíî îñíîâíàÿ çàäà÷à óìåíüøèòü ýòèçàòðàòû.  òî âðåìÿ â ñèñòåìå Ïåíòàãîíà áûëî îêîëî 350 ðàçëè÷íûõ ßÏè öåëüþ ïðîåêòà áûëî óìåíüøèòü ýòî ÷èñëî äî 3.Äàëåå ïîñëåäîâàëè íåñêîëüêî ëåò ðàçðàáîòêè òðåáîâàíèé ê ÿçûêó,è â1979 ãîäó áûëè ãîòîâû îðèãèíàëüíûå òðåáîâàíèÿ.

Âûÿñíèëîñü ÷òî âîçìîæíî ñîçäàòü óíèâåðñàëüíûé ßÏ íà áàç PL/1, ALGOL, èëè Pascal. Èçíà÷àëüíî â êîíêóðñå áûëî 12 ÿçûêîâ, ïîòîì îñòàëîñü 4 ( âñå 4 íà îñíîâåïàñêàëÿ).  èòîãå ïîáåäèë ÿçûê àäà( åäèíñòâåííûé ÿçûê ðàçðàáîòàííûéíå â ÑØÀ (âî Ôðàíöèè)) ßçûê Àäà ñòàë î÷åíü ïîïóëÿðíûì â òå÷åíèèêîðîòêîãî âðåìåíè. Áûëà ñîçäàíà öåëàÿ ñèñòåìà âåðèôèêàöèè è ñåðòèôèêàöèè êîìïèëÿòîðîâ ýòîãî ÿçûêà.

 1982 áûë ïðèíÿò ïåðâûé ñòàíäàðòÿçûêà àäà.Áûëî ïðèíÿòî ðåøåíèå çàìåíÿòü ñòàíäàðò ÿçûêà êàæäûå 10-12 ëåò,ïðè ýòîì íèêàêèõ äèàëåêòîâ è ïîäìíîæåñòâ ÿçûêà áûòü íå äîëæíî (ýòîòðåáîâàëîñü). Áûë äàæå èçäàí ïðèêàç î òîì ÷òî âñå ïðàâèòåëüñòâåííîåÏÎ äîëæíî áûòü íà àäå, íî âñêîðå åãî îòìåíèëè.  Àäå áûëî ïðèíöèïèàëüíîå íîâøåñòâî ìåõàíèçì ðàíäåâó ( ñèíõðîíèçàöèÿ ïàðàëëåëüíûõïðîöåññîâ). 1983 ãîäó ñ ñ êëàññàìè ýâîëþöèîíèðîâàë â Ñ++.  òî âðåìÿ îñíîâíûå òðåáîâàíèÿ ê ßÏ ñòàâèëèñü ñ òî÷êè çðåíèÿ ïðîìûøëåííîãî èñïîëüçîâàíèÿ è ÎÎÏ òîãäà îñîáî íå òðåáîâàëîñü.Ïðîáëåìû ÿçûêà àäà:1.Îòñóòñòâèå ÎÎÏ2.Ïîäõîä ê ÿçûêîâîìó äèçàéíó3.Åñòü 2 ïîäõîäà4.ìåòîä ñóíäóêà ( âñå ÷òî íóæíî)5.ìåòîä ÷åìîäàí÷èêà ( òîëüêî òî áåç ÷åãî íåâîçìîæíî îáîéòèñü)6. ÿçûêå àäà ðåàëèçîâàí ìåòîä ñóíäóêà ( äëÿ ëþáîé êðèòè÷åñêîé òåõíîëîãè÷åñêîé ïîòðåáíîñòè â íåì ñóùåñòâóåò êîíñòðóêöèÿ).ßçûê Ìîäóëà-2 ïðèíöèï ÷åìîäàí÷èêà.