Recollections about the Development of Pascal. Niklaus Wirth ACM, 1993

Transkript

1 Recollections about the Development of Pascal Niklaus Wirth ACM,

2 Niklaus Wirth, 73 Født i Schweiz, 1934 Ph.D., University of California, Berkeley, 1963 Assistant Professor of CS, Stanford University, Professor of Informatics, ETH Zürich,

3 Niklaus Wirth ACM Turing Award, 1984 IEEE Computer Pioneer Award, 1988 Fellow of the ACM, 1994 Honorary doctorate ved 10 universiteter 3

4 Niklaus Wirth Program Development by Stepwise Refinement Artikkel, ACM, 1971 Algorithms + Data Structures = Programs Prentice Hall, 1975 Compilerbau Teubner-Verlag,

5 Niklaus Wirth : Euler : Algol W : Pascal : Modula 1977: EBNF : Modula : Oberon : Oberon-2 5

6 Pascal program HelloWorld(output); begin writeln('hello World!'); end. 6

7 Recollections about the Development of Pascal Hvordan blev Pascal til? Motivation Inspiration Refleksion Hvad var godt ved Pascal Hvad var dårligt ved Pascal Hvorfor blev Pascal så udbredt? Hvad skete der bagefter? 7

8 Hvordan blev Pascal til? Motivation Fortran (Backus) Brugt i industrien Algol 60 (Backus, Naur, Perlis, et al.) Mest brugt i forsknings miljøer Struktureret Verbose Call-by-name Compleks For-statement 8

9 Hvordan blev Pascal til? Motivation Algol , Wirth i Working Group Ingen konsensus 1966, Algol W Inspireret af C.A.R. Hoare Stadigt for komplekst 9

10 Hvordan blev Pascal til? Motivation 1968, Professor ved ETH, Zürich CDC computere Fortran Algol 60 (ineffektiv compiler) Assembler 10

11 Hvordan blev Pascal til? Inspiration Blaise Pascal, Fransk filosof og matematiker Structured Programming, Dijkstra (1968) Mere koncist end Algol 60 Undgå Ambiguity (som var i Algol 60) Forenkling af Algol 60 Flere datatyper og structures 11

12 Pascal Single, monolithic text Ortogonalt design Stærkt typet Readability Structured Programming (Dijkstra, 1966) Subprograms Stepwise refinement (Wirth, 1971) GOTO ikke nødvendigt (Dijkstra, 1968) Opdeling i typer og variable 12

13 Hvad var godt ved Pascal Det blev lavet! Det lignede Algol 60 Der var mange typer (Algol 60 havde tre) Bruger definerede typer (enumerations, subranges) Der var mange strukturer (Algol 60 havde én) Strukturer kunne kombineres og nestes Rekursive strukturer Dynamiske strukturer (vha. pointere) 13

14 Hvad var godt ved Pascal Stærkt typet Typed pointers (Hoare) Simple parameter mekanismer Call-by-reference og call-by-value 14

15 Hvad var dårligt ved Pascal Det lignede Algol 60 Ambiguous If-then-else Ukomplet parameter specifikation Ingen dynamiske arrays Structural equivalence vs. name equivalence Ikke specificeret i definitionen af Pascal Variant record Overlaying Run-time checking 15

16 Hvad var dårligt ved Pascal Read / Write Variabelt antal parametre Kræver indbyggede run-time understøttelse Ingen moduler Kun en kildekode fil Berygtet for at være langsomt Ingen formel standard før 1981 (IEEE) Mange forskellige implementationer 16

17 Hvad var dårligt ved Pascal Kritik fra Habermann Typer og strukturer i samme koncept Mangel på conditional expressions Ingen eksponentiel operator Ingen lokale blokke GOTO 17

18 Pascal s popularitet Dokumentation Kathy Jensen Portability Pascal-S (compiler/interpreter in 16K) P-Kit (P-Machine, P-Code, P-Compiler) Micro computers Intel 8080 Cray-1 80 forskellige implementeringer in 1978 Pascal User Group, University of Minnesota Micro computers 18

19 Efter Pascal Modula-2 og Oberon N. Wirth Concurrent Pascal og Pascal-Plus P. Brinch Hansen hhv. J. Welsh et al. Object Pascal og Delphi Mesa Lampson et al. Ada Lacked the economy of design N. Wirth 19

20 Moraler Gentag ikke fejl! Algol 60 / Pascal Tag beslutninger! Bad decisions are better than no decisions Dokumentation er godt! Det kan være afgørende for succes Vi har stadigt de samme udfordringer Inkompatibilitet, design issues, smag Ikke noget unified language Ingen automatisk verifikation 20

21 Moraler Selvkritik er godt! Lær af dine egne fejl Minimalisme er godt! Economy of design Hoare er en god ven at have! 21

22 Fun facts Pascal calling convention bruges stadigt Pascal strings bruges stadigt Pascal blev brugt til at lave Tex I 80 erne skrev Anders Hejlsberg Blue Label Pascal compiler Borland PolyPascal Borland Turbo Pascal (Første IDE) Borland Delphi 22