documentation - 函数式编程文档

Question

关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。












想改进这个问题？将问题更新为 on-topic对于堆栈溢出。

4年前关闭。




Improve this question




是否有函数式语言的标准文档(如面向 OO 的 UML)？
下载了用 erlang 编写的 couch db 并查看源代码后我惊呆了，几乎没有一行文档。
是否不需要记录所有这些功能如何相互依赖？
是否有更好的文档中型项目免费提供学习，如何使用这种范式完成工作？

Answer 1

在像 Haskell 或 ML 这样的函数式语言中，它们有类型，可能还有模块类型(在标准 ML 中称为“签名”)，这些类型提供了大量的文档。在像 Scheme 这样的函数式语言中，编译器没有检查类型，它们使用“契约”来代替——除非它们是草率的。

Erlang 是在爱立信开发的，电信行业拥有非常强大的文化和测试记录。如果这些功能应该如何工作的文档在某个地方的测试套件中，我不会感到惊讶。

摘要:最接近标准的两个东西是类型(对于具有静态类型系统的函数式语言)和契约(对于没有静态类型系统的函数式语言)。