haskell 初学问疑

flw

原帖由 izhier 于 2009-3-27 11:03 发表

不是太明白你说的语义是什么？

generator　不是只有在需要返回值时，才再次运行函数吗？
难道这没有 lazy　吗？
是不是我对 lazy　的概念有点不清呀？

慢慢来吧。别着急。时间长就好了。

izhier

谢谢各位当家的
看来我还是没入门呀！

[ 本帖最后由 izhier 于 2009-3-27 11:13 编辑 ]

flw

每个语句，或者每个函数，都有它的语义。
语义搞懂这是个讨论的前提。

我前面已经说了，Haskell 的 lazy 体现在：
语义承诺了很多，不一定真的会去做那么多，实际上只要做到刚好就行了
这就叫惰性求值。

yield 的语义，就是立即停止本函数的运行，并且当前的调用栈打包到一个生成器对象中，并且 return 这个生成器对象
你可以清清楚楚地看到，yield 根本就没承诺会继续运行——除非你调用了 yield 所返回的生成器的 next 方法。
但调用 next 方法之后所导致的行为这又是 next 方法的语义了，它的语义和行为始终是是一致的。

izhier

还有一个问题，也是关于递归的

haskell 对递归进行优化，从而程序员可以大量使用递归
而 imperative 语言中不提倡运用递归，因为递归会消耗大量的资源

为什么 imperative 语言不对递归进行像 haskell 那样的递归优化？

难道 imperative 语言优化递归
没有
functional 语言优化递归
方便，更容易实现？

[ 本帖最后由 izhier 于 2009-3-27 12:11 编辑 ]

MMMIX

原帖由 izhier 于 2009-3-27 12:09 发表
为什么 imparetive 语言不对递归进行像 haskell 那样的递归优化？

这个依赖于编译器，有些有，有些没有。

flw

原帖由 izhier 于 2009-3-27 12:09 发表
还有一个问题，也是关于递归的

haskell 对递归进行优化，从而程序员可以大量使用递归
而 imperative 语言中不提倡运用递归，因为递归会消耗大量的资源

为什么 imperative 语言不对递归进行像 haskell 那 ...

不方便也许也是有的。毕竟有那么多的变量。

MMMIX

原帖由 flw 于 2009-3-27 12:13 发表

不方便也许也是有的。毕竟有那么多的变量。

尾递归的优化倒和这个没有什么关系。

freearth

我觉得即使在命令式语言中，如果递归能够清楚的表达你的代码的意思，用递归很好。
“命令式语言不提倡用递归”这个观念应该改改。
毕竟“代码是写给人看的，只是偶尔让机器执行一下”。
而且“代码应该表达程序的逻辑，性能应该交给编译器去关心”。

当你写的东西完成后，在发布之前需要进行性能调优。
此时，通过profiling找出程序的关键路径，如果有某个递归调用的函数在关键路径上，并且由于递归消耗了大量的时间，此时，才应该考虑将这个递归改写成循环。

原帖由 izhier 于 2009-3-27 12:09 发表
还有一个问题，也是关于递归的

haskell 对递归进行优化，从而程序员可以大量使用递归
而 imperative 语言中不提倡运用递归，因为递归会消耗大量的资源

为什么 imperative 语言不对递归进行像 haskell 那 ...

MMMIX

原帖由 freearth 于 2009-3-27 13:30 发表
我觉得即使在命令式语言中，如果递归能够清楚的表达你的代码的意思，用递归很好。
“命令式语言不提倡用递归”这个观念应该改改。

agreed. 不知道他是从什么地方听来的这个。

毕竟“代码是写给人看的，只是偶尔让机器执行一下”。

许多时候这个应该反过来说。

izhier

又一个问题::wink:

1. 
   
2. haskell 中运算符是贪婪性匹配的
   
3. 那
   
4. haskell 中 function 获取参数也是贪婪性的吧？
   

复制代码