imported>ExultantEditor 来自 2025年12月26日 (五) 17:48

2025-12-26T17:48:28Z

新页面

{{NoteTA
|G1 = IT
}}
{{Infobox programming language
| name = SNOBOL
| paradigm = [[符号式编程|符号式]], [[指令式编程|指令式]], [[非结构化编程|非结构化]]
| year = {{Start date and age|1962}}
| designer = {{le|David J. Farber}}, {{le|Ralph Griswold|Ralph Griswold|Ralph E. Griswold}}，Ivan P. Polonsky
| developer = David J. Farber, Ralph E. Griswold, Ivan P. Polonsky, [[贝尔实验室]]
| latest release version = SNOBOL4
| latest release date = {{Start date and age|1967}}
| license = [[BSD许可证|2条款BSD许可证]]
| implementations = SNOBOL, {{le|SPITBOL}}
| influenced by = [[COMIT]]
| influenced = [[AWK]], {{le|bs (编程语言)|bs (programming language)|bs}}, [[Icon (编程语言)|Icon]], SL5, 采用[[关联数组]]的语言
| website = https://www.regressive.org/snobol4/
}}

'''SNOBOL'''（'''S'''tri'''N'''g '''O'''riented and sym'''BO'''lic '''L'''anguage），即“面向[[字符串]]且[[符号式编程|符号式]]的语言”，是以SNOBOL4告终的一系列[[编程语言]]，由[[AT&T公司|AT&T]][[贝尔实验室]]的{{le|David J. Farber}}、{{le|Ralph Griswold|Ralph Griswold|Ralph E. Griswold}}和Ivan P. Polonsky，在1962年至1967年间开发。它是在1950年代和1960年代，开发出的那些面向文本字符串的语言之一，其他语言包括[[COMIT]]和{{le|TRAC (编程语言)|TRAC (programming language)|TRAC}}。

==概述==
SNOBOL4超脱于同时代的多数编程语言的地方，是将模式（pattern）作为[[头等对象|头等]][[数据类型]]，这种数据类型的值，可以用编程语言中的任何其他数据类型所允许的所有方式来操纵，并且提供算符（operator）用于模式（pattern）[[串接]]和{{le|交替 (形式语言理论)|Alternation (formal language theory)|交替}}。SNOBOL4模式，是某一种类型的对象，并允许各种操纵，非常类似于后来的[[面向对象语言]]比如[[JavaScript]]中，那种叫做[[正则表达式]]的模式。此外，SNOBOL4在执行期间生成的字符串，可以被当作程序，而要么解释要么编译执行，如同其他语言中用[[eval]]函数那样执行。

在1960年代后期和1970年代前期，SNOBOL4在美国大学中被广泛教授，并在1970年代和1980年代，在[[人文学科]]中作为文本操纵语言被广泛使用。

在1980年代和1990年代，随着新的语言比如[[AWK]]和[[Perl]]，使得通过[[正则表达式]]方式的字符串操纵成为时尚，对SNOBOL4的使用逐渐衰竭了。SNOBOL4模式归类为[[巴科斯范式|BNF]]文法，它等价于[[上下文无关文法]]，从而比正则表达式更强力<ref>Gimpel, J. F. 1973. A theory of discrete patterns and their implementation in SNOBOL4. Commun. ACM 16, 2 (Feb. 1973), 91-100. DOI=http://doi.acm.org/10.1145/361952.361960 {{Wayback|url=http://doi.acm.org/10.1145/361952.361960 |date=20180602071942 }}</ref>。不同于SNOBOL4模式，纯粹的正则表达式是不递归的，这带给了SNOBOL4模式，在计算上的明确优势<ref>{{cite web |url=http://www.drdobbs.com/architecture-and-design/programs-that-transform-their-own-source/228701469 |title=Dr. Dobb's: Programs That Transform Their Own Source Code; or: the Snobol Foot Joke |publisher=Dobbscodetalk.com |date= |accessdate=2011-12-04 |archive-date=2013-05-12 |archive-url=https://web.archive.org/web/20130512150111/http://www.drdobbs.com/architecture-and-design/programs-that-transform-their-own-source/228701469 |dead-url=no }}</ref>；当前版本的AWK和Perl的“正则表达式”，实际上是对[[正则语言]]意义上的正则表达式的扩展（递归表达式于2007年十二月发行的Perl 5.10中仍未出现<ref>{{cite web |author=Contact details |url=http://perldoc.perl.org/5.10.0/perlre.html#Extended-Patterns |title=perlre |publisher=perldoc.perl.org |date= |accessdate=2011-12-04 |archive-date=2016-03-15 |archive-url=https://web.archive.org/web/20160315045008/http://perldoc.perl.org/5.10.0/perlre.html#Extended-Patterns |dead-url=no }}</ref><ref>{{cite web|url=http://www.rexegg.com/regex-recursion.html|title=Recursive Regex Tutorial|accessdate=2017-03-19|archive-date=2017-03-20|archive-url=https://web.archive.org/web/20170320052223/http://www.rexegg.com/regex-recursion.html|dead-url=no}}</ref>）。

