本文目录
怎么看待王垠对 Haskell 的评价
其实haskell确实是一个入门比较困难的语言，所以有人说不推荐初学者去学习我认为是非常可以理解的。象他提到的类型推理不利的问题我已经遇到过很多次了，完全相同的代码只是增加类型说明就可以编译通过。另外我也试过和另外语言去比较（python）同一任务haskell需要写更多的代码，但是那是因为haskell不做预设逻辑（主要是针对输入为空等情况）。但是个人还是觉得haskell是值得来学习的语言，首先就是它的独特性：现在惰性和纯函数式的语言本就很少，接触这样的语言还是非常有利于学习者了解编程世界的广阔性，学习最主要的目的之一不就是开拓视野么？而且pure的语言可以逼迫编程者修改他的设计思路，让他考虑如何把交互和pure算法分离，而之前我个人很少有过这个方面的考虑，因此代码都是随机揉合的。其次是严谨性：就如前面的回答者说的，严谨和便利不可兼得，当时写一个很简单的字符串分段排序别人用python写出比我用haskell更加短。但是为什么可以做到呢？那是因为python用自己默认的逻辑处理了诸如空字符串这样的异常场景，而haskell完全需要手工去写。语言不帮你增加隐含的逻辑处理当然是不方便的，不过学习这样的语言可以让你更加自然的想到要考虑更多的逻辑细节。最后我想说的是，之前看过一个采访视频，是ghc的设计师。他的说法就是haskell师一个“理想国”似的前沿试验场，他会从这里吸取养分和教训，然后落地到其他一些更加“实用”的语言中去。从这个层面来说通过学习haskell知道它有些什么不足和缺陷也是非常有价值的，只有亲身体验才能避免被别人忽悠
如何评价王垠正在设计和开发的 Yin 语言
Lisp家族的S表达式（语法上将数据和代码统一，语法分析和词法分析统一了。主要是一种风格，其实对用户没什么真正的好处。能称的上好处的就是如果作为一个发展中的事物，方便扩展。宏的话，很微妙。）
Haskell的完全克里化（多参数函数都是单参数函数嵌套出来的，参数不足也可以调用，会返回一个部分函数）。
Haskell的多态函数（参数类型不确定，会根据调用处使用的类型来匹配函数声明。其实C++有函数重载，而且函数模板还能跟函数重名，跟这其实是一回事，但是C++比较低调不会这么叫。）
Lua的多变量赋值（常见的赋值是一个表达式，或者只是一个语句，有一个左值和一个右值，但这里可以出现多个左值/多个右值。例子里面进一步提供了结构化的赋值，可以接合向量或者哈希表来匹配）。
Scheme的第一类函数（使用lambda特殊操作符产生一个函数，不需要定义函数体的特殊语法，yin这里使用的关键字是fun。）
Algol的静态的嵌套词法域（不同于Scheme的let，这里使用declare关键字给declare块所在的词法域引入变量。）
王垠不再推荐haskell 有道理吗
作为一个老牌 Haskell 黑，我得说王垠的看法我基本认同。五六年前，我就一直说Haskell的语法和类型系统是走了一条不求解决问题但求彰显思想的邪路。对一个严肃的工程师来说，如果目的不是学习而是工程，那么Haskell不是他/她应该去关注的语言和社区。如果真的关注实用化函数式程序设计，Scheme是更好的选择。
