A
A
Serif
Sans
White
Sepia
Night
首页
文章
0 votes
answers
views
在Haskell中关于停止概率的非严格评估
假设存在一个实现停止问题的Haskel函数: halt :: Integer->Bool 如果定义了x,则求值为True,否则求值为False . 假设我们在Haskell中调用此函数作为另一个函数 fHalt x = halt (x+1) 我想知道在这种情况下会发生什么,以及fHalt是单调的 . 我可能会得到2个答案: Haskell对预定义的运算符使用严格评估 - 也就是() ...
haskell
halting-problem
monotone
热门问题
22299
为什么处理排序数组比处理未排序数组更快?
18633
如何撤消Git中最近提交的提交?
14365
如何在本地和远程删除Git分支?
10549
'git pull'和'git fetch'之间有什么区别?
9402
什么是正确的JSON内容类型?
8739
“yield”关键字有什么作用?
7999
C中的“ - >”运算符是什么?
7746
如何在提交之前撤消'git add'?
7735
如何重定向到其他网页?
7654
JavaScript闭包如何工作?