@fanrong 您这种成功人士也担心这个人，没必要吧，马福利这么坦坦荡荡，您们这种成功人士不学习一下楷模？

就楼上的奋斗逼们，就可以想象为什么这么多企业敢随便 966、裁员了，毕竟不想要的狗被踢掉后还能帮你咬人呢，楼上的成功人士们
@RLado
@fanrong
@justforlook4444

show your title，让我们这些失败人士瞻仰一下，不然净吹这些无用的逼干什么

@20015jjw 我是自己实现了类似 spacefn 的功能（仅限 Linux ），然后用着用着才发现这个问题的- -'''


@cnxobo 我试试

@cnxobo
@20015jjw
@ooxxcc
我很好奇 spaceFN 如何解决有些时候 space 后面接 hjkl 的时候，如果速度很快按 space 完后还没来得及放开就按下了 h，然后映射成了左键值，其实我是想输入空格和 h 两个字母的。

楼上说起数学，有人要来肝 PL 吗？不需要这么多高大上的领域知识，只需要一点点点数学吧，应该不难

@vincel Java 社区乌烟瘴气就是因为你这种摇头晃脑满口设计模式其实半瓶水晃荡毛都不懂的人导致的

@vincel 大哥，是你无知还是我无知你不会查一查吗？你这样很尴尬啊，我都不知怎么回你了，var 是 Java10 的 feature 好吗？

还有什么类型变动不用改类型什么的，最简单的做法你可以连左边的类型都不用写，直接用 var，让编译器给你推导出类型就 OK 了

我来唱反调好了，大部分情况下没用，楼上张嘴闭嘴多态，用实现类接收就不能用多态了？你们懂个毛的 polymorphism，这种滥用 subtyping polymorphism 除了会丢失类型精度，还有什么意义？根本上和静态类型的动机是相违背的

@reus > 我是觉得“社区驱动”本来就是非常搞笑的事情，你社区驱动过什么了？

要是没有大把学习能力差、品味奇葩、张口闭口大道至简的 go 用户组成的社区，你 go 这破烂玩意儿能火？

@reus 你居然用 ML、Haskell 举例。。。要用<>还是()说实话根本不要紧，不过就是考量怎么不显式用∀来引入 type variable 而已。

> 泛型就是以类型作为参数，既然是参数，那放在括号里，有什么问题？ T(int) 就是以 int 为参数，特化出一个新的类型。

这是你的原话，我不是说 type level 之间是 currying 的，我说的是如果真像你说的，int 是很 trivial 的参数的话，为什么 type level 和 value level 之间是 currying 的，也就是 application 的时候是 T(int)(a, b)而不是 T(int, a, b)，为什么？不就是 type parameter 和 value parameter 在 golang 并不是那么 trivial 的关系么，所以为什么()不见得比[]或<>好的原因，因为是不同的 level，用相同的符号是很容易有歧义的。

你要是像其他语言 type variable 和 value variable 都可以当作普通变量调用和传递，那当然没问题了，你又举了 haskell 的例子，haskell 用个毛的<>，haskell 本身就是 separated annotation 而且可以直接写∀，当然不用考虑这些幺蛾子了。

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

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

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

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

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

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

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

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

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

Haskell: hmmmmm....

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