SNOBOL的设计者之一Ralph Griswold，设计了SNOBOL4的后继者，叫做SL5和[[Icon (编程语言)|Icon]]，它们将SNOBOL4[[模式匹配]]的[[回溯法|回溯算法]]，与更标准的类[[ALGOL]]结构结合起来，同时增加了它们自己的一些特征。

== 特征 ==

SNOBOL4支持很多内置[[数据类型]]，比如[[整数]]、有限精度的[[实数]]、[[字符串]]、[[模式匹配|模式]]、[[数组]]，和首创的叫做表格（table）的[[关联数组]]，并允许编程者定义额外的数据类型和新[[子例程|函数]]。SNOBOL4的编程者定义数据类型的设施，在当时是先进的，它类似于更早的[[COBOL]]和更晚的[[Pascal (程式语言)|Pascal]]编程语言中的[[记录]]。

所有的SNOBOL命令行语句，都是如下形式的：
<syntaxhighlight lang=snobol>
label subject pattern = object :transfer
</syntaxhighlight>

这五种元素每个都是可选项。“标号”（label）位于行首用来标识语句，没有标号的语句，开始于一个空白字符，特例的单一标号<code>END</code>表示程序结束。有四种基本类型的运算操作（operation）：基础、赋值、模式匹配和模式匹配连带替换，所有运算操作，都有“主语”（subject）。基础操作运算，只有一个主语，构成主语的表达式被求值。赋值运算操作有“宾语”（object），等号右侧的值被赋予左侧的变量，如果对主语或宾语的求值失败，则不发生赋值。在模式匹配时，针对“模式”（pattern）对主语进行匹配；如果这时存在宾语，则经由替换规则，将其中任何匹配部份替换为宾语。“[[goto|转移]]”（transfer）可以是绝对分支，即<code>:(标号)</code>；或依赖于前面运算操作的成功（success）或失败（failure）的条件分支，即<code>:S(标号1) F(标号2)</code>。还可以转移到在运行期间程序自身所建立并编译的代码。

SNOBOL模式，可以非常简单也可以非常复杂。一个简单模式，可以是已知的文本字符串，比如<code>"ABCD"</code>，或对未知字符串的种类的指定，比如模式函数<code>LEN(1)</code>；而一个复杂模式，可以是一个大型的结构描述，例如一个计算机语言的完整文法。有可能在SNOBOL中实现一个语言的解释器，几乎直接源自它的[[巴科斯范式|巴科斯-诺尔范式]]表达式，加上一些改变即可。

SNOBOL采用了隐式的输入输出机制，分别用特殊标识符<code>INPUT</code>指示[[标准输入]]，<code>OUTPUT</code>指示[[标准输出]]。

SNOBOL4模式匹配，使用了回溯算法，这类似于[[逻辑编程]]语言[[Prolog]]所用的算法，它通过{{le|明确子句文法|Definite clause grammar}}提供了类似模式的构造。这个算法使得利用SNOBOL作为逻辑编程语言，比大多数其他语言都要容易。

SNOBOL在一个单一的有[[垃圾回收 (计算机科学)|垃圾回收]]的堆中，存储变量、字符串和数据结构。

SNOBOL在格式和编程风格的鲜明性上，匹敌于[[APL语言|APL]]，不同于更“标准”的过程式语言如[[BASIC]]、[[Fortran]]或[[C语言|C]]语言，二者都是很激进的。

== 例子程序 ==

“[[Hello World|Hello, World!]]”[[Hello World程序样例|程序]]：

