函数规划与解耦

Question

public record Category(string Name);

public interface ICategoryService
{
    Task<IEnumerable<Category>> GetAllAsync();
}

// With a definition for the service that specifies WooCommerce
public class WcCategoryService : ICategoryService
{
    private readonly WCRestEndpoint wcRest;

    // WooCommerce specific dependencies
    public WcCategoryService(WCRestEndpoint wcRest)
    {
        this.wcRest = wcRest;
    }

    public Task<IEnumerable<Category>> GetAllAsync()
    {
        // Call woocommerce REST and map the category to our domain category
    }
}

type Category = { Name: string }
type GetCategories =
    WCRestEndpoint
    -> Category list

type Category = { Name: string }

// No longer directly dependent on WCRestEndpoint
type GetCategories = unit -> Category list

// But the definition would require scoped inclusion of the dependency
// Also how does the configuration get passed in without having the core library be dependent on the Environment or a config in the assembly?
let rest = WCRestEndpoint(/* Config... */)

type getCategories: GetCategories = 
    fun () ->
        let wcCategories = rest.GetCategories()
        // Convert the result into a Category type

我环顾四周，还没有找到任何关于如何用纯粹的功能性方法来处理变更的解释，这让我相信我误解了一些基本的东西。

如何在不将函数类型签名绑定在实现特定类型中的情况下公开函数API？我是不是想错了？

Answer 1

我在这个问题上挣扎了多年，才意识到我对这个问题的看法是错误的。来自面向对象开发和依赖注入，我一直在寻找依赖注入的功能性替代方案。我终于意识到，依赖注入使一切变得不纯，这意味着如果您想应用功能架构，就不能使用这种方法（即使是部分应用程序）。

转移注意力是关注依赖关系。相反，专注于编写纯函数。您仍然可以使用依赖关系反转原则，但是不关注操作和交互，而是关注数据。如果函数需要某些数据，则将其作为参数传递。如果函数必须做出决定，则将其作为数据结构返回。

您没有提供任何示例说明要在何处使用类别值列表，但是依赖于此类数据的函数将具有如下类型：

Category list -> 'a

let Main () =
    let categories = getCategories ()
    let result = myFunction categories
    result