哈斯克尔-结束了吗？
哈斯克尔-结束了吗？
提问于 2015-10-23 07:18:19
有一段源代码来源于对我的另一个问题的回答，
infFromPrefix :: Eq a => ([a] -> [a]) -> [a] -> [a]
infFromPrefix rules prefix = inf where
inf = prefix ++ case stripPrefix prefix (rules inf) of
Just suffix -> suffix
Nothing -> error "Substitution does not preserve prefix"我确信inf必须是一个闭包，因为它可以从其封闭作用域访问变量，也就是说它使用传递给infFromPrefix的参数，但我不确定，因为infFromPrefix和inf本质上是相同的函数，所以inf只允许更简洁的定义。相应的定义是
infFromPrefix rules prefix = prefix ++ case stripPrefix prefix (rules $ infFromPrefix rules prefix) of
Just suffix -> suffix
Nothing -> error "Substitution does not preserve prefix"我说的对吗，inf是个终结吗？
回答 2
Stack Overflow用户
回答已采纳
发布于 2015-10-23 07:42:02
基于Wiki在程序设计中的闭包上的文章，我认为可以说，inf确实不是一个闭包：
特别要注意的是，嵌套函数定义本身并不是闭包:它们有一个空闲变量，该变量尚未绑定。只有在用参数的值计算封闭函数时，嵌套函数绑定的空闲变量才会创建闭包，然后从封闭函数返回。
Stack Overflow用户
发布于 2015-10-23 09:10:45
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/33305935
复制相关文章
相似问题
腾讯云开发者
