|
Links zu Programmiersprachen
Hier sind Links zu Seiten über Programmiersprachen aufgezeichnet, die wir interessant finden und grob nach Paradigmen aufgeteilt haben.
Imperative Programmiersprachen
Hier sind auch Sprachen mit objektorientierten Konzepten aufgeführt,
wenn sie "reines" ("schmutziges"?) imperatives Programmieren erlauben.
- Ada 95 Information Clearinghouse (Lanham, MD).
HTML Version of the Language Reference Manual (École Polytechnique de Lausanne)
- Modula-2 (Burton College, England)
- Modula-3 (DEC Research)
- Oberon (ETH Zürich)
Objektorientierte Programmiersprachen
Hier sind nur "reine" objektorientierte Sprachen verzeichnet.
- Blue - a classroom object-oriented language (Univ. of Sidney)
- Eiffel
The object-oriented language by Bertrand Meyer
- Java (SUN Microsystems)
- Smalltalk (www.smalltalk.org)
Funktionale Programmiersprachen
Man könnte darüber streiten, ob Lisp funktional ist; es ist jedenfalls nicht "rein", Common Lisp hat aber dafür auch objektorientierte Konzepte.
- Common Lisp - the quasi standard for Lisp (Martin Cracauer, and a local copy of the manual)
- Concurrent Clean - an efficient purely functional language (KU Nijmegen)
- Haskell (University of Glasgow)
- Scheme (Univercity of Indiana)
- Standard ML (Carnegie-Mellon University). Eine Einfühtung von Robert Harper (104 S., 136KB G-zipped Postscript)
Logische Programmiersprachen
Alle Sprachen außer Prolog sind eher experimentell und Forschungs-orientiert. Sie versuchen, einige Fehler von Prolog zu beheben.
- SWI-Logic (Universiteit van Amsterdam)
- Curry eine funktional-logische Programmiersprache (Universitäten Kiel-Aachen-Münster-Portland)
- Mercury - eine funktional-logische Programmiersprache (University of Melbourne)
- Mozart / Oz eine nebenläufig-objektorientiert-funktional-logische Programmiersprache (Universitäten Saarbrücken, Louvain, SICS Stockholm)
|
|