每种语言都是用C编写的吗？

#1 楼

OCaml，Haskell，Lisp方言（例如Scheme）和其他几种语言经常被用于开发爱好语言。

许多语言都是用C语言实现的，普遍存在的语言以及诸如lexer-parser生成器之类的编译器编写工具（例如yacc和bison）已经被很好地理解并且几乎无处不在。最初创建。实际上，它最初是使用B语言开发的。较早的语言（如Fortran）通常在C尚未出现之前就使用本机汇编语言甚至机器代码进行引导。例如，功能范式（由Alonzo Church创立）是数学的基础，早于任何编程语言都存在。过程化和结构化的编程范式来自于像约翰·冯·诺依曼这样的理论家的数学著作。面向对象是由几项不同且无关的努力开发出来的，其中有些来自lambda演算（功能范式），有些则来自于动态编程系统，例如艾伦·凯（Alan Kay）在施乐PARC的SmallTalk。这些想法诞生几十年后，故事的一小部分。

#2 楼

每一种语言都是用C语言编写的吗？


语言是一组抽象的数学规则和限制（“如果我写的话，那会发生”）。它实际上不是用任何东西编写的。

它通常是由形式化的英语子集，数学符号以及某些特殊的规范语言混合而成的。语法通常是在EBNF或ABNF的变体中指定的。例如，这是ISO Ruby语言规范中的for表达式的规范：


§11.5.2.3.4for表达式

语法



for-expression→for变量[此处无行终止符]在表达式中从句结尾


for变量→左侧|多个左侧


语义
/>
for-expression的计算方式如下：


计算表达式。如果对表达式的求值是由break-expression，next-expression或redo-expression终止的，则该行为不确定。否则，让O为结果值。

让E为形式为primary-expression [此处没有行终止符]的主方法调用。块参数列表|















函数体，主体函数，主体表达式的值是O。 >评估E;但是，如果在评估过程中调用了一个块体为表达式的子句的复合语句的块，则除步骤c）和步骤e）4）以外，第11.3.3节中的步骤应予执行。

for-expression的值是调用的结果值。



这里是一个与Scala的类型一致性规则不同的示例：


多态类型[a1>：L1 <：U1，…，an>：Ln <：Un] T符合多态类型[a1>：L′1 <：U′1，…，an>：L'n < ：U'n] T'如果假设L'1 <：a1 <：U'1，…，L'n <：an <：U'n一个人具有T <：T'和Li <：L'i并且U'i <：U i for i∈{1，…，n}。




C语言是所有语言的母亲/父亲吗？ >

不，不是。 C还很年轻。有很多古老的语言。由于时间旅行实际上是不可能的，因此C根本不可能对那些旧语言产生任何影响。


Plankalkül（1943）
Speedcoding（1953）
Fortran（1954）
IPL（1956）
Lisp（1958）
Algol（1958）
COBOL（1959）
JOVIAL（1960）
APL（1962）
SIMULA（1962）
SNOBOL（1962）
CPL（1963）
BASIC（1964）
PL / I（1964）
角色扮演（1964）
BCPL（1966）
ISWIM（1966）
MUMPS（1967）
Forth（1968）
B（1969）
极乐（1970）
帕斯卡（1971）
KRL（1971）
小话（1972）

所有这些在C发明之前就已经存在。即使在C存在之后，其他许多人也对C毫无影响。 PASCAL语言家族（ALGOL-58，ALGOL-60，ALGOL-X，ALGOL-W，PASCAL，Modula-2，Oberon，Oberon-2，Active Oberon，Component Pascal）是完全独立的谱系。整个Lisp系列（LISP，Franz Lisp，InterLisp，MacLisp，Scheme，Flavours，LOOPS，CommonLoops，Dylan，CommonLisp，Arc，Clojure，Racket等）也不相关。功能语言（ISWIM，KRL，Miranda，ML，SML，CAML，OCaml，F＃，Haskell，Gofer，Clean）和整个依存类型家族（Agda，Coq，GURU，Idris）离C越远。对于Smalltalk系列（Smalltalk，Self，Newspeak，Us，Korz），逻辑编程系列（PLANNER，Prolog，Mercury），SQL以及许多其他产品也是如此。每个概念（OOP等）都用C语言实现吗？


最早的具有面向对象概念的语言是Simula（1960）和Smalltalk（1972），但是面向对象的系统早在1953年就已经建立（没有这样称呼）。再一次，这比C早就存在了，所以OO不可能与C有任何关系。

#3 楼

许多重要语言的大多数核心都是用C编写的，但是事情正在发生变化：


Python的参考实现（CPython）是用C编写的（但是还有其他实现用C编写）其他语言，例如Jython / Java，PyPy / Python，IronPython / C＃...）
PHP Zend Engine用C编写。 ，但现在类库始终使用Java编写（因为它们打算使用Java VM本身运行）。某些使用JNI（Java本机接口）的库可能会用多种其他语言部分编写，因为它们打算在JVM之外使用。

