[英]Monadic Programming in C#
在Haskell中,我们有filterM
函数。 它的源代码是:
filterM :: (Monad m) => (a -> m Bool) -> [a] -> m [a]
filterM _ [] = return []
filterM p (x:xs) = do
flg <- p x
ys <- filterM p xs
return (if flg then x:ys else ys)
从符号转换:
filterM :: (Monad m) => (a -> m Bool) -> [a] -> m [a]
filterM _ [] = return []
filterM p (x:xs) = p x >>= \flg ->
filterM p xs >>= \ys ->
return(if flg then x:ys else ys)
据我所知, >>=
on Haskell中的列表和C#中IEnumerable
上的SelectMany
是相同的操作,因此,这段代码应该可以正常工作:
public static IEnumerable<IEnumerable<A>> WhereM<A>(this IEnumerable<A> list, Func<A, IEnumerable<bool>> predicate)
{
// Like Haskells null
if (list.Null())
{
return new List<List<A>> {new List<A>()};
}
else
{
var x = list.First();
var xs = list.Tail(); // Like Haskells tail
return new List<IEnumerable<A>>
{
predicate(x).SelectMany(flg => xs.WhereM(predicate).SelectMany(ys =>
{
if (flg)
{
return (new List<A> {x}).Concat(ys);
}
else
{
return ys;
}
}))
};
}
}
但它不起作用。 谁能指出我这里有什么问题?
我的C#有点生疏,但看起来你的基本情况是错误的。 当Haskell版本返回[[]]
(包含空列表的列表)时,您将返回等效的[]
(空列表)。
你的递归案例有同样的问题。 例如,在else
分支中,Haskell版本返回[ys]
而您的版本返回ys
。 请记住,列表monad中的return
会生成单个元素列表,而与C#中的return
关键字无关。
看起来您的C#代码相当于:
filterM :: (a -> [Bool]) -> [a] -> [[a]]
filterM _ [] = return []
filterM p (x:xs) =
return $
p x >>= \flg ->
filterM p xs >>= \ys ->
if flg then x:ys else ys
即return
错误的地方。
我希望这样的事情:
return predicate(x).SelectMany(flg =>
xs.WhereM(predicate).SelectMany(ys =>
new List<IEnumerable<A>> { flg ? (new List<A> {x}).Concat(ys) : ys }))
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.