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

2022-08-17 03:32:51 +08:00
 placeholder

算是独立的编程语言吗?

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

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

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

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

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

4170 次点击
所在节点    Go 编程语言
22 条回复
ryd994
2022-08-17 04:16:30 +08:00
语言和编译器和运行时环境,是三回事
那 Python 呢?还不是要依赖 C ?
Java 呢?还不是要依赖于 jre ?

语言只是一种表达形式,具体的实现(编译器 /解释器)和语言本身无关。
HimeHina
2022-08-17 04:21:39 +08:00
只要图灵完备,最后能自举就没问题吧。用 golang 写编译器和用 c 写,它们的逻辑应该是一样的吧。
只要编译器被编译出来成为一个可执行的程序之后,之前用什么语言写它是无关紧要的。
Mark24
2022-08-17 06:36:19 +08:00
算。用是一样用。

不过基于 golang 也会被 golang 限制,比如他的 gc 。C 最好,接近汇编。也只有 C 语言是真正计算机语言的通用接口,从底层系统,到图形,到网络,C 是几乎所有设施的构建语言,你用 C 也可以互通有无,其他的都会被掣肘。所以 Python ,Ruby ,早期 Golang 都是 C 实现。语言发明出来是要解决问题的,如果是缝合怪,没有一些特性,运气没那么好,就会进入历史垃圾堆,计算机发展 30 多年,几万个语言就剩下前 50 被使用着。俗话说,饭好做,客难请。语言成功是个玄学。
yazinnnn
2022-08-17 07:17:41 +08:00
现在的趋势不是给 llvm 写前端么
dangyuluo
2022-08-17 07:18:03 +08:00
没意义,回去吧
liaohongxing
2022-08-17 08:30:12 +08:00
实现自举的才真算独立语言, 没有实现自举的只能叫编程语言, 不能加独立
自举就是自己靠自己编译成原生二进制,解决蛋生鸡,鸡生蛋的问题。
skys215
2022-08-17 09:35:00 +08:00
什么是独立的编程语言?只依赖 CPU 指令集吗
TWorldIsNButThis
2022-08-17 09:35:01 +08:00
还有个 go+ 那个算不算独立的语言
mxT52CRuqR6o5
2022-08-17 09:42:46 +08:00
Dart 能编译成 js ,符不符合你的想法? dart 、dartvm 都应该有为了能更好的编译到 js 进行的一定程度的设计
mxT52CRuqR6o5
2022-08-17 09:43:59 +08:00
还有 typescript 、coffeescript 等其他 js 方言,基本符合你说的情况吧
Leviathann
2022-08-17 09:47:00 +08:00
@liaohongxing 那编译到 llvm ir 或者 jvm bytecode 算不算独立?
FrankHB
2022-08-17 10:13:47 +08:00
以产品的角度讲,独立编程语言的标志是有明确能帮助和其它友商竞品划清界限的产品规格说明书,也就是 spec 。
当然,现在这方面普遍比较水,所以经常有 spec 在搞了在搞了然后实际得 reference 凑数的情况。(讲个笑话,Rust 。)
只给实现的语言,也就是能算是语言,作者说是几个就是几个,你干嘛还要替作者操心究竟是半个、一个还是一个半呢?

@Mark24 你对得起你的头像么。
Nugine0
2022-08-17 10:24:56 +08:00
同意 2 楼,不同意 12 楼。
我定义理论上能够自举的编程语言就是独立的编程语言,不管它有没有真的实现自举。
Mark24
2022-08-17 13:06:53 +08:00
@FrankHB 没有 spec 的也算语言

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

语言的标准不应该是 spec

自举、spec 、图灵完备……这些只是 features 不是界定。
Mark24
2022-08-17 13:08:40 +08:00
语言只是一种 解析语法可以工作的软件。是一种特别的软件形式罢了。

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

Sketch 这种小孩子玩的也算是语言。
mengzhuo
2022-08-17 14:04:00 +08:00
现在人很容易搞混这些概念:编程语言(语法本身),编译器(怎么把这些语法编译成目标)。

可以看最早的 C ,是用汇编写的,然后用 C 写了一遍,那时链接器还是系统带的,后来也用 C 重写了一遍,彻底自举。
opiviqo
2022-08-17 14:23:45 +08:00
一切都是指令集呢。。。
stupidchen
2022-08-17 16:59:38 +08:00
@Mark24 抓个虫,小孩子玩的是 Scratch
FrankHB
2022-08-18 01:08:16 +08:00
@Mark24 那就不算产品,不用指望什么独立性。

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

所有软件都一样。
gaifanking
2022-08-18 14:10:25 +08:00
主要看 pi 最终的运行方式吧?
1 直接打包成可执行文件,那么 go 的作用仅是编译器,pi 可以认为是一种新语言
2 打包成字节码,依赖 go 执行,那么类似于 grovvy 与 jvm 的关系。

这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/873340

V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX