Euler (Programmiersprache) - Euler (programming language)
| Paradigmen | Multi-Paradigma : prozedural , imperativ , strukturiert |
|---|---|
| Familie | ALGOL Wirth |
| Entworfen von |
Niklaus Wirth Helmut Weber |
| Entwickler |
Stanford University ETH Zürich |
| Erstmals erschienen | 1965 |
| Schreibdisziplin | dynamisch |
| Umfang | Lexikalisch |
| Beeinflusst von | |
| ALGOL 60 | |
Euler ist eine Programmiersprache von Niklaus Wirth und Helmut Weber, die als Erweiterung und Verallgemeinerung von ALGOL 60 konzipiert wurde . Die Designer hatten sich zum Ziel gesetzt, eine Sprache zu schaffen, die:
- Einfacher und dennoch flexibler als ALGOL 60
- Nützlich und mit angemessener Effizienz verarbeitet
- Definierbar mit strenger Formalität
Verfügbare Quellen weisen darauf hin, dass Euler bis 1965 einsatzbereit war.
Überblick
Euler verwendet ein allgemeines Datentypkonzept . In Euler sind Arrays , Prozeduren und Schalter keine Größen, die durch Bezeichner deklariert und benannt werden: Im Gegensatz zu ALGOL sind sie keine Größen auf derselben Ebene wie Variablen . Diese Größen liegen vielmehr auf der Ebene der numerischen und booleschen Konstanten . Daher führt Euler neben den traditionellen numerischen und logischen Konstanten mehrere zusätzliche Typen ein:
Alle Konstanten können Variablen zugewiesen werden, die dieselbe Form wie in ALGOL haben, für die jedoch keine festen Typen angegeben sind: Euler verwendet die dynamische Typisierung . Ferner kann eine Prozedur bei der Ausführung einen Wert eines beliebigen Typs erzeugen , und dieser Typ kann von einem Aufruf der Prozedur zum nächsten variieren .
Ebenso können die Elemente einer Liste Werte eines beliebigen Typs haben, die sich von Element zu Element innerhalb einer Liste unterscheiden können. Wenn die Listenelemente Beschriftungen sind, wird ein Schalter erhalten. Wenn die Elemente Prozeduren sind, wird eine Prozedurliste erhalten, die in ALGOL 60 nicht verfügbar ist. Wenn die Elemente selbst Listen sind, wird eine allgemeine Baumstruktur erhalten.
Euler bietet allgemeine Operatoren für Typprüfungen und Typkonvertierungen.