<syntaxhighlight lang=snobol>
OUTPUT = "Hello, World!"
END
</syntaxhighlight>

向用户要求输入名字并把它填入输出句子中的简单程序：
<syntaxhighlight lang=snobol>
OUTPUT = "What is your name?"
Username = INPUT
OUTPUT = "Thank you, " Username
END
</syntaxhighlight>

根据用户输入与二个模式的匹配情况在三种不同语气的输出中进行选择：

<syntaxhighlight lang=snobol>
OUTPUT = "What is your name?"
Username = INPUT
Username "J" :S(LOVE)
Username "K" :S(HATE)
MEH OUTPUT = "Hi, " Username :(END)
LOVE OUTPUT = "How nice to meet you, " Username :(END)
HATE OUTPUT = "Oh. It's you, " Username
END
</syntaxhighlight>

持续要求用户一次一个输入自己所有的名字，直到只按Enter键表示再无后续者为止，最后告知用户一共输入了几个名字：

<syntaxhighlight lang=snobol>
OUTPUT = "This program will ask you for personal names"
OUTPUT = "until you press return without giving it one"
NameCount = 0 :(GETINPUT)
AGAIN NameCount = NameCount + 1
OUTPUT = "Name " NameCount ": " PersonalName
GETINPUT OUTPUT = "Please give me name " NameCount + 1
PersonalName = INPUT
PersonalName LEN(1) :S(AGAIN)
OUTPUT = "Finished. " NameCount " names requested."
END
</syntaxhighlight>

