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

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

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

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

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

用形式化验证，代码一分钟，证明十小时，懒的时候就写 quickCheck。

Rust、Haskell：没有 null，不能每次都判断 null，真羡慕你们这些成功的语言。

这都能讨论这么多，我的天，不就是个 Monad 随手就能解决的问题么，真是尴尬

川大一般不安排周末课程，说实话除了少数硬核老师开的课，其他的质量都很差。

人家是想学编译原理，不是想学 parser 原理，都答的啥啊。。。去看 eopl，在写各式各样的解释器就懂不少东西了，再挑喜欢的方向深入，比什么各种编译器书高多了

S3-fuse

这个帖子真是奇观。。。
@void1900 看你的回复就知道，你不是做存储的，实际也不懂，回去多看书和论文吧，还 RAID。。。

这里的三副本往往指的是分布式存储中的三副本，具体细节没说，号称 9 个 9 可靠性，下意识还以为是用 Raft/Paxos 做了强一致性同步，结果呢，磁盘 Bug 导致全部数据没了，没了。。。多大脸。。。

3.5 之后，可以用 type hint，然后在运行前，用 mypy 检查一遍

我有点愤怒，楼主是不是看不起我荷兰！😕😕😕