POP-2 - POP-2

Бұл мақалада жалпы тізімі бар сілтемелер, бірақ бұл негізінен тексерілмеген болып қалады, өйткені ол сәйкесінше жетіспейді кірістірілген дәйексөздер. Көмектесіңізші жақсарту осы мақала таныстыру дәлірек дәйексөздер. (Сәуір 2010 ж) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)

POP-2 (деп те аталады) POP2) Бұл бағдарламалау тілі 1970 жылы POP-1 тілінен дамыған (Робин Поплстоун 1968 жылы жасаған, бастапқыда аталған) COWSEL ) арқылы Робин Поплстоун және Rod Burstall кезінде Эдинбург университеті.^[1] Ол көптеген дереккөздерден тамыр тартты: тілдер LISP және ALGOL 60, және теориялық идеялар Питер Дж. Ландин. Бұл пайдаланды қосымша компилятор, бұл оған икемділіктің кейбірін берді аударылған тіл оның ішінде жұмыс уақытында жаңа функция анықтамаларына рұқсат беру және бағдарлама жұмыс істеп тұрған кезде функция анықтамаларын өзгерту (екеуі де динамикалық жинақ ), түсіндірілетін тілдің үстемесіз.

Сипаттама

Стек

ПОП-2 синтаксисі Алголға ұқсас болды, тек тапсырмалар керісінше болды: жазудың орнына

а: = 3;

бірі жазды

3 -> а;

Мұның себебі, тілде анық ан ұғымы болды операнд стегі; осылайша, алдыңғы тапсырманы екі бөлек мәлімдеме түрінде жазуға болады:

3;

ол 3 мәнін бағалап, оны стекке қалдырды және

-> а;

ол стекті өшіріп, оны 'a' айнымалысына тағайындады. Сол сияқты, функцияны шақыру

f (x, y, z);

деп жазылуы мүмкін

x, y, z; f ();

(үтірлер мен үтірлер негізінен ауыстырылады) немесе тіпті

x, y, z.f;

немесе

(x, y, z) .f;

Стекке негізделген парадигма болғандықтан, олардың арасын ажыратудың қажеті жоқ еді мәлімдемелер және өрнектер; осылайша, екі құрылым

егер a> b болса c -> e басқасы d -> e жабылады;

және

егер a> b болса c else d жабу -> e;

эквивалентті болды (ескеріңіз жабық, сияқты endif әлі ойлап табылған жоқ).

Массивтер және дублет функциялары

Жиымдарды немесе жазба құрылымдарын құруға арналған арнайы тілдік құрылымдар болған жоқ, өйткені олар әдетте түсінікті: олардың орнына арнайы кіріктірілген функциялардың көмегімен жасалған. жаңа массив (кез-келген типті қамтуы мүмкін массивтер үшін) және жаңааррай заттардың шектеулі түрлерін жасау үшін.

Осылайша, массивтің элементі және жазба өрісіне рұқсат етушілер а-ның ерекше жағдайлары болды дублет функциясы: бұл басқа функция сияқты бекітілген функция болды жаңартқыш, ол тапсырманы қабылдау жағында шақырылды. Осылайша, егер айнымалы а онда массив бар, содан кейін

3 -> a (4);

тең болды

жаңартқыш (а) (3, 4);

кіріктірілген функция жаңартқыш дублеттің жаңартқышын қайтару. Әрине, жаңартқыш өзі дубльт болды және дублеттің жаңартушы компонентін өзгерту үшін қолданыла алады.

Функциялар

Айнымалылар кез-келген типтегі мәндерге ие бола алады, оның ішінде функциялар да бірінші сынып объектілері болған. Осылайша, келесі құрылымдар

функция x x y; егер х> у болса х басқа у жақын соңы;

және

vars max; лямбда х у; егер х> у болса х басқа у жақын соңы -> макс;

эквивалентті болды.

