@reus > 泛型就是以类型作为参数，既然是参数，那放在括号里，有什么问题？

为什么 type parameters 可以 currying，而其他参数不能呢？

我觉得吧，一方面，虽然不是正经做 PL 的，所以有时候显得业余和幼稚，但是想造个语言，写个编译器玩玩的什么的还是值得鼓励的。

另一方面，我已经看到过很多次了，就是很多人会觉得会做编译器，造个编程语言是一件很了不起的事情，然后到处宣传，老忽悠，你不能拿一坨垃圾（可能你也不知道）来骗群众，让别人觉得 PL 就是这样的一个领域，这样的人已经够多了，导致现在风气特别差，或许是因为大家也不是这么了解 PL，经得起忽悠。

我是建议如果想好好干，就把书和论文好好读一遍，别那么无知，如果想玩玩也很好啊，把态度放端正，明确告诉大家这是我做的小玩具，大家讨论讨论，我觉得那样挺好的。

你可能也不服气，比如你把声明和赋值搞成一样，感觉非常简洁、聪明的 feature，然而放到 real world 场景下就是 bug 的温床。

我现在越来越觉得写编译器是一回事，如果是设计语言，最重要是要有好的 taste。

@no1xsyzy 核心不是 coc 么，pattern match 不过就是个 eliminator 而已，而且跟 Atom, 和 symbol 有啥关系。
@hwdef LZ 给的 repo 没有，是放其他地方了么。。。

> 推荐理由：精心设计的语法，易于编写和阅读。可能是目前世界上语法最精简的静态编程语言。

Haskell: hmmmmm....

代码也没开源，这是要干啥。。。

惊了，一个写 golang 的人，吐槽写 Java 代码冗余恶心，我算算这是在黑谁呢，你家 golang 没有参数多态用代码生成器的事迹还历历在目呢，一眼看过去全是 err != nil 谈什么恶心，来用 Haskell 吧，保证优雅。