==当前实现==
目前有一些实现能够获得。Macro SNOBOL4 in C是Phil Budne写的自由开源实现，能够在几乎所有平台上运行<ref>{{Cite web |url=http://www.snobol4.org/ |title=存档副本 |accessdate=2020-04-23 |archive-date=2020-02-28 |archive-url=https://web.archive.org/web/20200228042624/http://www.snobol4.org/ |dead-url=yes }}</ref>。 Catspaw公司提供了对很多计算机平台的SNOBOL4语言商业实现，现在有可以免费获得的版本。Viktors Berstis的Minnesota SNOBOL4是最接近IBM[[大型主机]]版本的PC实现，也是免费的<ref>{{Cite web |url=http://www.berstis.com/snobol4.htm |title=存档副本 |accessdate=2020-04-24 |archive-date=2020-02-24 |archive-url=https://web.archive.org/web/20200224040033/http://berstis.com/snobol4.htm |dead-url=no }}</ref>。

尽管SNOBOL自身没有[[结构化编程]]特征，有叫做{{le|Snostorm}}的SNOBOL[[预处理器]]，由Fred G. Swartz于1970年代设计和实现，提供了IF、ELSEIF、ELSE、LOOP、CASE和PROCEDURE语句，并用于[[密歇根大学]]的{{le|密歇根终端系统|Michigan Terminal System}}（MTS）<ref name=MTSVolume9-June1979>[https://books.google.ca/books?id=WxVXAAAAMAAJ&pg=PA114&lpg=PA114&dq=snostorm+preprocessor&source=bl&ots=H5fdaCJj5n&sig=xvuW41x302-Je8xI1q8SbMSTM4Y&hl=en&sa=X&ei=E4f3U5jaOaLFigLOyYD4DQ&redir_esc=y#v=onepage&q=snostorm%20preprocessor&f=false "SNOSTORM"] {{Wayback|url=https://books.google.ca/books?id=WxVXAAAAMAAJ&pg=PA114&lpg=PA114&dq=snostorm+preprocessor&source=bl&ots=H5fdaCJj5n&sig=xvuW41x302-Je8xI1q8SbMSTM4Y&hl=en&sa=X&ei=E4f3U5jaOaLFigLOyYD4DQ&redir_esc=y#v=onepage&q=snostorm%20preprocessor&f=false |date=20170404221208 }}, ''MTS Volume 9: SNOBOL4 in MTS'', Computing Center, University of Michigan, June 1979, pages 99-120. Retrieved 1 September 2014.</ref>。

{{le|Andrew Koenig}}的Snocone向SNOBOL4增加了块结构构造。Snocone是自包含的编程语言，而非SNOBOL4的真超集<ref>[http://www.snobol4.com/report.htm "The Snocone Programming Language"] {{Wayback|url=http://www.snobol4.com/report.htm |date=20200220033209 }}, Andrew Koenig, USENIX (Portland, Oregon), June 1985. Retrieved 2 September 2014. [ftp://ftp.snobol4.com/snocone/ software download link].</ref>。

{{le|SPITBOL}}编译器实现也介入了一些特征，尽管不使用传统的结构化编程关键字，却可以用来提供很多通常被认作“结构化编程”的等价能力，最显著的是嵌套if/then/else类型的构造。这些特征已经被增加到最新近的SNOBOL4实现中。经过了很多年作为商业产品之后，在2009年四月，SPITBOL成为了在[[GNU通用公共许可证]]下发行的自由软件<ref>{{Cite web |url=http://github.com/spitbol |title=spitbol: Raw power and speed for non-numeric computation. |accessdate=2020-04-24 |archive-date=2019-02-05 |archive-url=https://web.archive.org/web/20190205110733/https://github.com/spitbol |dead-url=no }}</ref>。

== 参见 ==
* [[同像性]]
* [[Icon (编程语言)]]
* [[Unicon (编程语言)]]
* {{le|Snowball (编程语言)|Snowball (programming language)}}
* {{le|Snostorm}}
* {{le|SPITBOL}}

== 引用 ==
{{reflist|2}}

==延伸阅读==
* Emmer, Mark B. ''SNOBOL4+: The SNOBOL4 Language for the Personal Computer User''. Englewood Cliffs, NJ: Prentice Hall, 1985 ({{ISBN|0-13-815119-9}}).
* Gimpel, James F. ''Algorithms in SNOBOL4''. New York: Wiley, 1976 ({{ISBN|0-471-30213-9}}); republished Salida, CO: Catspaw, 1986 ({{ISBN|0-939793-00-8}}).
* Griswold, Ralph E. ''The Macro Implementation of SNOBOL4''. San Francisco, CA: W. H. Freeman and Company, 1972 ({{ISBN|0-7167-0447-1}}).
* Griswold, Ralph E., J. F. Poage, and I. P. Polonsky. ''The SNOBOL4 Programming Language''. Englewood Cliffs, NJ: Prentice Hall, 1968 ({{ISBN|0-13-815373-6}}).
* Griswold, Ralph E. ''String and List Processing in SNOBOL4: Techniques and Applications''. Englewood Cliffs, NJ: Prentice Hall, 1975 ({{ISBN|0-13-853010-6}}).
* {{le|Susan Hockey|Susan Hockey|Hockey, Susan M.}} ''Snobol Programming for the Humanities''. New York: Clarendon Press; Oxford: Oxford University Press, 1985 ({{ISBN|0-19-824676-5}}).

== 外部链接 ==
* [http://www.snobol4.org/ Phil Budne offers a free and open source BSD-licensed port of the original Bell Labs SNOBOL4 to UNIX and UNIX-like platforms]{{Wayback|url=http://www.snobol4.org/ |date=20200228042624 }}
* [http://www.snobol4.com/ Catspaw, Inc. offers implementations of and commercial support for SNOBOL4]{{Wayback|url=http://www.snobol4.com/ |date=20200531004151 }}
* {{dmoz|Computers/Programming/Languages/Snobol}}
* [http://purl.umn.edu/107340 Oral history interview with Ralph E. Griswold]—Griswold discusses development of SNOBOL {{le|Charles Babbage Institute}}, University of Minnesota, Minneapolis.
* [http://purl.umn.edu/40905 Charles Hall Collection on the SNOBOL Programming Language]. {{le|Charles Babbage Institute}}, University of Minnesota, Minneapolis.
* [https://www.vintagebigblue.org/Compilerator/SNOBOL4/mvsSnobol4Compile.php For a small brief taste of what SNOBOL4 is about try this online compiler]{{Dead link}}
* [https://tio.run/#snobol4 Try It Online (Snobol4/CSNOBOL)]{{Wayback|url=https://tio.run/#snobol4 |date=20200427095445 }} Online compiler

{{程序设计语言}}
[[Category:程序设计语言]]
[[Category:模式匹配编程语言]]
[[Category:面向文本编程语言]]
[[Category:同像性编程语言]]

SNOBOL - 版本历史

imported>ExultantEditor 来自 2025年12月26日 (五) 17:48