程序派生定义为从程序的规范派生程序。通常这种规范语言是某种形式的命题逻辑,但据我所知,它不必是。为了具体起见,我只处理像Haskell这样的纯函数式语言。当您用Haskell编写程序时,您不是在描述计算是如何完成的,而是描述了什么是什么。例如,在产生Fibonacci数的函数中,所有这些都是Fibonacci数的规范,而不是函数应该如何实现的规范。fib :: int ->
很抱歉有这样的问题。我是一个非常初级的程序员,我刚刚开始学习Haskell。最近,我遇到了一个在Haskell中实现函数的练习,该函数返回无限个Fibonacci数列表。下列代码是这项工作的答案:fibs = fibs2 0 fibs2 :: Int -> [Int]
fibs2 x = (fib2) x :