Sun / Oracle VM用C ++编写。 BEA / Weblogic / Oracle VM用C编写。但是有JVM用Java，Lisp，SmallTalk（IBM）编写。带有大量用Perl和C编写的模块（但是Pugs是Perl 6编程语言的编译器和解释器，是用Haskell编写的）。
正式的Ruby解释器，通常称为Matz的Ruby解释器或MRI用C语言编写，并使用其自己的特定于Ruby的虚拟机（但JRuby是在Java虚拟机上运行的Java实现; Rubinius是C ++字节码虚拟机，使用LLVM在运行时编译为机器代码。 ..）
大约50％的R用C写成，而C当然是用C写成的！ （但是第一个针对PDP-11的C编译器是B和汇编器的结合。）

经常选择C的原因很多：性能，可移植性，经验。 >
最后一个可能是最重要的：Python于1991年启动，PHP在1994/1995年，Perl在1988年，Ruby在1995年。在那些年中，Java刚刚发布，而C ++还没有很好的标准化。 >

有些相关：


没有运行时的功能语言是否可以用C编写？

#4 楼

否，某些语言早于C。许多语言是独立于C实现的，例如参见http://en.wikipedia.org/wiki/Lisp_%28programming_language%29

#5 楼

如果可以的话，我会发表评论，但我不能这样说：

C如此普遍存在的原因之一是因为它是最早开发的语言之一，并且数量众多现代语言的基础是其结构（Java，Go，PHP，Perl等）的基础-似乎它的存在空间比实际更多。

另一个经常被遗忘的原因是1973 Unix是用C重写的，并且Unix的许多系统调用也可以作为C程序/函数使用，从而使两者高度互连。由于Unix是整个现代编程发展的重要组成部分，因此C陷入了臭名昭著的局面。

说了这么多，您的问题的答案是“否”。 C基于一种称为ALGOL的语言，并且有很多竞争对手都使用ALGOL（FORTRAN，Lisp，COBOL）和C（没人想到）。面向对象的编程，可以说是编程设计中最大的范式转变，并不是源于C的-尽管C ++是一种非常流行的OOP语言（它首先出现在Lisp或Simula 67中，具体取决于您询问的人）。到OOP出现时，C已经成为一种流行的语言，因此它不必成为第一门语言-它是如此流行，以至于C ++的“扩展”可以说也成为主要的OOP语言之一。它仍然在现代使用，主要是由于其强大的内存控制功能（您可以直接分配和取消分配结构创建的内存），从而使其可以在内存预算紧张的情况下（例如视频游戏）和高度优化的编译器（显然取决于编译器）。诚然，随着Java JIT编译和语言存储管理器变得更加先进，即使这些功能也正在逐渐失去优势。

#6 楼

显然不是。如果以前不存在C，如何用C编写第一个C编译器？这不是鸡与蛋的问题。 -托管或自行编译其语言，主要是为了推广该语言和编译器本身

#7 楼

以下是一些不是用C语言编写的编程语言，以及它们用以下语言实现的列表：


Haskell-Haskell
Idris-Haskell
Adga -Haskell
冲突-Haskell
PureScript-Haskell
榆木-Haskell
水星-水星
铁锈-锈（最初是OCaml）
Go-前进/>水晶-水晶
OCaml-OCaml
弗雷格-弗雷格+ Java
哈克斯-OCaml + Haxe
斯卡拉-Scala
富他克-哈斯克尔
ATS- ATS

实现编译器的最佳语言可能与C相去甚远。功能性语言为您提供了诸如递归方案和monadic解析器组合器之类的功能（前提是您拥有类型类），这使得它们尤其如此第二，解决您的问题，即C是否是“所有编程语言的母/父”-并非如此。 C语言在当时就已经是一种精心设计的语言，毫无疑问，它影响了语言设计师，他们后来又做了很多不同的事情。但是，归根结底，Haskell基本上以各种可能的方式离开了C。 C已有45岁，同时我们学会了做得更好也就不足为奇了。

最后，要回答您的第三个问题，C实施“所有概念”并不是完全不可能”。特别是，试图用C来实现功能编程中的一些高级概念（例如变质，或者，上帝禁止，同步同构）会非常困难。我对面向对象的编程不是特别熟悉，但是我确实知道某些面向对象的语言具有求和类型。

#8 楼

编程语言是规范（不是软件！），通常用一些英文文档编写（带有某种形式化，例如EBNF用于大多数语法；有时它们的语义也被部分形式化）。例如，C11是由n1570定义（您应该阅读）。 Scheme的某些方言由R5RS定义（您也应该阅读，它写得很好）。

编程语言可以由某些软件来实现。有时，该软件是用编程语言本身编写的编译器。阅读有关引导式编译器的信息。

可以用已编译的编程语言编写一个编译器。如果该语言XX是全新的，则需要经过一个临时步骤，该步骤涉及使用某种其他实现语言（也许是C）编写该语言的子集的最小解释器或编译器，之后您可以丢弃该临时编译器或解释器（不必足够好即可编译其他编译器）。一旦编译了用XX编写的XX编译器，您就可以丢弃临时编译器。

运行时系统通常（但并非总是）部分用C语言编写（特别是垃圾收集器）。 >
请注意，bones是完全由其自身编写的Scheme编译器和运行时（并且您可以找到许多其他完全自举实现的示例）。编译器语言。

如今，许多编程语言实现都是免费软件或开源软件。随时学习（或为它们的源代码做贡献）！