- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
信息:
从文档和教程中可以看出:默认情况下“Haskell 很懒”。
他们没有解释相关细节,我想知道。
现在我知道如果我写:
filter odd [1, 2, 3]
在结果显示或在表达式中使用之前,它不会过滤结果。
我对此有几个问题:
<小时/>head
函数是惰性函数吗?
如果不是,为什么它不懒惰?
如果是惰性的,Haskell编译器如何知道何时执行该函数?
我给你举个例子:
f a b = head a + head b
f [2, 3] [4, 5]
在这种情况下,从我的角度来看,head 将不会返回 2 + 4。
它将返回一些类型或函数,稍后在需要时执行。 (如果我在某个地方弄错了,请纠正我)。
所以我的建议是,当 Haskell 看到像“+”这样的操作时,它会计算结果。
但它变得更加复杂,因为对于整数,我想如果我写 3 + 5
它也可以是惰性表达式。
我怀疑当惰性表达式开始计算时是否存在包含函数的列表,因为很难编写所有变体。
最后:
f head [1, 2]
假设在 f
函数中我打印了传递的变量的类型。
现在 Haskell 如何知道应该传递 Int 1 还是惰性表达式?
谢谢
最佳答案
我认为这里存在一些混淆,因为术语“惰性”有时在两种不同的上下文中使用。
关于惰性语义与急切语义:考虑这个表达式
(\x -> 42) (error "urk!")
当评估上述内容时,结果是什么?
根据eager语义,我们在调用函数之前评估参数。结果将是一个运行时错误。
根据惰性语义,我们立即调用该函数。这个过程可以从操作上和外延上理解如下。
在操作上,它会传递一个thunk,一个描述尚未评估的参数的对象,并且每当参数x
时都会“强制”(评估) > 是需要的。我们可以假装x
指向未计算的表达式error "urk!"
,当需要x
时,它将被计算。
在表示上,我们使用了一个数学技巧:我们用一个称为“bottom”的特殊值来表示错误,并说错误“urk!”
具有这样的底部值。然后,我们简单地假装这个特殊的值可以被传递。在上面的函数调用中,x
将绑定(bind)到“bottom”,就好像它是一个普通值一样。这可以说更简单,因为我们不需要关注表达式的计算方式,而只需关注底部如何传播。
更准确地说,我们让“bottom”代表运行时错误和非终止(无限递归),这两者都让程序能够返回实际结果。
例如,我们有 if Bottom then .. else ..
将始终产生底部。对于 bottom + 4
也是如此,即底部。再次,SomeConstructor 的 case 底部 -> ...; ...
是底部(好吧,除了 newtypes
,但让我们忽略这一点)。相反,根据 f
的作用,f Bottom
可能是也可能不是底部:如果它需要参数,结果将是底部。
关于惰性(非严格)函数。函数 f
有时被称为“惰性”(或者更准确地说,非严格)当且仅当 f Bottom
是底部。
例如:
f x = x+1 -- strict / non lazy
f x = 5 -- non strict / lazy
head xs = case xs of -- strict / non lazy
[] -> error "head: empty list"
(x:xs) -> x
g x = (x,True) -- non strict / lazy
因此,由于 headbottom
是 casebottomof...
,即底部,因此 head
并不懒惰。在操作上,由于 head
在生成结果之前需要其参数,因此它是严格/非惰性的。
关于g
:惰性语义的一个主要特征是像构造函数对(,)
这样的data
构造函数本质上是惰性的。也就是说,(bottom, 4)
与bottom 不同:这使得即使第一对组件是一个snd (bottom, 4) = 4
“错误”值。
因此,g Bottom = (bottom, True)
不是底部,我们可以应用 snd
来提取 True
而不会触发错误.
关于带 head 函数的 Haskell 惰性问题,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/52732878/
在git中,以下有什么区别? 头 头^ HEAD~1 HEAD~2 它们与 master 有什么关系?那么有没有MASTER^, MASTER~1?? 最佳答案 HEAD 是当前分支上最新提交的同义词
我想实现一个 LinkedListremove 方法,该方法可以删除任何特定位置的项目,但在本例中,我最感兴趣的是删除列表开头(第 0 个位置)的项目。 我的代码适用于 n 大于零的值,因此我为 n=
的顺序有什么关系吗?或 或 标签位于 中? (愚蠢的问题,但其中一件事我直到现在才考虑过。) 最佳答案 优化 据 Yahoo! 的人说你应该put CSS at the top和 scripts
HEAD 是指向当前分支的指针。我见过 HEAD 祖先的各种符号,包括 HEAD~2 HEAD^2 HEAD@{2} 头~~ 头^^ 以上每一项到底是什么意思?这方面的文件在哪里? 最佳答案 来自文档
我对 git 很陌生,任何人都可以帮助我。 我实际上被困在什么是“git diff HEAD”。 “git diff HEAD”和“git diff HEAD HEAD~1”有什么区别 最佳答案 gi
我似乎不知道如何获得 git_reference *到特定 Remote 的 HEAD。 我有: git_repository * repo = NULL; git_reference * ref
关于 firefox浏览器控制台,我可以访问 容器如下所示。 > window [object Window] > documentObject = window["document"
我使用 asp.net 4 和 c#。 我在 Web From 页面中有一个 Web 用户控件。当我包含 Web 用户控件时,我还想以编程方式在最终生成的页面的标记中包含一些脚本。 知道怎么做吗?也许
这可能是一个非常愚蠢的问题,但是加载文件中标签之间的数据并通过 PHP include() 加载它是愚蠢的吗?这样就可以更轻松地进行编辑。谢谢。 最佳答案 不,这不会是愚蠢的。代码重复越少越好。 关于
我编写了以下 facelet index.xhtml: 当我从浏览器获取
我有一个不断递增的“指针”,我需要最终返回指针的“头”。我进退两难,要么使用“pointer[0]”,要么使用另一个名为“head”的变量并初始化它并在最后返回。我觉得前者使代码看起来很脏,后来占用的
git push https://heroku:$HEROKU_API_KEY@git.heroku.com/$HEROKU_APP_NAME_PRODUCTION.git HEAD 和 git pu
当我像这样将 Git 子模块添加到 Git 存储库时, git submodule add ssh://server/proj1/ proj1 git submodule init git submo
我的本地存储库中有一个我不打算推送的提交(A)。现在,HEAD 在 A 处。假设我想在提交 (A) 之上创建另一个提交 (B) NOT,但在前一个提交之上而不是提交 (A)。 如何在不丢失最新
多次调用 head.load 是否同步? 我的意思是,如果我们有这样的代码: head.load('scr1.js',...,'scr8.js'); head.load('scr11.js',...,
执行以下查询时出现以下错误: #1054 - Unknown column 'headings.heading' in 'field list' 标题表中肯定有一个名为“标题”的列。当我测试它时,问题
我试图显示上次提交与之前提交之间的差异: git diff HEAD^ HEAD 但是什么都不显示。事实上,我知道这两个提交之间存在差异。 我做错了什么,我应该如何改正? P.S.:我觉得这个问题以
这就是场景。我有一个运行一些测试的脚本。我需要制作另一个接受 git 提交名称作为参数的脚本,然后执行以下操作: 保存当前提交状态 - 分支名称或未命名提交。 在指定提交时切换到分离的 HEAD 针对
我发现自己经常输入这个,比如当我做了一些改变,提交它,然后要么需要查找我在那里做的事情来弄清楚下一步该做什么,要么确保我没有添加任何意外的东西在将其推送到远程之前提交。 无可否认,diff HEAD^
我是否理解正确,Git head(小写)和 Git HEAD(大写)的区别在于前者是结束提交,后者只是当前提交(无论是最终提交还是非最终提交被选为 HEAD 提交)? 编辑:“结束提交”是指“给定分支
我是一名优秀的程序员,十分优秀!