Functional programming 长生不老药改变行为

Functional programming 长生不老药改变行为,functional-programming,elixir,behavior,Functional Programming,Elixir,Behavior,这主要是一个函数式编程问题,而不是长生不老药问题,但由于我正在学习长生不老药,如果有人能用这种语言回答它,那就太好了。即便如此,如果有人想给出一个更一般的答案,我们将不胜感激 我自己也是一名OO程序员,我无法思考如何基于配置文件(例如)更改组件的行为 例如: 我有一个从数据库加载/保存用户的应用程序。在生产环境中,我希望从MongoDB数据库中保存和检索用户,而在开发和测试中,我希望使用内存映射。若我用OO语言(比如Java)对给定的系统进行编程,我只需创建一个名为“UserRepository

这主要是一个函数式编程问题,而不是长生不老药问题,但由于我正在学习长生不老药,如果有人能用这种语言回答它,那就太好了。即便如此,如果有人想给出一个更一般的答案,我们将不胜感激

我自己也是一名OO程序员,我无法思考如何基于配置文件(例如)更改组件的行为

例如: 我有一个从数据库加载/保存用户的应用程序。在生产环境中,我希望从MongoDB数据库中保存和检索用户,而在开发和测试中,我希望使用内存映射。若我用OO语言(比如Java)对给定的系统进行编程,我只需创建一个名为“UserRepository”的接口,其中包含两个实现:“MemoryUserRepository”和“MongoDBUserRepository”。然后,我会在启动时根据配置文件实例化相应的存储库(或者对其进行硬编码,这无关紧要),之后,与存储库交互的所有对象将永远不会知道它的实现(他们将使用存储库,但永远不会关心它是在内存中还是在mongo中)。 这使我能够创建任意数量的实现,而改变系统行为所需做的唯一一件事就是实例化我想要使用的实现

我想要同样的行为,但在长生不老药(让我们使用相同的例子)。因为它不是面向对象的语言,所以我不能使用上述方法。显然,我希望它是可扩展的(我可以很容易地传递一个字符串,其中包含我想在每次调用中使用的存储库类型,并使用模式匹配来确定要使用的行为,但这不能很好地扩展,因为每次我想添加一个实现时,我都必须查看模式匹配类型的每一段代码并添加新的实现).实现这一目标的最佳方法是什么


提前感谢!

假设您有两个(或更多)存储库实现,它们实现了相同的接口:

defmodule MyApp.Repository.Memory do
  def get(key) do
    # ...
  end

  def put(key, value) do
    # ...
  end
end

defmodule MyApp.Repository.Disk do
  def get(key) do
    # ...
  end

  def put(key, value) do
    # ...
  end
end
然后,您可以编写一个通用存储库模块,根据config/config.exs文件中的配置值,将函数调用转发到存储库后端之一:

defmodule MyApp.Repository do
  @backend Application.get_env(:my_app, :repository_backend)

  defdelegate [get(key), put(key, value)], to: @backend
end
可以进行特定于环境的配置(只需查看使用
mix new my_app
新创建的mix项目中的default config.exs即可):

在整个代码中,您可以只使用
MyApp.Repository
模块,而无需显式引用以下特定实现之一:

MyApp.Repository.put(:foo, "Hello world!")
value = MyApp.Repository.get(:foo)

事实上,虚拟函数表正是多态性在大多数OO语言中实际实现的方式。这比中描述的更可取吗?我认为后者更通用,因为它让您可以在流程级别而不是模块级别设置后端。这取决于您的用例,但我不想让事情过于复杂他的答案。老实说,我已经忘记了你链接到的答案;-)尽管基本机制保持不变:在混合配置中指定后端/适配器,然后在代码中使用它。旁注:如果你将模块作为参数注入,你可能需要使用
apply/3
来调用它的函数。一个更正。OO和Functional不是相互正交的。真正的长生不老药没有职业,但这并不意味着它不能。
MyApp.Repository.put(:foo, "Hello world!")
value = MyApp.Repository.get(:foo)