architecture - 函数式编程架构

Question

我熟悉面向对象的体系结构，包括使用设计模式和类图进行可视化，并且我了解面向服务的体系结构及其契约和协议(protocol)绑定(bind)，但是软件有什么特征吗用函数式编程语言编写的系统架构？

我知道 FP 已用于中型到大型项目。保罗·格雷厄姆 (Paul Graham) 撰写了雅虎的第一个版本!存储在 Common Lisp 中。一些 Lisp 开发系统很复杂。用函数式语言编写的人工智能和金融系统可能会变得相当庞大。不过，它们都至少具有某种固有的架构，我想知道它们是否有任何共同点？

基于表达式求值的架构是什么样的？ FP 架构是否更具可组合性？

更新:凯尔提醒我 SICP是该主题的一个很好的资源。

更新 2:我发现了一篇关于该主题的好帖子: How does functional programming affect the structure of your code?

Answer 1

使用函数式语言的项目“架构”的共同点是，它们往往被分为代数层，而不是传统系统架构意义上的子系统。

有关此类项目的精彩示例，请查看 XMonad , Yi ，和HappS 。如果你检查它们的结构，你会发现它们由单层结构组成，中间有一些组合胶。

另请参阅The Scala Experiment论文概述了一种体系结构，其中系统由抽象其依赖关系的组件组成。