标签：
还记得我们上一篇delegate类型的parser吗 ，在开始本篇之前，强烈建议你复习一下这个parser定义
public delegate Maybe<Tuple<T,string>>Parser<T>(string input)
还记得我们组合这些parser的不易吗？现在我们采用新的方式将parser转换为Monad, 我们已经知道了如何将泛型类和泛型接口转换成Monad, 同样的也可以将委托转换成Monad
首先我们实现一个ToParser方法， 它相当简单，只返回一个不消耗任何输入字符串的parser
public static Parser<T>ToParser(this T value) { return input=>new Just<Tuple<T,string>>(Tuple.Create(value,input)) }
接下来我们需要一个Bind方法, 回想下Bind方法的签名，记住所有的Monad Bind方法签名时一样的
public static Parser<B> Bind<A,B> (this Parser<A>a, Func<A,Parser<B>>func)()
现在我们一步步实现Bind,首先看下返回类型 Parser<B>.记住Parser<B>是一个参数为string 返回类型为Maybe<Tuple<B,string>>的函数，所以我们需要为这个函数返回一个lambda表达式
public static Parser<B>Bind<A,B>(this Parser<A> a, Func<A,Parser<B>func>) { input=> { //...... } }
这个lambda需要返回Maybe<Tuple<B,string>>, 我们可以通过调用func返回返回Parser<B>,然后调用Parser<B>返回它:
public static Parser<B>Bind<A,B>(this Parser<A>a, Func<A,Parser<B>>func) { return input=> { var bparser=func(???); return bparser(???); }; }
我们需要一个参数A调用func, 我们可以调用a得到它的返回值，然后从中取出A来:
public static Parser<B> Bind<A,B>(this Parser<A>a, Func<A,Parser<B>>func) { return input=> { var aMaybe=a(input); var aResult=aMaybe as Just<Tuple<A,string>>; //short circuit if parse fails if(aResult == null) return new Nothing<Tuple<B,string>>(); var aValue=aResult.Value.Item1; var bParser=func(aValue); return bParser(???); } }
注意我们短路了解析过程，如果有一个parser失败，这意味着任何解析器组合都会返回Nothing，如果其中一个解析器不能解析它的输入.
最后我们需要一个string 作为bParser的输入，这个值可以从parser a的返回结果里得到:
public static Parser<B> Bind<A,B>(this Parser<A>a, Func<A,Parser<B>>func) { return input=> { var aMaybe=a(input); var aResult=aMaybe as Just<Tuple<A,string>>; //short circuit if parse fails if(aResult == null) return new Nothing<Tuple<B,string>>(); var aValue=aResult.Value.Item1; var sString=aResult.Value.Item2; var bParser=func(aValue); return bParser(sString); } }
我们已经创建了一个Monad parser,为了使用linq的语法，我们需要实现SelectMany ,
现在我们可以只用下面三行代码来实现我们的Hello World parser.
public static Parser<C>SelectMany<A,B,C>(this Parser<A>a, Func<A,Parser<B>>func, Func<A,B,C>select) { a.Bind(aval=>func(aval).Bind(bval=>select(aval,bval).ToParser())); }
var helloWorldParser=from hello in "Hello".Find() from world in "World".Find() select new (Hello=hello, World=world); var result=helloWorldParser("HelloWorld"); Console.WriteLine(result.AsString(x=>x.Hello)); Console.WriteLine(result.AsString(x=>x.World)); //outputs //Hello //World
其他Monad资源参考:
https://github.com/phenixyu/csharp-monad
标签：
原文地址：http://www.cnblogs.com/phenixyu/p/5621929.html
