haskell - 如何为函数式编程语言编写伪代码？

Question

关闭。这个问题需要更多 focused .它目前不接受答案。

---

想要改进这个问题吗？ 更新问题，使其只关注一个问题 editing this post .

关闭 6 年前。

Improve this question

如何为 Scheme 或 Haskell 等函数式编程语言编写伪代码？我搜索的所有内容都显示了 C 风格或 Python 风格的伪代码。

Answer 1

在 SICP 和其他教程中，您有一些称为乐观编程的东西。您只需命名事物并提供它们可能采用的参数，而不是伪代码。所以假设你想从一个从最低到最高频率的排序节点列表中创建一个霍夫曼树:

(define (huffman nodes)
  (if (single-node? nodes)
      (first nodes)
      (let ([new-node
             (make-node (first  nodes)
                        (second nodes))])
        (huffman (insert-sorted new-node        
                                (cddr nodes))))))

这是完整的算法，它甚至会成为生成的实际代码的一部分，因此它也不是实际的伪代码。 single-node?, make-node, insert-sorted 没有定义，在Scheme中你会得到一个错误，但在CL中你实际上可以使用它，它会跳到调试器中，询问您是否要定义其中的一些，因此您基本上会在执行过程中实现缺少的部分并继续执行，直到一切完成。

我猜想在 Haskell 或任何其他编程语言中，不仅是函数式编程语言，您还可以进行这种乐观的编程——当然是使用您正在实现的语言。最终结果可能会有微小的变化，但不会比其他重构中的变化大。