如何在函数式编程语言中实现Rails类型webapp中的“模型”？

Question

在MVC Web开发框架（如Ruby on Rails，Django和CakePHP）中，HTTP请求被路由到控制器，控制器获取通常持久存储到后端数据库存储的对象。这些对象代表用户，博客文章等等，并且通常在其方法中包含权限，获取和/或变异其他对象，验证等的逻辑。

这些框架都非常面向对象。我最近一直在阅读关于函数式编程的内容，它似乎带来了诸如可测试性，简洁性，模块性等巨大的好处。然而，我见过的函数式编程的大多数例子都实现了诸如quicksort或fibonnacci序列之类的琐碎功能，而不是复杂的webapps。我看了几个“功能”的Web框架，他们似乎都很好地实现了视图和控制器，但很大程度上跳过了整个“模型”和“持久性”部分。 （我正在谈论更多像Compojure这样的框架，这些框架应该是纯粹的功能，而不是一些方便起来似乎使用Scala的OO部分的模型 - 但如果我在这里错了，请纠正我。）

我还没有看到很好的解释，如何使用函数式编程来提供OO编程提供的隐喻，即表映射到对象，而对象可以具有提供强大的封装逻辑（如许可和验证）的方法。此外，使用SQL查询来保存数据的整个概念似乎违反了整个“副作用”概念。有人可以解释如何在功能编程的Web框架中实现“模型”层吗？

Answer 1

不想破坏面向对象的MVC框架 - 我不知道Rails，但是Django对我来说是一个很好的软件 - 我不确定对象关系映射是particularly good metaphor ¹

当然，在OO语言中，想要根据对象来考虑表格似乎很自然，但在函数式语言中，根据表格来考虑表格是很自然的。可以使用代数数据类型（在Haskell和其他静态类型的函数语言中）或映射（也就是字典;将键映射到值的关联结构）轻松表示单行;然后一个表成为一系列行，毕竟它甚至在数据库级别。因此，没有从表的DB结构到编程语言中可用的其他构造的特殊映射;你可以简单地使用双方的表格。 ²

现在这并不意味着有必要使用SQL查询来操纵数据库中的数据，而不是基于varios RDBMS的怪癖的抽象优势。由于您正在使用Clojure标记，或许您可能对ClojureQL感兴趣，这是一种嵌入式DSL，用于以通用方式与各种DB进行通信。 （请注意，它现在正在重做。）您可以使用一些此类DSL来提取数据;使用纯函数操纵如此获得的数据;然后显示一些结果，并可能将一些数据保留回DB（使用相同的DSL）。

---

¹ 如果你认为将技术与越南战争进行比较有点极端，我想我同意，但这并不意味着文章没有很好地描述为什么人们可能不想陷入ORM泥潭。

² 请注意，您可以在OO语言中使用相同的方法，并使用与FP语言相同的方式对DB后端进行抽象（请参阅下一段）。当然，你的MVC框架将不再像Rails那样。

Answer 2

查看Conjure web application framework以获取如何在函数式编程语言中实现MVC框架的示例。 Conjure使用clj-record作为模型层，它支持关联和验证。