2016年08月_TIGER_XC

原创 Scalaz（59）－ scalaz-stream: fs2-程序并行运算，fs2 running effects in parallel

scalaz-stream-fs2是一种函数式的数据流编程工具。fs2的类型款式是：Stream[F[_],O]，F[_]代表一种运算模式，O代表Stream数据元素的类型。实际上F就是一种延迟运算机制：F中间包含的类型如F[A]的A是一个可能会产生副作用的不纯代码（impure code）的运算结果类型，我们必须用F对A运算的延迟机制才能实现编程过程中的函数组合（compositionality

2016-08-31 11:34:33 1078

原创 Scalaz（58）－ scalaz-stream: fs2-并行运算示范，fs2 parallel processing

从表面上来看，Stream代表一连串无穷数据元素。一连串的意思是元素有固定的排列顺序，所以对元素的运算也必须按照顺序来：完成了前面的运算再跟着进行下一个元素的运算。这样来看，Stream应该不是很好的并行运算工具。但是，fs2所支持的并行运算方式是以完整的Steam为运算单位的：支持多个Stream同时进行运算，如merge。所以fs2使Stream的并行运算成为了可能。

2016-08-30 07:59:40 1074

原创 Scalaz（57）－ scalaz-stream: fs2-多线程编程，fs2 concurrency

fs2的多线程编程模式不但提供了无阻碍I/O（java nio）能力，更为并行运算提供了良好的编程工具。在进入并行运算讨论前我们先示范一下fs2 pipe2对象里的一些Stream合并功能。我们先设计两个帮助函数（helper）来跟踪运算及模拟运算环境： def log[A](prompt: String): Pipe[Task,A,A] = _.evalMap {a => Task

2016-08-27 14:13:01 687

原创 Scalaz（56）－ scalaz-stream: fs2-安全运算，fs2 resource safety

fs2在处理异常及资源使用安全方面也有比较大的改善。fs2 Stream可以有几种方式自行引发异常：直接以函数式方式用fail来引发异常、在纯代码里隐式引发异常或者在运算中引发异常，举例如下：/函数式val err = Stream(1,2,3) ++ Stream.fail(new Exception("oh,no...")) //> err : fs2.Stream[Nothi

2016-08-25 10:50:46 630

原创 Scalaz（55）－ scalaz-stream: fs2-基础介绍，fs2 stream transformation

fs2是scalaz-stream的最新版本，沿用了scalaz-stream被动式（pull model）数据流原理但采用了全新的实现方法。fs2比较scalaz-stream而言具备了：更精简的基础组件（combinator）、更安全的类型、资源使用（type safe, resource safety）、更高的运算效率。由于fs2基本沿用了scalaz-stream的原理，所以我们会在下面的

2016-08-24 10:04:42 626

原创 Scalaz（54）－ scalaz-stream: 函数式多线程编程模式－Free Streaming Programming Model

长久以来，函数式编程模式都被认为是一种学术研究用或教学实验用的编程模式。直到近几年由于大数据和多核CPU的兴起造成了函数式编程模式在一些实际的大型应用中的出现，这才逐渐改变了人们对函数式编程无用论的观点。通过一段时间对函数式编程方法的学习，我们了解到Free Monad的算式／算法关注分离（separation of concern）可以是一种很实用的函数式编程模式。用Free Monad编写的程

2016-08-19 11:31:28 648

原创 Scalaz（53）－ scalaz-stream: 程序运算器－application scenario

从上面多篇的讨论中我们了解到scalaz-stream代表一串连续无穷的数据。对这个数据流的处理过程就是一个状态机器（state machine）的状态转变过程。这种模式与我们通常遇到的程序流程很相似：通过程序状态的变化来推进程序进展。传统OOP式编程可能是通过一些全局变量来记录当前程序状态，而FP则是通过函数组合来实现状态转变的。这个FP模式讲起来有些模糊和抽象，但实际上通过我们前面长时间对FP

2016-08-12 10:02:50 567

原创 Scalaz（52）－ scalaz-stream: 并行运算－parallel processing concurrently by merging

如果scalaz-stream真的是一个实用的数据流编程工具库的话，那它应该能处理同时从多个数据源获取数据以及把数据同时送到多个终点（Sink），最重要的是它应该可以实现高度灵活的多线程运算。但是：我们说Process代表了一串可能是无穷的元素。这个一串的意思是多个按序排列的元素。也就是说如果我们有一个Process('

2016-08-03 14:44:37 686

TIGER_XC的专栏