C#中的Monadic理解语法

from x in xs
from y in ys

xs.SelectMany(x => ys.Select(y => y),(x,y) => ...)

LINQ查询语法只是语法糖,并且对IEnumerable<>一无所知,这就是为什么你可以将它用于其他事情.

如果检查C# language specification,它将描述如何在7.16.2节中转换LINQ的查询表达式

您的具体示例描述为

from x1 in e1
from x2 in e2
select v

( e1 ) . SelectMany( x1 => e2,( x1,x2 ) => v )

因此,使用示例中的变量名称,任何具有方法Treturned SelectMany(Func< Tx,Tys>,Func< Tx,Ty,Treturned>)的xs都可以在类似的语句中使用

Treturned returned =
    from x in xs
    from y in ys
    select r;

这将完全编译时

Treturned returned = xs.SelectMany(x => ys,y) => r);

是的,这是xs上存在这种方法的任何时候. SelectMany存在于IEnumerable<>的事实并不妨碍我们为其他类型配备具有相同名称的方法或扩展方法.

C#可以从它知道xs是什么的事实推断lambdas的类型,并且从中可以查找类型到xs的SelectMany的参数.