Tripod-语言参考规范（草案）

[Qiaogui]

我曾在 V2EX 发过一个要开发一门编程语言的帖子，这是最新的进展。 Github： https://github.com/QiaoguiDai/Tripod 原贴： https://www.v2ex.com/t/561958

[makdon]

这么长，有热心群众画一下重点吗

[ashong]

精神可嘉，加油👍

[keith1126]

不错，楼主居然真的动手做了点东西，聊胜于无。

粗粗读了前几章，感觉就是在 C 的基础上稍微修修补补？

[fakeinc]

虽然我知道我的问题可能有些 naive，不过我还是要问一句为什么要有 /** */ 的注释。

[hsfzxjy]

像是基于 Object Pascal(Delphi) 改编的，糅合了一点 C。但没看到什么特别新的东西

[luob]

我觉得我无法忍受在 readme 啥都不写然后 repo 里放 pdf 文档这种蠢事。

[SuperMild]

PDF 排版很优秀啊。

希望可以增加一些小 example，与别的语言对比，体现你这种语言的优点，这样会直观很多。

[Em5O7B1JGfjQnBry]

唉，我觉得吧，咱能不能多读点书、paper 再出来搞个大新闻，你这除了对 C++拙劣的模仿还有啥？ PL 有些东西已经很成熟了，不好好学习瞎整除了误导别人还有什么意义？

sum type 这么自然的结构没有，还 null ？噢，还引入了 nil。。。

template 作为 meta language 虽然可以做泛型来用，但是我很好奇怎么保证 parametric polymorphism 的 forall 语义，不保证的话像 C++一编译一路 SFINAE 就狂吐错误么？再说了，你这也没有 concepts 做限制吧。

你号称解决 C++的遗留问题，你知道你不但没解决这些问题，还更垃圾了么？

[Em5O7B1JGfjQnBry]

你写的这么多，还不如给个 Semantic Specification，不用说，连 spec 都没有，你估计都没想过证明你的 type system 的正确？写编译靠蒙吗？

[BCy66drFCvk1Ou87]

lz 加油

[WispZhan]

建议你多看看这近 10 年，新诞生的语言到底优化和解决了啥。

你这说实在的不如 cpp，特别是 17 以后的特性

[trait]

你还没有上大学吗，如果是中学生，这 pdf 还能理解。大学的话，建议你练习一下论文怎么写的，这样下去你怕是毕业论文都够呛
先把现有的语言学好吧，看你这写的，现有的语言都没搞明白
https://i.loli.net/2019/06/08/5cfb53f11181780894.png

[Aumujun]

@trait 摆出一副世外高人的样子, 那你说说你截的图里正确意思呗.

[Aumujun]

@trait 看了你的所有回复帖子, 都是一副欠揍的语气

[trait]

@Aumujun 又是个连基本的 pl 知识都不懂的上来送人头了 搞清楚什么叫 scope http://lucacardelli.name/papers/typesystems.pdf http://faculty.cse.tamu.edu/hlee/csce314/lec09-scope-type.pdf
你也就只会再网上无能狂怒，我等着你揍

[trait]

@Aumujun 连个 scope 这种语言基本知识都能让你产生世外高人的感觉，你菜的太真实 block

[purgle]

楼主加油，继续改进

[qgs]

初略看了一下基本语句，为什么关键字不统一大小写呐，Else 这编程很烦啊, 另外 do 语句(??)和不加 do 有区别吗！！？

[scalaer]

关注后续

[jc89898]

看了一下，怕是连我们大一编译原理课程布置的 toy language 还要不靠谱。回去看看龙虎书吧