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是一個可能會產(chǎn)生副作用不純代碼（impure code）的運(yùn)算結(jié)果類型，我們必須用F對A運(yùn)算的延遲機(jī)制才能實(shí)現(xiàn)編程過程中的函數(shù)組合（compositionality），這是函數(shù)式編程的標(biāo)準(zhǔn)做法。如果為一個Stream裝備了F[A]，就代表這個Stream會在處理數(shù)據(jù)元素O的過程中對O施用運(yùn)算A，如果這個運(yùn)算A會與外界交互（interact with outside world）如：文件、數(shù)據(jù)庫、網(wǎng)絡(luò)等的讀寫操作，那么這個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)對數(shù)據(jù)庫存取的并行運(yùn)算，將會大大提高數(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)起來，也就是我們所說的把一個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) }很明顯，提供一個F[A]，eval返回Stream[F,A]。這個返回結(jié)果Stream[F,A]的元素A是通過運(yùn)算F[A]獲取的：在一個數(shù)據(jù)庫程序應(yīng)用場景里這個A可能是個數(shù)據(jù)庫連接（connection），那么F[A]就是一個連接數(shù)據(jù)庫的操作函數(shù)，返回的A是個連接connection。這次我們來模擬一個對數(shù)據(jù)庫表進(jìn)行新紀(jì)錄存儲的場景。一般來說我們會按以下幾個固定步驟進(jìn)行：
1、連接數(shù)據(jù)庫，獲取connection連接
