首页 文章
  • 0 votes
     answers
     views

    在Haskell中关于停止概率的非严格评估

    假设存在一个实现停止问题的Haskel函数: halt :: Integer->Bool 如果定义了x,则求值为True,否则求值为False . 假设我们在Haskell中调用此函数作为另一个函数 fHalt x = halt (x+1) 我想知道在这种情况下会发生什么,以及fHalt是单调的 . 我可能会得到2个答案: Haskell对预定义的运算符使用严格评估 - 也就是() ...

热门问题