scalaz-stream-fs2是一種函數(shù)式的數(shù)據(jù)流編程工具。fs2的類型款式是：Stream[F[_],O]，F(xiàn)[_]代表一種運(yùn)算模式，O代表Stream數(shù)據(jù)元素的類型。實(shí)際上F就是一種延遲運(yùn)算機(jī)制：F中間包含的類型如F[A]的A是一個(gè)可能會(huì)產(chǎn)生副作用不純代碼（impure code）的運(yùn)算結(jié)果類型，我們必須用F對(duì)A運(yùn)算的延遲機(jī)制才能實(shí)現(xiàn)編程過程中的函數(shù)組合（compositionality），這是函數(shù)式編程的標(biāo)準(zhǔn)做法。如果為一個(gè)Stream裝備了F[A]，就代表這個(gè)Stream會(huì)在處理數(shù)據(jù)元素O的過程中對(duì)O施用運(yùn)算A，如果這個(gè)運(yùn)算A會(huì)與外界交互（interact with outside world）如：文件、數(shù)據(jù)庫、網(wǎng)絡(luò)等的讀寫操作，那么這個(gè)Stream有數(shù)據(jù)元素I/O功能的需求。我們可以通過fs2 Stream的狀態(tài)機(jī)器特性（state machine）及F[A]與外界交互功能來編寫完整的數(shù)據(jù)處理（data processing）程序。如果能夠在數(shù)據(jù)庫程序編程中善用fs2的多線程運(yùn)算模式來實(shí)現(xiàn)對(duì)數(shù)據(jù)庫存取的并行運(yùn)算，將會(huì)大大提高數(shù)據(jù)處理的效率。我們將在本篇著重討論fs2在實(shí)現(xiàn)I/O程序中的有關(guān)方式方法。
首先，我們需要以整體Stream為程序運(yùn)算框架，把與外界交互的運(yùn)算A串聯(lián)起來，然后通過Stream的節(jié)點(diǎn)來代表程序狀態(tài)。我們首先需要某種方式把F[A]與Stream[F,A]關(guān)聯(lián)起來，也就是我們所說的把一個(gè)F[A]升格成Stream[F,A]。fs2提供了Stream.eval函數(shù)，我們看看它的類型款式：
def eval[F[_], A](fa: F[A]): Stream[F, A] = attemptEval(fa) flatMap { _ fold(fail, emit) }很明顯，提供一個(gè)F[A]，eval返回Stream[F,A]。這個(gè)返回結(jié)果Stream[F,A]的元素A是通過運(yùn)算F[A]獲取的：在一個(gè)數(shù)據(jù)庫程序應(yīng)用場(chǎng)景里這個(gè)A可能是個(gè)數(shù)據(jù)庫連接（connection），那么F[A]就是一個(gè)連接數(shù)據(jù)庫的操作函數(shù)，返回的A是個(gè)連接connection。這次我們來模擬一個(gè)對(duì)數(shù)據(jù)庫表進(jìn)行新紀(jì)錄存儲(chǔ)的場(chǎng)景。一般來說我們會(huì)按以下幾個(gè)固定步驟進(jìn)行：
1、連接數(shù)據(jù)庫，獲取connection連接
延伸閱讀
- ssh框架 2016-09-30
- 阿里移動(dòng)安全 [無線安全]玩轉(zhuǎn)無線電——不安全的藍(lán)牙鎖 2017-07-26
- 消息隊(duì)列NetMQ 原理分析4-Socket、Session、Option和Pipe 2024-03-26
- Selective Search for Object Recognition 論文筆記【圖片目標(biāo)分割】 2017-07-26
- 詞向量-LRWE模型-更好地識(shí)別反義詞同義詞 2017-07-26
- 從棧不平衡問題 理解 calling convention 2017-07-26
- php imagemagick 處理 圖片剪切、壓縮、合并、插入文本、背景色透明 2017-07-26
- Swift實(shí)現(xiàn)JSON轉(zhuǎn)Model - HandyJSON使用講解 2017-07-26
- 阿里移動(dòng)安全 Android端惡意鎖屏勒索應(yīng)用分析 2017-07-26
- 集合結(jié)合數(shù)據(jù)結(jié)構(gòu)來看看(二) 2017-07-26
學(xué)習(xí)是年輕人改變自己的最好方式