在OO中使用函数式语言概念 - 是否有语言？

Question

我最近在想着在编写Pythonic程序时我并不总是使用OO的漂亮概念。 特别是，我认为我有兴趣看到一种语言，我可以编写典型的Web脚本

# Fictional language 
# This script's combined effect is to transform (Template, URI, Database) -> HTTPOutput

HTTPOutput: 
    HTTPHeaders + Maintext

Flags:                              # This is a transform URI -> Flags 
    value = URI.split('?').after
    refresh = 'r' in value
    sort = /sort=([a-z])/.search(value)

HTTPHeaders:                       # This is a transform Flags -> HTTPHeaders
    'Content-type:...' +  Flags.refresh ? 'Refresh: ...' : ''

Maintext:
    Template.replace('$questions', PresentedQuestions [:20] )

Questions:
    (Flags.sort = 'r') ? RecentQuestions : TopQuestions 

PresentedQuestions:
    Questions % '<h4>{title}</h4><p>{body}</p>'

RecentQuestions:
    Database.Questions . sort('date')  

TopQuestions:
    Database.Questions . sort('votes') 

走着瞧吧？ 我想尽可能多地制作物品; 每个段落声明我称之为变换的东西。 例如，有一个转换HTTPHeaders 。 在命令式语言中，它将是类，对象和函数的组合声明：

class HTTPHeaders_class
{
     public char* value
     HTTPHeaders_class() 
     {
         value = ... + Flags.refresh ? + ... // [1] 
     }

}

class Flags_class 
{
     public char* flagstring;
     public bool refresh;
     ...
     Flags_class() 
     {
         value = ... /* [3] */ 
         refresh = ...
     }
}

Flags = new Flags_class (URI)
HTTPHeaders = new HTTPHeaders_class (Flags)   // [2]

但是，我想无法指定对象应该更改，除非对象的输入发生变化; 并没有办法产生副作用。 这大大简化了语言。 我相信这意味着我们正在进行函数式编程 （“将计算视为数学函数的评估并避免状态和可变数据的编程范例”）。

我当然尝试使用像Python类，MVC框架和Django这样的东西（感谢答案），但我不认为他们有上面和下面的概念。

1. 每个对象都有一个value字段，可以通过编写类名来引用它。
2. 如果在某处引用HTTPHeader ，则意味着尽快创建静态的， HTTPHeader更改的对象HTTPHeader 。 然后，对HTTPHeader所有引用都引用此对象。
3. 假设我想在解释器仍在内存中时使用相同的URI对象重复该程序。 由于Flags仅依赖于Flags上的URI和HTTPHeaders ，因此不会重新计算这些Flags 。 但是，如果Database被修改，那么Questions需要重新计算，因此HTTPOutput可能随之改变。
4. 解释器自动推导出初始化类的正确顺序。 当然，他们的依赖必须形成一棵树。

我相信这对于没有副作用的Web脚本等程序来说是一个有用的模型。 是否有一种有用的语言可以写出与此类似的程序？

Answer 1

如果您真的想深入研究使用Python进行Web应用程序开发，那么请查看Django 。 在这种情况下，最好使用MVC架构，Django在支持MVC应用程序方面做得非常好。

您可能感兴趣的更多是声明性编程方法而不是功能性方法。 函数式编程更关注将输入映射为纯（数学）函数。 声明性方法是关于说明应该发生什么而不是如何做到这一点。

无论如何，深入了解Model-View-Controller和Django。 您可能会发现它以完全不同的方式符合法案。

Answer 2

看看F＃ 。 它专门设计为一种功能语言（基于OCaml ），具有利用.NET堆栈的OO支持。

Answer 3

这实际上感觉非常像Haskell，除了你没有在这里使用纯函数。 例如， Flags没有传递URI; URI是一个单独的定义，可能每次调用时都不会生成相同的URI，依此类推。

要使URI成为纯函数，它必须有一个参数可以为它提供当前请求，因此它总是可以为相同的输入返回相同的值。 （没有任何参数可以处理，纯函数只能在闭包的整个生命周期内返回相同的结果。）但是，如果你想避免每次都明确地给URI一个参数，这可以通过各种技术来完成; 我们在Haskell中使用monads。

在我看来，您正在考虑的编程风格可能基于“组合器”，其具有在框架内粘合在一起的小功能，以产生执行整体处理的大型复杂功能。

Answer 4

我看到我最喜欢的语言还没有被提及，所以我想进入并建议Dyalog APL作为100％函数编程的语言。 APL有悠久的历史，并且在没有互联网的情况下开发 - 但Dyalog是最活跃的APL实施提供商，他们还拥有一个免费提供的功能齐全的网络服务器 。 （翻译也可以免费用于非商业用途。）

Answer 5

我不认为它正是您正在寻找的，但Scala尝试在一种通用语言下集成OO和功能特性。

Answer 6

您的代码看起来像是用于Web应用程序的DSL，而Sinatra就是这样的DSL。 Sinatra并没有完全按照你的方式去做，但它在同一个球场。 http://www.sinatrarb.com/ - 它是用Ruby编写的，但是嘿，让我们在动态语言中成为朋友。