F#与FRP怎么实现
今天小编给大家分享一下F#与FRP怎么实现的相关知识点,内容详细,逻辑清晰,相信大部分人都还太了解这方面的知识,所以分享这篇文章给大家参考一下,希望大家阅读完这篇文章后有所收获,下面我们一起来了解一下吧。
我们注重客户提出的每个要求,我们充分考虑每一个细节,我们积极的做好成都网站设计、成都网站制作服务,我们努力开拓更好的视野,通过不懈的努力,成都创新互联赢得了业内的良好声誉,这一切,也不断的激励着我们更好的服务客户。 主要业务:网站建设,网站制作,网站设计,小程序设计,网站开发,技术开发实力,DIV+CSS,PHP及ASP,ASP.Net,SQL数据库的技术开发工程师。
这是一种较为优雅的基于事件的处理方式,适合一些如交互式动画,自动控制方面的工作。即使平时不太常见,我想作为一个“尝试”或“练习”也是非常合适的。
我是通过F#而了解“事件即对象”以及FRP的相关内容的,而微软的Matthew Podwysocki最近一直在博客上撰写的一系列关于F#事件的文章也给了我很多信息。F#便直接体现了“事件即对象”的概念,它会把.NET类库中的事件转化成IEvent对象,然后便可以对其进行编程。IEvent对象是F#中表示“事件”的标准类型,它的最关键的成员是Add方法,如果使用C#来表示便是:
public interface IEvent{ void Add(Action callback); }
当然,其实F#的事件并没有那么简单,不过我们目前只需要关注至此即可(更详细的信息您可以关注Matthew的文章或Anders Cui同学的中文版)。Add方法是为这个事件添加一个回调函数,它自然会在事件触发时被调用。而传入的参数,您可看作是C#中事件的EventArgs对象(即第二个参数)。有了IEvent对象,在F#中便可以使用各种方式来响应一个事件。例如:
#light open System open System.Windows.Forms let form = new Form(Visible = true, TopMost = true, Text = form.MouseDown |> Event.map (fun args -> (args.X, args.Y)) |> Event.filter (fun (x, y) -> x > 100 && y > 100) |> Event.listen (fun (x, y) -> printfn "(%d, %d)" x y)
Event.map方法会接受一个IEvent对象,以及一个用于转换事件参数的高阶函数,并返回一个新的事件对象。用户可以监听这个新事件。当原有事件触发时,它的事件参数将被高阶函数转化为新的对象,并以此出发新的事件。F#可以使用|>符号来改变参数传递的顺序,这样代码可以编写得更为流畅。例如下面两行F#代码其实是等价的:
Console.WriteLine "Hello World" "Hello World" |> Console.WriteLine
Event.filter的作用是对事件进行过滤,只有在原事件触发时,其事件参数满足某个条件,才会触发新的事件对象。Event.listen则是简单的调用IEvent对象的Add方法,它只是一个辅助函数。
F#的Event模块还有其他一些方法,例如:
let form = new Form(Visible = true, TopMost = true, Text = "Event Sample") form.MouseDown |> Event.choose (fun args -> if args.X > 100 && args.Y > 100 then Some(args.X, args.Y) else None) |> Event.listen (fun (x, y) -> printfn "(%d, %d)" x y)
Event.choose方法组合了Event.filter和Event.map,即在转化的同时可进行过滤。只有在高接函数的返回值为Some(args)而不是None的时候,才把args作为下一个事件的参数进行触发。还有:
let form = new Form(Visible = true, TopMost = true, Text = "Event Sample") form.MouseDown |> Event.merge form.MouseMove |> Event.filter (fun args -> args.Button = MouseButtons.Left) |> Event.map (fun args -> (args.X, args.Y)) |> Event.listen (fun (x, y) -> printfn "(%d, %d)" x y)
Event.merge方法的作用是合并两个(参数相同的)事件。当其中任意一个事件触发时,则会触发新的事件对象。此外:
let form = new Form(Visible = true, TopMost = true, Text = "Event Sample") let (overEvent, underEvent) = form.MouseMove |> Event.merge form.MouseDown |> Event.filter (fun args -> args.Button = MouseButtons.Left) |> Event.map (fun args -> (args.X, args.Y)) |> Event.partition (fun (x, y) -> x > 100 && y > 100) overEvent |> Event.listen (fun (x, y) -> printfn "Over (%d, %d)" x y) underEvent |> Event.listen (fun (x, y) -> printfn "Under (%d, %d)" x y)
Event.partition方法的作用是把原有事件拆分为两个,并在原有事件被触发时,根据高阶函数的返回值来决定触发哪一个新事件。
以上这些都是Matthew在博客中已经介绍过的内容。不过我认为,Event模块下还有两个方法值得一提,那就是Event.pairwise和Event.scan。请看下面的代码:
let (trigger : (int -> unit), event) = Event.create() event |> Event.pairwise |> Event.listen (fun (x, y) -> printfn "%d + %d = %d" x y (x + y)) [1..10] |> Seq.iter trigger // 使用1到10依次调用trigger
Event.create方法将创建一个事件对象,返回这个事件以及它的触发器。Event.pairwise会根据IEvent
1 + 2 = 3 2 + 3 = 5 3 + 4 = 7 4 + 5 = 9 5 + 6 = 11 6 + 7 = 13 7 + 8 = 15 8 + 9 = 17 9 + 10 = 19
而Event.scan方法则可以这样使用:
let (trigger : (int -> unit), event) = Event.create() event |> Event.scan (fun acc i -> acc + i) 0 |> Event.listen (printfn "%d") [1..10] |> Seq.iter trigger
Event.scan方法会维护一个累加器(acc),在上面的代码中其初始值为0,每次event事件触发时,则会通过高阶函数,把事件参数计算到当前的累加器中得到新的值,并根据新的值触发新事件。因此上面的代码会输出一下内容(不包括注释):
1 // +1 3 // +2 6 // +3 10 // ... 15 21 28 36 45 55
自然,Event.pairwise和Event.scan方法得到的新对象都是有side effect的,需要考虑线程安全的问题。F#的类库不保证事件触发时的线程安全,于是事件在使用或触发时需要自行进行控制。
好,那么这次的“趣味编程”就产生了,您能否设计并实现一套类库,为C#语言提供这样一个类似的功能呢?您需要实现以下7种功能:
◆map
◆filter
◆choose
◆merge
◆partition
◆pairware
◆scan
有些朋友可能会想,为什么不直接使用C#来调用F#的类库呢?原因是“不合适”。F#的类库设计遵循了F#的语言特性,而且如前面所讲,F#本身会对.NET的事件进行一定转变。此外,为C#实现一个合适的API也是个很好的实践过程。例如,这又是一个适合扩展方法特性的场景。在我看来,***的API应该是这样使用的:
someEvent .Map(args => new { args.X, args.Y }) .Filter(args => args.X + args.Y > 100) .Scan(0, (acc, args) => acc + args.X, args.Y) .Add(args => Console.WriteLine(args));
以上就是“F#与FRP怎么实现”这篇文章的所有内容,感谢各位的阅读!相信大家阅读完这篇文章都有很大的收获,小编每天都会为大家更新不同的知识,如果还想学习更多的知识,请关注创新互联行业资讯频道。
网页名称:F#与FRP怎么实现
本文链接:http://pwwzsj.com/article/pgshjs.html