Функциялар бойынша қызықты операция болды ішінара қолдану, (кейде «деп аталадыкарри «). Ішінара қолдану кезінде функцияның кейбір оң жақ аргументтерінің саны (бұл функцияға қатысқанға дейін стекке орналастырылған соңғылары болатын) мұздатылған берілген мәндерге, аз аргументтердің жаңа функциясын шығару, бұл а жабу бастапқы функцияның. Мысалы, жалпы екінші дәрежелі көпмүшелерді есептеу функциясын қарастырайық:

poly2 x a b c функциясы; a * x * x + b * x + c соңы;

Бұл, мысалы, байланысты болуы мүмкін

vars1-квадрат; poly2 (% 1, -2, 1%) -> азырақ1квадрат;

осындай өрнек

кем1 квадрат (3)

(3 - 1) квадратын қайтара отырып, 3 аргументіне үш аргументпен поли2 жабылуын қолданады, ол 4-ке тең, ішінара қолданылатын функцияны қолдану мұздатылған мәндерді тудырады (бұл жағдайда 1, -2, 1) ) стекте бардың бәріне қосылады (бұл жағдайда 3), содан кейін бастапқы функция poly2 шақырылады. Содан кейін ол стектегі жоғарғы төрт затты пайдаланады, сол сияқты нәтиже береді

poly2 (3, 1, -2, 1)

яғни

1*3*3 + (-2)*3 + 1

Оператордың анықтамасы

POP-2-де жаңа операцияларды (қазіргі терминдермен операторлар) анықтауға мүмкіндік туды.^[2]

vars операциясы 3 + *; лямбда х у; x * x + y * y соңы -> nonop + *

Бірінші жол жаңа операцияны + * басымдылықпен (басымдылықпен) жариялайды 3. Екінші жол f (x, y) = x * x + y * y функциясын жасайды және оны жаңадан жарияланған амалға тағайындайды + *.

Тарих

POP-2-нің түпнұсқа нұсқасы Эллиотт 4130 Эдинбург Университетіндегі компьютер (тек 64 КБ жедел жады бар, 1972 жылы 128 КБ-қа дейін екі есеге өскен).

1970 жылдардың ортасында POP-2 портына көшірілді BESM-6 (POPLAN жүйесі).

Кейінгі нұсқалары іске асырылды CTL Модульдік, ПДП-10, ICL 1900 сериясы (Джордж операциялық жүйесін іске қосу). Джулиан Дэвис, Эдинбургте, өзі атаған ПОП-2 кеңейтілген нұсқасын іске асырды POP-10 жұмыс істейтін PDP-10 компьютерінде TOPS-10. Бұл регистрді идентификатор атауларында маңызды деп санайтын, жүйенің идентификаторларының көпшілігінде кіші әріптерді қолданатын және 8 таңбадан астам ұзын идентификаторларды қолдайтын POP-2 алғашқы диалектісі болды.

Осыдан кейін көп ұзамай жаңа іске асыру ретінде белгілі WPOP (WonderPop үшін) Роберт Рэй мен Аллан Рамсай Эдинбургте, ғылыми-зерттеу кеңесі қаржыландырған жобада жүзеге асырды. Бұл нұсқада торлы адрестік кеңістіктер, компиляция уақытында синтаксистік теру (мысалы, бүтін сандар мен шындықтар үшін), сонымен қатар әр түрлі мәліметтер құрылымымен қолдануға арналған кейбір үлгілерді сәйкестендіру құрылымдары енгізілді.

