xamarin - 函数式编程和依赖倒置 : how to abstract storage?

Question

我正在尝试创建一个具有较低级别库的解决方案，该库将知道在调用某些命令时需要保存和加载数据，但保存和加载功能的实现将在特定于平台的项目中提供它引用了较低级别的库。

我有一些模型，例如:

type User = { UserID: UserID
              Situations: SituationID list }

type Situation = { SituationID: SituationID }

我想要做的是能够定义和调用函数，例如:

do saveUser ()
let user = loadUser (UserID 57)

有什么方法可以在功能习语中清晰地定义它，最好同时避免可变状态(无论如何都不需要)？

一种方法可能看起来像这样:

type IStorage = {
    saveUser: User->unit;
    loadUser: UserID->User }

module Storage =
    // initialize save/load functions to "not yet implemented"
    let mutable storage = {
        saveUser = failwith "nyi";
        loadUser = failwith "nyi" }

// ....elsewhere:
do Storage.storage = { a real implementation of IStorage }
do Storage.storage.saveUser ()
let user = Storage.storage.loadUser (UserID 57)

这方面有一些变化，但我能想到的所有变化都涉及某种未初始化的状态。 (在 Xamarin 中，还有 DependencyService，但这本身就是我想避免的依赖项。)

有没有办法编写调用尚未实现的存储函数的代码，然后在不使用可变状态的情况下实现它？

(注意:这个问题与存储本身无关——这只是我正在使用的示例。它是关于如何在不使用不必要的可变状态的情况下注入(inject)函数。)

Answer 1

这里的其他答案可能会教您如何在 F# 中实现 IO monad，这当然是一种选择。不过，在 F# 中，我通常只使用 与其他函数组合函数 .您不必为了执行此操作而定义“接口(interface)”或任何特定类型。

从 开发您的系统由外而内 ，并通过关注它们需要实现的行为来定义您的高级函数。让他们高阶函数 通过将依赖项作为参数传递。

需要查询数据存储？传入 loadUser争论。需要保存用户吗？传入 saveUser争论:

let myHighLevelFunction loadUser saveUser (userId) =
    let user = loadUser (UserId userId)
    match user with
    | Some u ->
        let u' = doSomethingInterestingWith u
        saveUser u'
    | None -> ()

loadUser参数被推断为 User -> User option 类型, 和 saveUser如User -> unit , 因为 doSomethingInterestingWith是 User -> User 类型的函数.

您现在可以“实现”loadUser和 saveUser通过编写调用低级库的函数。

我对这种方法的典型 react 是:这需要我向函数传递太多参数!

确实，如果发生这种情况，请考虑这是否不是该功能试图做太多事情的气味。

由于Dependency Inversion Principle在这个问题的标题中提到，我想指出 SOLID principles如果所有这些都一起应用，效果最好。 Interface Segregation Principle说接口(interface)应该尽可能小，并且不会比每个“接口(interface)”都是单个函数时更小。

有关描述此技术的更详细的文章，您可以阅读我的 Type-Driven Development article .