Euclid (programovací jazyk) - Euclid (programming language)
| Paradigma | multi-paradigma: strukturovaný, rozkazovací způsob, funkční |
|---|---|
| Navrhl | Butler Lampson, Xerox PARC |
| Vývojář | Ric Holt a James Cordy |
| Poprvé se objevil | Sedmdesátá léta |
| Psací disciplína | silný, statický |
| Ovlivněno | |
| Pascal | |
| Ovlivněno | |
| Mesa, Souběžný euklid, Turing | |
Euklid je nezbytný programovací jazyk pro psaní ověřitelný programy. Byl navržen uživatelem Butler Lampson a spolupracovníci v Xerox PARC laboratoř v polovině 70. let. Implementaci vedl Ric Holt na University of Toronto a James Cordy byl hlavním programátorem pro první implementaci překladač. Původně byl navržen pro Motorola 6809 mikroprocesor. V té době to bylo považováno za inovativní; vývojový tým překladače měl rozpočet 2 miliony dolarů na 2 roky a byl pověřen Agentura pro obranné výzkumné projekty z Americké ministerstvo obrany a Kanadské ministerstvo národní obrany. Bylo používáno několik let v I. P. Sharp Associates, MITER Corporation, SRI International a různé další mezinárodní instituty pro výzkum v oblasti programování systémů a zabezpečených softwarových systémů.
Euclid je potomkem Programovací jazyk Pascal. Funkce v Euclidu jsou uzavřené obory, nemusí mít vedlejší účinky a musí explicitně deklarovat import. Euclid také zakazuje gotos čísla s plovoucí desetinnou čárkou, globální přiřazení, vnořené funkce a aliasy a žádný ze skutečných parametrů funkce nemůže odkazovat na stejnou věc. Euclid implementuje moduly jako typy. Mezi potomky Euklida patří Programovací jazyk Mesa, Souběžný programovací jazyk Euclid a Turingův programovací jazyk.
externí odkazy
- B.W. Lampson, J.J. Horning, R.L.London, J.G. Mitchell a G.J. Popek 1977. Zpráva o programovacím jazyce Euclid. SIGPLAN Notices 12, 2 (February 1977), 1-79.
- R.C. Holt, D.B. Wortman, J.R. Cordy a D.R. Crowe 1978. Euklidovský jazyk: zpráva o pokroku. Ve sborníku z výroční konference 1978 (Washington, D.C., USA, 4. - 6. prosince 1978), 111-115.
- D.B. Wortman a J.R. Cordy 1981. První zkušenosti s Euclidem. V Proc. 5. mezinárodní konference o softwarovém inženýrství (San Diego, Kalifornie, USA, 9. - 12. března 1981), 27.-32.