- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
在深入研究 monad 之后,我了解到它们是一个通用概念,允许在某些上下文(失败、非确定性、状态等)内链接计算,并且它们背后没有魔法。
即使不是魔法,但 IO monad 仍然感觉很特别。
main
运行功能 最佳答案
you cannot escape IO monad like you can with other monads
IO
emulation in pure Haskell – 基本上只是一个
State
通过大量全局可用的数据。这将具有
IO
的所有语义。 ,但没有实际与现实世界交互,只是对其进行模拟。
Maybe a
中提取值。 (可以是
Nothing
)或
Reader b a
(如果
b
无人居住怎么办?)
IO
action can only be run by themain
function
main
运行。功能。未以某种方式从
main
调用的代码只会坐在那里,您可以将其替换为
undefined
没有改变任何东西。
IO is always at the bottom of a monad transformers chain
ST
.
Implementation of
IO
monad is unclear and source code shows some Haskell internals
IO
的复杂性实现实际上与高度优化有很大关系;对于专门的纯单子(monad)也是如此(例如
attoparsec )。
IO
那样有用类型。
IO
的内部可能不清楚,但外部,实际的单子(monad)接口(interface),非常简单。
in pure code evaluation order doesn't matter
Prelude> take 10 $ foldr (\h t -> h `seq` (h:t)) [] [0..]
[0,1,2,3,4,5,6,7,8,9]
Prelude> take 10 $ foldr (\h t -> t `seq` (h:t)) [] [0..]
^CInterrupted.
IO
或其他),因为更改序列顺序会更改结果 Action 的实际结构,而不仅仅是运行时将用于构造此结构的评估顺序。
Prelude> [1,2,3] >>= \e -> [10,20,30] >>= \z -> [e+z]
[11,21,31,12,22,32,13,23,33]
Prelude> [10,20,30] >>= \z -> [1,2,3] >>= \e -> [e+z]
[11,12,13,21,22,23,31,32,33]
IO
非常特别,确实我认为有些人不愿称它为 monad(对于
IO
履行 monad 法则的实际含义有点不清楚)。特别是,惰性 IO 是一个巨大的麻烦制造者(最好始终避免)。
关于haskell - IO monad 在什么意义上是特殊的(如果有的话)?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/36596701/
我有一张 table People (First_Name, Last_Name)。此表包含与示例中一样重复的记录(并非所有行都重复): First_Name Last_Name John
我用 Java 编写过很多程序,之前也涉足过 C++。我在各种 C++ 书籍中阅读了有关指针的内容,并完成了书籍中的各种示例。 我了解指针的基础知识,但有一件事我一直不清楚。指针在现实世界中的应用是什
线 .Mappings(m => m.FluentMappings.AddFromAssemblyOf() 它有什么作用?它会在派生自 ClassMap 的 Product 类的程序集中查找任
我有用于打印数字的自定义打印功能。我制作了一个 ASCII 版本和一个 UTF-16LE 版本。 UTF-16LE 版本对 0-9 使用全角代码/字符,对十六进制使用 A-F。在调试我的函数时,我注意
这是我的代码片段: float ab(float); 以后 if(ab(temp)
我在一个项目文件中包含以下代码: //begin of the file ((window) => { 'use strict'; class View extends GSM.Event
我一直在到处寻找关于 ? 用法的正确解释。和 *。我注意到我可以使用以下方法拒绝所有用户的访问: 如果我想允许某个组,我应该在其上方添加下一行: 但是当我看到人们使用 ? 时,我开始忘记什么意思,
我正在关注 melon js tutorial .这是在我的 HUD.js 文件的顶部。 game.HUD = game.HUD || {} 我以前在其他例子中见过这个。 namespace.some
我正在处理一个包含数千行代码的文件。我正在第 700 行实现一个算法。我经常不得不离开这些行来检查文件中的其他方法。 导航回到我实际编码的地方通常很痛苦。如果我可以在第 700 行设置一个航路点并为其
我遇到了这段代码 do { if (higherQuality && w > targetWidth) { w /= 2; if (w &
uint8_t * const LCDMem = (uint8_t *) &LCDM3; 此代码在 msp430fg4618 培训套件中用于 lcd 配置。谁能解释一下上述代码的含义? 它允许使用 a
上下文 阅读一些内核代码。 问题 我不明白这行是什么意思 *(void **) &(int[2]){0,PAGE_SIZE}; 还有更多,这是什么意思 {0,PAGE_SIZE} 对我来说,它看起来不
我正在查看 Underscore.js 的源代码库,专门用于 map方法(该页面第 85 行左右,并复制到此处): _.map = function(obj, iterator, context)
很难说出这里要问什么。这个问题模棱两可、含糊不清、不完整、过于宽泛或夸夸其谈,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开,visit the help center . 关闭 9
我是一名优秀的程序员,十分优秀!