这是一个创建于 815 天前的主题，其中的信息可能已经有所发展或是发生改变。
算是独立的编程语言吗？
今天在 b 站看到了一个以 golang 为底层语言的 pi 语言的介绍视频，
这种用 golang 编写的编程语言，连运行命令都是 golang 的，算不算一种独立的编程语言？还是只是一种用 golang 编写的程序？
以这种方式创建的编程语言或者是程序，最后可以实现编译器自举吗？
之前了解过一点 golang ，最开始是用 C 语言的编译器来运行，最后 golang 实现了编译器自举。
那 pi 语言和 golang 一开始的情况是一样的吗？
 |
1
ryd994 2022-08-17 04:16:30 +08:00 via Android
语言和编译器和运行时环境，是三回事
那 Python 呢？还不是要依赖 C ？ Java 呢？还不是要依赖于 jre ？ 语言只是一种表达形式，具体的实现（编译器 /解释器）和语言本身无关。 |
 |
2
HimeHina 2022-08-17 04:21:39 +08:00
只要图灵完备，最后能自举就没问题吧。用 golang 写编译器和用 c 写，它们的逻辑应该是一样的吧。
只要编译器被编译出来成为一个可执行的程序之后，之前用什么语言写它是无关紧要的。 |
 |
3
Mark24 2022-08-17 06:36:19 +08:00 via Android  3
算。用是一样用。
不过基于 golang 也会被 golang 限制，比如他的 gc 。C 最好，接近汇编。也只有 C 语言是真正计算机语言的通用接口，从底层系统，到图形，到网络，C 是几乎所有设施的构建语言，你用 C 也可以互通有无，其他的都会被掣肘。所以 Python ，Ruby ，早期 Golang 都是 C 实现。语言发明出来是要解决问题的，如果是缝合怪，没有一些特性，运气没那么好，就会进入历史垃圾堆，计算机发展 30 多年，几万个语言就剩下前 50 被使用着。俗话说，饭好做，客难请。语言成功是个玄学。 |
 |
4
yazinnnn 2022-08-17 07:17:41 +08:00 via Android
现在的趋势不是给 llvm 写前端么
|
 |
5
dangyuluo 2022-08-17 07:18:03 +08:00
没意义，回去吧
|
 |
6
liaohongxing 2022-08-17 08:30:12 +08:00
实现自举的才真算独立语言， 没有实现自举的只能叫编程语言， 不能加独立
自举就是自己靠自己编译成原生二进制，解决蛋生鸡，鸡生蛋的问题。 |
 |
7
skys215 2022-08-17 09:35:00 +08:00
什么是独立的编程语言？只依赖 CPU 指令集吗
|
 |
8
TWorldIsNButThis 2022-08-17 09:35:01 +08:00 via iPhone
还有个 go+ 那个算不算独立的语言
|
 |
9
mxT52CRuqR6o5 2022-08-17 09:42:46 +08:00 via Android
Dart 能编译成 js ，符不符合你的想法？ dart 、dartvm 都应该有为了能更好的编译到 js 进行的一定程度的设计
|
|
10
mxT52CRuqR6o5 2022-08-17 09:43:59 +08:00 via Android
还有 typescript 、coffeescript 等其他 js 方言，基本符合你说的情况吧
|
 |
11
Leviathann 2022-08-17 09:47:00 +08:00
@liaohongxing 那编译到 llvm ir 或者 jvm bytecode 算不算独立？
|
 |
12
FrankHB 2022-08-17 10:13:47 +08:00
以产品的角度讲，独立编程语言的标志是有明确能帮助和其它友商竞品划清界限的产品规格说明书，也就是 spec 。
当然，现在这方面普遍比较水，所以经常有 spec 在搞了在搞了然后实际得 reference 凑数的情况。（讲个笑话，Rust 。） 只给实现的语言，也就是能算是语言，作者说是几个就是几个，你干嘛还要替作者操心究竟是半个、一个还是一个半呢？ @Mark24 你对得起你的头像么。 |
 |
13
Nugine0 2022-08-17 10:24:56 +08:00 via Android
同意 2 楼，不同意 12 楼。
我定义理论上能够自举的编程语言就是独立的编程语言，不管它有没有真的实现自举。 |
|
14
Mark24 2022-08-17 13:06:53 +08:00
@FrankHB 没有 spec 的也算语言
一些小型语言可以是独立性 DSL 、也可以是寄生性 DSL 。 语言的标准不应该是 spec 自举、spec 、图灵完备……这些只是 features 不是界定。 |
|
15
Mark24 2022-08-17 13:08:40 +08:00
语言只是一种 解析语法可以工作的软件。是一种特别的软件形式罢了。
至于实现这个软件的方式，软件具有的 features ，软件自身的严谨程度，这是作者要考虑的事情。 格局要打开。 Sketch 这种小孩子玩的也算是语言。 |
 |
16
mengzhuo 2022-08-17 14:04:00 +08:00
现在人很容易搞混这些概念：编程语言（语法本身），编译器（怎么把这些语法编译成目标）。
可以看最早的 C ，是用汇编写的，然后用 C 写了一遍，那时链接器还是系统带的，后来也用 C 重写了一遍，彻底自举。 |
 |
17
opiviqo 2022-08-17 14:23:45 +08:00
一切都是指令集呢。。。
|
 |
18
stupidchen 2022-08-17 16:59:38 +08:00 1
@Mark24 抓个虫，小孩子玩的是 Scratch
|
 |
20
gaifanking 2022-08-18 14:10:25 +08:00
主要看 pi 最终的运行方式吧？
1 直接打包成可执行文件，那么 go 的作用仅是编译器，pi 可以认为是一种新语言 2 打包成字节码，依赖 go 执行，那么类似于 grovvy 与 jvm 的关系。 |
 |
21
kkhaike 2022-08-22 14:32:36 +08:00
介绍视频呢。
|
 |
22
chai2010 2022-09-22 11:55:29 +08:00
当然算是独立的编程语言。只要图灵完备理论上应该都具备自举的能力。是否该叫独立，我理解语言是否强依赖其他语言，比如 Lua 这类嵌入式脚本可能就不好叫独立编程语言。
用 Go 实现编译器和 VM 并不会影响什么（难道诸位能证明 Matrix 本身不是某种语言编写的吗）。比如 Javac 用 C 语言实现的，jvm 也用 C 语言实现，难道 Java 就不能算是一个独立的编程语言了吗？ 说到语言的规范，也不一定非要是某种人类语言，难道实现的程序不算是一种语言吗？现在流行的合约不正是通过代码来描述的吗。 |
Select Language