Сонымен қатар Стив Харди Сассекс Университетінде өзі атаған ПОП-2 жиынтығын іске асырды POP-11 а жүгірді ДЕК PDP-11/40 компьютері. Ол бастапқыда DEC RSX-11D операциялық жүйесінде оқытуға арналған уақыт режимінде жұмыс істеуге арналған, бірақ көптеген қиындықтар туғызды, оның алғашқы нұсқасы Unix орнына орнатылды және пайдаланылды. Поп-11-дің бұл нұсқасы Unix ассемблерінде жазылған және код біртіндеп интерпретацияланған аралық байттық кодқа жинақталған. Бұл порт 1976 жылы салынып бітті, нәтижесінде Поп-11 оқыту үшін бірнеше жерде қолданылды. Оның оқыту функциясын қолдау үшін ПОП-2 синтаксистік сипаттамаларының көп бөлігі өзгертілді, мысалы. ауыстыру функция ... соңы бірге ... анықтаңыз және пайдаланудың орнына олардың ашылатын жақшаларына сәйкес келетін тұйықталатын кронштейндердің кең түрлілігін қосу жабық POP-2 барлық циклдары үшін. Поп-11 сонымен бірге а өрнекті сәйкестендіру тізбелік құрылымдарға арналған, бұл жасанды интеллектуалды бағдарламалауды үйретуді жеңілдетеді.

1980 ж. Айналасында Поп-11 а VAX-11/780 Стив Харди мен Джон Гибсонның компьютері, содан кейін көп ұзамай оны толық өсімді компилятор алмастырды (интерпретацияланған аралық кодтың орнына машиналық код шығарады). Компилятордың және оның барлық ішкі бағдарламаларының жұмыс істеуі уақытында макростарға қарағанда әлдеқайда бай тілдік кеңейтімдерді қолдауға мүмкіндік берді, нәтижесінде Поп-11 (Стив Харди, Крис Меллиш және Джон Гибсон) қолданылды) жүзеге асыру Пролог, Prolog стандартты синтаксисін қолданып, аралас жүйе ретінде белгілі болды Поплог, оған Жалпы Лисп және Стандартты ML кейінірек қосылды. Кейінірек бұл нұсқа әртүрлі машиналар мен операциялық жүйелерге көшірілді және нәтижесінде Pop-11 Poplog жүйесінде әлі де бар POP-2 диалектісіне айналды.

1986 ж. Шамамен Когнитивтік қолданбалар жасанды интеллектуалды компаниясы Сассекс университетінің мүшелерімен бірігіп, Поп-11 нұсқасын шығарды. AlphaPop интеграцияланған графикамен, Apple Mac компьютерлерінде жұмыс істейді. Бұл бірқатар коммерциялық жобаларға, сонымен қатар бірнеше университеттерде интеллектуалды бағдарламалауды оқытуда қолданылды. Оның C диалектісінде идиосинкратикалық компиляторды қолдану арқылы жүзеге асырылуы Mac амалдық жүйесінің жаңа нұсқаларын сақтау мен жаңартуды қиындатты. Бұған қоса, AlphaPop объектілер типін білдіру үшін жоғары адрестік биттерді «тэг биттері» ретінде қолданғандықтан «32 биттік таза» болған жоқ, бұл кейінірек Macintoshes-те 8Мб-тан жоғары жадыны қолданумен үйлеспейтін.

Сондай-ақ қараңыз

• POP-11 бағдарламалау тілі
• Поплог бағдарламалау ортасы

Әдебиеттер тізімі

• Берсталл, Р .; Коллинз, Дж .; Popplestone, R. (1968). Поп-2 бағдарламалау. Эдинбург: Эдинбург университетінің баспасы.
• Дэвис, Д.М.М. (1976). «POP-10 пайдаланушыларға арналған нұсқаулық». Информатика туралы есеп (25).
• Смит, Р .; Сломан, А .; Гибсон, Дж. (1992). «Интерактивті тілдерге арналған екі деңгейлі виртуалды машиналық қолдау» POPLOG «. Жылы Д. Слиман және Н.Бернсен (ред.) Когнитивті ғылымдағы зерттеу бағыттары. 5: жасанды интеллект. Lawrence Erlbaum Associates. 203–231 бб.
• POP сілтемелері

Сыртқы сілтемелер

• ПОП-тың ерте дамуы
• Компьютерлер мен ойлар: жасанды интеллектке практикалық кіріспе
• POP-2 бағдарламалау тіліне кіріспе, P. M. Burstall және J. S. Collins. POP-2 анықтамалық нұсқаулығы, P. M. Burstall және J. S. Collins.

Әдебиеттер тізімі