-
24 votesanswersviews
理论计算机科学什么时候有用?
在课堂上,我们了解了暂停问题,图灵机器,减少等等 . 许多同学都说这些都是抽象和无用的概念,而且知道它们并没有真正的意义(即,一旦课程结束,你就会忘记它们结束而不是失去任何东西) . 为什么理论有用?你有没有在日常编码中使用它? -
0 votesanswersviews
在Haskell中关于停止概率的非严格评估
假设存在一个实现停止问题的Haskel函数: halt :: Integer->Bool 如果定义了x,则求值为True,否则求值为False . 假设我们在Haskell中调用此函数作为另一个函数 fHalt x = halt (x+1) 我想知道在这种情况下会发生什么,以及fHalt是单调的 . 我可能会得到2个答案: Haskell对预定义的运算符使用严格评估 - 也就是() ...