2001:16B8:CC6F:9200:9D50:81AD:DC83:F318: typo

2024-10-01T07:36:10Z

typo

Neue Seite

'''ISWIM''' ist eine von [[Peter J. Landin]] konzipierte [[Programmiersprache]] und eine Abkürzung von »If you See What I Mean«.

Landin stellte seine Ideen auf einer Konferenz im August 1965 vor. Dieser Vortrag wurde unter dem Titel '''The Next 700 Programming Languages''' in den ''[[Communications of the ACM]]'' veröffentlicht und übte unterschwellig einen großen Einfluss auf spätere Entwicklungen aus. Der US-amerikanische Informatiker [[John Charles Reynolds]] behauptete, der Einfluss ISWIM hätte den von [[Algol 60]] übertroffen. Tatsächlich wurde nie ein ISWIM-Compiler implementiert, während es bei Algol 60 eine Reihe von Implementierungen und Nachfolgesprachen (darunter [[JOVIAL]], [[Coral 66]], [[Simula]], [[Algol 68]], [[Pascal (Programmiersprache)|Pascal]]) gab.

Der Titel spielt auf die damals gezählten 700 Anwendungsfelder an, für die bereits 1700 Programmiersprachen existierten. Alle diese Sprachen unterschieden sich in vielen Details – auch in den Teilen, die nicht mit ihrem Anwendungsgebiet zu tun hatten. Nun hatte man durch Algol 60 gerade die Nützlichkeit einer klaren Struktur kennengelernt und verwandte es deshalb gerne auch für Anwendungen, für die es nicht entworfen worden war.

Landin (1965) hatte den ''applikativen Kern'' in Algol 60 beschrieben. Nun ging er umgekehrt von diesem Kern, also einem untypisierten [[Lambda-Kalkül|λ-Kalkül]] aus. Das Ziel ist es, diesen Kern so weit wie möglich anwendbar zu machen. Eine Konsequenz ist die Freigabe der Auswertungsreihenfolge, die bei der imperativen Programmierung bekanntlich mehr als logisch nötig festgelegt wird.

Nicht angesprochen in Landins Vortrag wurde die Frage, wie ISWIM hätte erweitert werden können; er spricht allerdings von 700 Programmiersprachen und nicht von einer Programmiersprache mit 700 Erweiterungsmodulen. Tatsächlich scheint diese Frage auch erst später intensiver untersucht worden zu sein.

Ebenfalls vorausgesetzt und nicht näher diskutiert wurden die imperativen Ergänzungen.

Die Darstellung der Quelltext-Blockstruktur mittels [[Einrückungsstil|Einrückung]] (Offside-Rule, Abseitsregel) in ISWIM wurde von einigen später entwickelten Programmiersprachen übernommen. Beispielsweise implementieren [[Haskell (Programmiersprache)|Haskell]], [[Occam]] und [[Python (Programmiersprache)|Python]] die Abseitsregel.

== Literatur ==
'''Peter J. Landin:'''
* A correspondance between ALGOL 60 and Church's Lambda-notation. ''Communication of the ACM'' '''8''', 89–101; 158–165 (1965)
* [http://www.iro.umontreal.ca/~feeley/cours/ift6232/doc/the-next-700-programming-languages.pdf The Next 700 Programming Languages] (PDF; 1,2 MB) ''Communications of the ACM'', '''9''', 157–166 (1966). — ''enthält auch Diskussion'' [http://www.cs.utah.edu/~wilson/compilers/old/papers/p157-landin.pdf Ersatzlink] (PDF; 1,15 MB)

'''Sekundärliteratur:'''
* {{Internetquelle|autor=Matthias Felleisen, Matthew Flatt|hrsg=The University of Utah – School of Computing|titel=Programming languages and lambda calculi (draft)|url=http://www.cs.utah.edu/plt/publications/pllc.pdf |seiten=Kapitel 4: ''ISWIM'', pp. 37–48|datum=2006-07-12|zugriff=2014-08-10|archiv-url=https://web.archive.org/web/20090205113235/http://www.cs.utah.edu/plt/publications/pllc.pdf |archiv-datum=2009-02-05|sprache=en|format=PDF}}

{{SORTIERUNG:Iswim}}
[[Kategorie:Funktionale Programmiersprache]]
[[Kategorie:Abkürzung]]

ISWIM - Versionsgeschichte

2001:16B8:CC6F:9200:9D50:81AD:DC83:F318: typo