突然疑惑，以现有编程语言为底层语言来实现的编程语言，

[placeholder]

算是独立的编程语言吗？

今天在 b 站看到了一个以 golang 为底层语言的 pi 语言的介绍视频，

这种用 golang 编写的编程语言，连运行命令都是 golang 的，算不算一种独立的编程语言？还是只是一种用 golang 编写的程序？

以这种方式创建的编程语言或者是程序，最后可以实现编译器自举吗？

之前了解过一点 golang ，最开始是用 C 语言的编译器来运行，最后 golang 实现了编译器自举。

那 pi 语言和 golang 一开始的情况是一样的吗？

[ryd994]

语言和编译器和运行时环境，是三回事
那 Python 呢？还不是要依赖 C ？
Java 呢？还不是要依赖于 jre ？

语言只是一种表达形式，具体的实现（编译器 /解释器）和语言本身无关。

[HimeHina]

只要图灵完备，最后能自举就没问题吧。用 golang 写编译器和用 c 写，它们的逻辑应该是一样的吧。
只要编译器被编译出来成为一个可执行的程序之后，之前用什么语言写它是无关紧要的。

[Mark24]

算。用是一样用。

不过基于 golang 也会被 golang 限制，比如他的 gc 。C 最好，接近汇编。也只有 C 语言是真正计算机语言的通用接口，从底层系统，到图形，到网络，C 是几乎所有设施的构建语言，你用 C 也可以互通有无，其他的都会被掣肘。所以 Python ，Ruby ，早期 Golang 都是 C 实现。语言发明出来是要解决问题的，如果是缝合怪，没有一些特性，运气没那么好，就会进入历史垃圾堆，计算机发展 30 多年，几万个语言就剩下前 50 被使用着。俗话说，饭好做，客难请。语言成功是个玄学。

[yazinnnn]

现在的趋势不是给 llvm 写前端么

[dangyuluo]

没意义，回去吧

[liaohongxing]

实现自举的才真算独立语言， 没有实现自举的只能叫编程语言， 不能加独立
自举就是自己靠自己编译成原生二进制，解决蛋生鸡，鸡生蛋的问题。

[skys215]

什么是独立的编程语言？只依赖 CPU 指令集吗

[TWorldIsNButThis]

还有个 go+ 那个算不算独立的语言

[mxT52CRuqR6o5]

Dart 能编译成 js ，符不符合你的想法？ dart 、dartvm 都应该有为了能更好的编译到 js 进行的一定程度的设计

[mxT52CRuqR6o5]

还有 typescript 、coffeescript 等其他 js 方言，基本符合你说的情况吧

[Leviathann]

@liaohongxing 那编译到 llvm ir 或者 jvm bytecode 算不算独立？

[FrankHB]

以产品的角度讲，独立编程语言的标志是有明确能帮助和其它友商竞品划清界限的产品规格说明书，也就是 spec 。
当然，现在这方面普遍比较水，所以经常有 spec 在搞了在搞了然后实际得 reference 凑数的情况。（讲个笑话，Rust 。）
只给实现的语言，也就是能算是语言，作者说是几个就是几个，你干嘛还要替作者操心究竟是半个、一个还是一个半呢？

@Mark24 你对得起你的头像么。

[Nugine0]

同意 2 楼，不同意 12 楼。
我定义理论上能够自举的编程语言就是独立的编程语言，不管它有没有真的实现自举。

[Mark24]

@FrankHB 没有 spec 的也算语言

一些小型语言可以是独立性 DSL 、也可以是寄生性 DSL 。

语言的标准不应该是 spec

自举、spec 、图灵完备……这些只是 features 不是界定。

[Mark24]

语言只是一种 解析语法可以工作的软件。是一种特别的软件形式罢了。

至于实现这个软件的方式，软件具有的 features ，软件自身的严谨程度，这是作者要考虑的事情。
格局要打开。

Sketch 这种小孩子玩的也算是语言。

[mengzhuo]

现在人很容易搞混这些概念：编程语言（语法本身），编译器（怎么把这些语法编译成目标）。

可以看最早的 C ，是用汇编写的，然后用 C 写了一遍，那时链接器还是系统带的，后来也用 C 重写了一遍，彻底自举。

[opiviqo]

一切都是指令集呢。。。

[stupidchen]

@Mark24 抓个虫，小孩子玩的是 Scratch

[FrankHB]

@Mark24 那就不算产品，不用指望什么独立性。

反正用户都判断不了哪个是哪个。

所有软件都一样。

[gaifanking]

主要看 pi 最终的运行方式吧？
1 直接打包成可执行文件，那么 go 的作用仅是编译器，pi 可以认为是一种新语言
2 打包成字节码，依赖 go 执行，那么类似于 grovvy 与 jvm 的关系。