C# netcore3.1 Linq：是否建议使用 Select() 调用“不纯”函数？

Question

给定一个“不纯”（即产生副作用的）function，例如：

public MyResultClass DoWork(MyEntityClass myEntity)
{
    if (myEntity.DateUpdated == default)
        myEntity.DateUpdated = DateTime.Now;
    MyResultClass result = _dbUtility.InsertOrUpdate(myEntity);
    return result;          
}

AFAIK，这不是纯粹的 function 因为它有副作用 - 即它修改输入 object （使用非确定性值，不少于。）并在数据库上执行插入/更新操作

但是，对于Linq -（可以说）被视为 C# 的纯功能子集 - 以下是合法的，并且可以从“非纯功能”上下文中预期工作：

IEnumerable<MyResultClass> = myIEnumerableEntities.Select(entity => DoWork(entity));

这意味着（1） myObject的DateUpdated属性被修改（如果default ）和（2），数据库插入/更新成功发生。

这是否表明Linq不是真正的功能性子语言？ 还是我误解了纯函数和函数式编程的概念？ （无论如何，我仍然计划使用这种模式，除非有最佳实践理由让我避免它；如果有这样的理由不这样做，我肯定会考虑这些）。

Answer 1

C# 没有明确区分纯函数和不纯动作。 因此，使用Select或SelectMany等高阶函数，您可以将不纯操作作为 arguments 传递。 语言中没有任何东西可以阻止这一点。 因此，LINQ 不能被视为 C# 的严格功能子集。

事实是 C# 查询语法是基于函子和单子的概念，它们首先在严格的函数式语言Haskell中普及。 Haskell 还著名地使用了一个名为IO的特定 monad 到model不纯动作，因此在这种情况下，您可以争辩说在SelectMany内部执行副作用，在某种意义上（单子惯用语） 然而，要使用的 monad 应该是异步 monad而不是List monad 。

在IEnumerable<T>.Select内部执行副作用不被认为是惯用的。 请改用foreach 。

Answer 2

在查询末尾添加 ToList()。 但请记住，标准 LINQ 用于查询数据，而不是修改。 请改用 foreach。 ——斯维亚托斯拉夫·丹尼利夫

LINQ 旨在以功能方式使用，但语义中没有任何强制要求。 C# 的核心仍然是命令式语言，没有什么可以表示方法或委托没有副作用。 您应该避免副作用的原因是它们使代码的正常功能更难推理，如果您正在修改的内容是首先要查询的内容，可能会破坏事情，抑制并行性（这是一种耻辱，因为 PLINQ 恰好非常方便）并且在查询中颠覆了读者的期望。 ——杰伦·莫斯特

@svyatoslav-danyliv 和 @jeroen-mostert 回答了我的问题。 谢谢