我一直都有点疑问
func :: a -> [a]
func x = yyy

这样写真的好看么...吹嘘的是类型系统，还要手动指明类型

@shyling 不是为了好看了.

Haskell 研究的类型系统是希望能帮助程序员把类型自动推导出来, 一般的都能推导出来, 然而在使用类型类(...没记清楚, 没学好)的情况下无法推导需要手写. 结果真实的场景下很多人都自己写... 其实 Haskell 吹嘘的不是可推导, 而是代数类型系统验证通过以后可靠性更好. 据说以后的 Dependent Type 实现后还更严格.

@shyling 搞 Haskell 的人一般距离实用派有点远, 他们很多都是搞研究的, 比如前几天看的采访, 这位大姐专门研究类型系统, 主业就是 fork GHC 试验新理论, 还带着学生一起搞:
http://www.infoq.com/interviews/weirich-haskell-dependent-types
理论成果渐渐才能渗透到主流语言里被大量的程序员学习, 就像工地上盖楼的人不一定都要会计算建筑承重抗风 blabla 的数学的东西.

Haskell 虽然认为过程式有问题不能直接搞, 但并不是把装的抛弃了的, 只是说用局部变量(只是像局部变量, 实际上用 Monad)把状态管理起来了. 比较绕, 但是理解的话还是会认为有道理的. 越到复杂问题越有感觉.

@shyling

你完全可以不写

Haskell 不是整天拿类型推导吹牛逼么？

因为：
类型推导 -> 你不写类型他也能给你推导出来

@jiyinyiyong

类似 State Monad 这种东西， Monad 的作用是防止副作用扩散。比如 State Monad 就有一个 Unsafe 的，用的就是变量来管理 State 来提高性能。

对于过不过程式，这个东西没什么好讨论的，就是 CPS 变换的问题。 Haskell 里面的 do 语法糖就是干这事的。

@shyling

其实很多时候我都会手动标示类型，因为这个类型是给人看的（比如自己）……

对编译器来说，大部分他都能推导……