language-agnostic - 编程语言中需要哪些语言特性来制作编译器？

Question

编程语言似乎经历了几个阶段。首先，有人想出了一种新语言，Foo Language。编译器/解释器是用另一种语言编写的，通常是 C 或其他一些低级语言。在某个时候，FooL 会成熟和成长，最终有人会在某个地方为 FooL 自己编写一个编译器和/或解释器。

我的问题是：语言功能的最小子集是什么，以便有人可以自己实现该语言？

Answer 1

甚至可以使用图灵机编写编译器——通用图灵机基本上是任何图灵机的编译器/解释器，因此任何图灵完备的语言都应该足够了 :)

Answer 2

理论上，出乎意料的少。可计算性理论家会说，您所需要的只是mu 递归或图灵机等。

但是，从实际的角度来看，尝试在图灵机中实现编程语言不会很高兴。我想说的是，您至少希望拥有所有常用的控制流构造、原始数据类型、子例程以及数组和结构。这应该足以让您在语言本身中实现该语言的子集——然后您可以从那里引导自己。

Answer 3

一种选择是read-eval-print loop。这可用于构建许多更高级别的构造。我相信这就是 LISP 所走的路。
我不确定 C 的起源，但我认为它始于一些系统调用来实现分支、循环、赋值和单字符 I/O，并从那里构建。

Answer 4

我假设装配工会进行切割。

Answer 5

我的问题是：语言功能的最小子集是什么，以便有人可以自己实现该语言？

除了编译本身之外，没有要求该语言对其他任何事情都有用吗？我向您介绍Useless，每个文本都是适当程序的语言，意思是“接受任何输入并自行生成的程序”（这也称为Useless编译器）。