gho*_*dss 11 model-view-controller functional-programming model ruby-on-rails clojure
在MVC Web开发框架(如Ruby on Rails,Django和CakePHP)中,HTTP请求被路由到控制器,控制器获取通常持久存储到后端数据库存储的对象.这些对象代表用户,博客帖子等内容,并且通常在其方法中包含用于权限,获取和/或变异其他对象,验证等的逻辑.
这些框架都非常面向对象.我最近一直在阅读关于函数式编程的内容,它似乎带来了诸如可测试性,简洁性,模块性等巨大的好处.然而,我见过的函数式编程的大多数例子都实现了诸如quicksort或fibonnacci序列之类的琐碎功能,而不是复杂的webapps.我看了几个"功能"的Web框架,他们似乎都很好地实现了视图和控制器,但很大程度上跳过了整个"模型"和"持久性"部分.(我正在谈论更多像Compojure这样的框架,这些框架应该是纯粹的功能,而不是一些方便的似乎使用Scala的OO部分的模型 - 但如果我在这里错了,请纠正我.)
我还没有看到如何使用函数式编程来提供OO编程提供的隐喻,即表映射到对象,以及对象可以提供强大的封装逻辑(如权限和验证)的方法.此外,使用SQL查询来保存数据的整个概念似乎违反了整个"副作用"概念.有人可以解释如何在功能编程的Web框架中实现"模型"层吗？
在不希望来砸面向对象的MVC框架-我不知道Rails的,但Django是软件到我的眼睛的佳作-我不知道该对象-关系映射是一个特别好的比喻1.
当然,在OO语言中,想要根据对象来考虑表格似乎很自然,但在函数式语言中,根据表格来考虑表格是很自然的.可以使用代数数据类型(在Haskell和其他静态类型的函数语言中)或映射(也称为字典;将键映射到值的关联结构)轻松表示单行; 然后一个表成为一系列行,毕竟它甚至在数据库级别.因此,没有从表的DB结构到编程语言中可用的其他构造的特殊映射; 你可以简单地使用两边的桌子.2
现在这并不意味着有必要使用SQL查询来操纵数据库中的数据,而不是基于varios RDBMS的怪癖的抽象优势.由于您使用的是Clojure标签,或许您可能对ClojureQL感兴趣,ClojureQL是一种嵌入式DSL,用于以通用方式与各种DB进行通信.(请注意,它现在正在重做.)您可以使用一些此类DSL来提取数据; 使用纯函数操纵如此获得的数据; 然后显示一些结果,并可能将一些数据保留回DB(使用相同的DSL).
1如果你认为将技术与越南战争进行比较有点极端,我想我同意,但这并不意味着该文章没有很好地描述为什么人们可能不想陷入ORM泥潭.
2请注意,您可以在OO语言中使用相同的方法,并使用与FP语言相同的方式对DB后端进行抽象(请参阅下一段).当然,你的MVC框架将不再像Rails那样.