Language
Euclid
Imperative programming language for writing verifiable programs
Facts
- Appeared
- 1977
- Type system
- static typing, strong typing
- Languages it influenced
- 2
- Kind
- procedural programming language
- Paradigms
- procedural programming, functional programming, structured programming, imperative programming
- Designed by
- Butler Lampson
- Developer
- Ric Holt
Sources: Wikidata (CC0) · Wikidata Q5406088
Influenced · 2
| Language | Appeared | Paradigms | Type system | Languages it influenced |
|---|---|---|---|---|
| Concurrent Euclid | 1980 | functional programming, structured programming, imperative programming | strong typing | — |
| Turing | 1982 | procedural programming, object-oriented programming | manifest typing, static typing | — |