Golang Go语言中 以现有编程语言为底层语言来实现的编程语言,

发布于 1周前 作者 gougou168 来自 Go语言

算是独立的编程语言吗?

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

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

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

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

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


Golang Go语言中 以现有编程语言为底层语言来实现的编程语言,

更多关于Golang Go语言中 以现有编程语言为底层语言来实现的编程语言,的实战系列教程也可以访问 https://www.itying.com/category-94-b0.html

23 回复

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

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

更多关于Golang Go语言中 以现有编程语言为底层语言来实现的编程语言,的实战系列教程也可以访问 https://www.itying.com/category-94-b0.html


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

算。用是一样用。

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

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

没意义,回去吧

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

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

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

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

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

那编译到 llvm ir 或者 jvm bytecode 算不算独立?

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

你对得起你的头像么。

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

没有 spec 的也算语言

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

语言的标准不应该是 spec

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

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

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

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

现在人很容易搞混这些概念:编程语言(语法本身),编译器(怎么把这些语法编译成目标)。

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

一切都是指令集呢。。。

抓个虫,小孩子玩的是 Scratch

那就不算产品,不用指望什么独立性。

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

所有软件都一样。

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

介绍视频呢。

当然算是独立的编程语言。只要图灵完备理论上应该都具备自举的能力。是否该叫独立,我理解语言是否强依赖其他语言,比如 Lua 这类嵌入式脚本可能就不好叫独立编程语言。

用 Go 实现编译器和 VM 并不会影响什么(难道诸位能证明 Matrix 本身不是某种语言编写的吗)。比如 Javac 用 C 语言实现的,jvm 也用 C 语言实现,难道 Java 就不能算是一个独立的编程语言了吗?

说到语言的规范,也不一定非要是某种人类语言,难道实现的程序不算是一种语言吗?现在流行的合约不正是通过代码来描述的吗。

在Golang(通常简称为Go)的讨论中,将其描述为“以现有编程语言为底层语言来实现的编程语言”并不完全准确,但这种表述也触及了Go语言设计的一些关键方面。

Go语言是由Google在2009年推出的一种新型编程语言,其设计目标是提供一种简洁、高效且并发性能强的编程环境。虽然Go语言在设计和实现过程中确实借鉴了许多现有编程语言的优点,如C语言的指针操作和内存管理、Python的简洁语法以及并发编程模型等,但它并非严格意义上基于某种特定底层语言实现的。

Go语言拥有自己的编译器、运行时环境和标准库,这些组件共同构成了一个完整的编程生态系统。Go语言的编译器能够将Go源代码编译成高效的机器码,而运行时环境则负责处理内存管理、垃圾回收和并发调度等底层任务。

因此,虽然Go语言在设计上受到了多种编程语言的影响,但它并非简单地以某种现有编程语言为底层语言来实现。相反,Go语言是一种独立且功能强大的编程语言,它结合了多种编程语言的优点,并提供了一套独特且实用的编程工具和特性。

总的来说,Go语言是一种值得学习和掌握的编程语言,特别是在需要处理并发任务和追求高性能的应用场景中。

回到顶部