Кіріспе

Евклид – тексерілетін бағдарламаларды жазуға арналған императивті бағдарламалау тілі. Ол 1970 жылдардың ортасында Батлер Лэмпсон мен Джеймс Г. Митчелл Xerox PARC зертханасында Торонто университетінің Джим Хорнингімен, USC ISI-дегі Ральф Л. Лондонмен және UCLA-дағы Джеральд Дж. Попекпен бірлесіп жасаған. Іске асыруды Торонто университетінің Рик Холт басқарды, ал Джеймс Корди компилятордың алғашқы нұсқасын жасаудың басты бағдарламашысы болды. Ол бастапқыда Motorola 6809 микропроцессоры үшін жобаланған. Ол сол кезде инновациялық деп есептелді; компиляторды әзірлеу тобының 2 жылға 2 миллион долларлық бюджеті болды және оны АҚШ Қорғаныс министрлігінің Қорғаныс жоғары технологиялық зерттеулер агенттігі (DARPA) және Канада Ұлттық қорғаныс департаменті тапсырыс берді. Ол бірнеше жыл бойы I. P. Sharp Associates, MITRE Corporation, SRI International және басқа да халықаралық институттарда жүйелік бағдарламалау және қауіпсіз бағдарламалық жүйелерді зерттеу үшін қолданылды. Евклид Паскаль, Меса, Альфард, CLU, Gypsy, BCPL, Modula, LIS және SUE тілдерінен туындаған. Евклидтегі функциялар жабық салалар болып табылады, олардың жанама әсерлері болмайды және импорттарды ашық түрде жариялауы керек. Евклид сонымен қатар goto операторларын, қозғалмалы нүктелі сандарды, жаһандық тағайындамаларды, ішкі функцияларды және псевдонимдерді қабылдамайды, сондай-ақ функцияның нақты параметрлерінің ешқайсысы бірдей жад жасушасына сілтеме жасай алмайды (Евклид оны "айнымалы" деп атайды). Евклид модульдерді типтер ретінде іске асырады. Евклидтің туыстары Concurrent Euclid және Turing бағдарламалау тілдерін қамтиды.