https://arolstar52-zhtest.hf.space/index.php?action=history&feed=atom&title=POP-2POP-2 - 版本历史2026-07-13T23:03:23Z本wiki上该页面的版本历史MediaWiki 1.43.9https://arolstar52-zhtest.hf.space/index.php?title=POP-2&diff=3422470&oldid=previmported>Cewbot：清理跨語言連結COWSEL成為內部連結:編輯摘要的紅色連結經繁簡轉換後存在，非bot錯誤編輯 (本次機械人作業已完成35.9%)2026-05-31T14:35:16Z<p>清理跨語言連結<a href="/wiki/COWSEL" title="COWSEL">COWSEL</a>成為內部連結:編輯摘要的紅色連結經繁簡轉換後存在，非bot錯誤編輯 (本次機械人作業已完成35.9%)</p>
<p><b>新页面</b></p><div>{{NoteTA<br />
|G1 = IT<br />
}}<br />
{{Infobox programming language<br />
| name = POP-2<br />
| paradigm = [[函数式编程|函数式]]，[[面向堆栈编程|面向堆栈]]<br />
| year = {{start date and age|1970}}<br />
| designer = {{le|Robin Popplestone}}，{{le|Rod Burstall}}<br />
| influenced_by = [[COWSEL]]，[[ALGOL 60]]，[[ISWIM]]<br />
| influenced = {{le|POP-11}}，[[ML语言|ML]]<br />
}}<br />
'''POP-2'''（也称为'''POP2'''，'''P'''ackage for '''O'''nline '''P'''rogramming：在线编程包），是{{le|Robin Popplestone}}和{{le|Rod Burstall}}在大约1970年于[[爱丁堡大学]]开发的[[编程语言]]，起源于更早的语言POP-1（Robin Popplestone在1968年开发，最初叫做[[COWSEL]]）<ref>{{Cite web |url=http://bitsavers.informatik.uni-stuttgart.de/pdf/univOfEdinburgh/POP-2_Papers_1968.pdf |title=存档副本 |accessdate=2020-05-02 |archive-date=2012-10-03 |archive-url=https://web.archive.org/web/20121003112028/http://bitsavers.informatik.uni-stuttgart.de/pdf/univOfEdinburgh/POP-2_Papers_1968.pdf |dead-url=no }}</ref>。它根源于很多来源：[[LISP]]和[[ALGOL 60]]语言，和来自[[Peter J. Landin]]的理论上的想法。它使用[[增量编译器]]，这给与它某些[[解释型语言]]的灵活性，包括允许在运行时间定义新函数，和在程序运行时修改函数定义（二者都是[[动态编译]]的特征），而没有解释型语言的开销。<br />
<br />
==影响==<br />
POP-2是具有动态绑定和动态（运行时间）确定类型的函数式语言，它的语法是[[ALGOL]]风格的，而它的特征受到了[[Christopher Strachey|Strachey]]和[[Peter Landin|Landin]]工作的重大影响。它有一些显著特征，比如在部份应用中具有的一种形式的函数闭包，和受到Landin的J算子启发的一种逃脱机制（<code>jumpout</code>函数），它扮演了与Lisp中的<code>catch</code>/<code>throw</code>类似的角色。<br />
<br />
POP-2对[[ML语言|ML]]的设计有着重要的影响，这来自它的记录结构，这里定义了数据构造子和并以字段名字作为选择子，和它的<code>section …… endsection</code>指令，这是提供了初步模块性支持的一种简单名字空间管理机制，ML后来把它替代为<code>local …… in …… end</code>。<ref>{{cite web|author=David MacQueen, Robert Harper, John Reppy|title=The History of Standard ML|url=https://smlfamily.github.io/history/SML-history.pdf|year=2020|quote=POP-2 was designed by Robin Popplestone and Burstall in the late 1960s [1977; 1968; 1968a], following on Popplestone’s earlier POP-1 language [1968b]. Like Lisp, POP-2 was a functional language with dynamic binding and dynamic (i.e., runtime) typing, but its syntax was in the ALGOL-style, and its features were heavily influenced by the work of Strachey and Landin. It had a number of notable features such as a form of function closure via partial application and an escape mechanism (the jumpout function) inspired by Landin’s J operator that plays a rôle similar to catch/throw in Lisp. The design of ML was also influenced by POP-2’s record structures and by its sections, a simple mechanism for name-space management that provided rudimentary support for modularity.|access-date=2021-09-11|archive-date=2022-02-13|archive-url=https://web.archive.org/web/20220213191353/https://smlfamily.github.io/history/SML-history.pdf}}</ref><br />
<br />
==参见==<br />
* {{le|POP-11}}编程语言<br />
* {{le|Poplog}}编程环境<br />
<br />
==引用==<br />
{{reflist}}<br />
<br />
==参考书目==<br />
* {{cite book|url=http://bitsavers.informatik.uni-stuttgart.de/pdf/univOfEdinburgh/POP-2_Papers_1968.pdf|title=An Introduction to the POP-2 Programming Language|author=P. M. Burstall, J. S. Collins|year=1968|access-date=2020-05-02|archive-date=2012-10-03|archive-url=https://web.archive.org/web/20121003112028/http://bitsavers.informatik.uni-stuttgart.de/pdf/univOfEdinburgh/POP-2_Papers_1968.pdf}}<br />
* {{cite book|author=R. Burstall, J. Collins, R. Popplestone|title=Programming in Pop-2|year=1968|publisher=Edinburgh University Press|location=Edinburgh|url=http://www.chilton-computing.org.uk/acd/pdfs/pop_primer.pdf|access-date=2021-09-11|archive-date=2021-09-11|archive-url=https://web.archive.org/web/20210911083806/http://www.chilton-computing.org.uk/acd/pdfs/pop_primer.pdf}}<br />
*{{cite book|title=POP-2 Reference Manual|author=R.M. Burstall, R.J. Popplestone|publisher=Department of Machine Intelligence and Perception, University of Edinburgh|year=1968|url=https://www.cs.utexas.edu/~moore/best-ideas/pltp/POP-2-Reference-Manual.pdf|access-date=2021-09-11|archive-date=2022-01-02|archive-url=https://web.archive.org/web/20220102235105/https://www.cs.utexas.edu/~moore/best-ideas/pltp/POP-2-Reference-Manual.pdf}}<br />
<br />
==外部链接==<br />
* [http://www-robotics.cs.umass.edu/Popplestone/pop_development.html The Early Development of POP]{{Wayback|url=http://www-robotics.cs.umass.edu/Popplestone/pop_development.html |date=20160529203404 }}<br />
<br />
[[Category:函数式编程语言]]<br />
[[Category:面向堆栈编程语言]]<br />
[[Category:1970年建立的程式語言]]</div>imported>Cewbot