scalaz-stream-fs2是一種函數(shù)式的數(shù)據(jù)流編程工具。fs2的類型款式是：Stream[F[_],O]，F(xiàn)[_]代表一種運算模式，O代表Stream數(shù)據(jù)元素的類型。實際上F就是一種延遲運算機制：F中間包含的類型如F[A]的A是一個可能會產(chǎn)生副作用不純代碼（impure code）的運算結(jié)果類型，我們必須用F對A運算的延遲機制才能實現(xiàn)編程過程中的函數(shù)組合（compositionality），這是函數(shù)式編程的標(biāo)準(zhǔn)做法。如果為一個Stream裝備了F[A]，就代表這個Stream會在處理數(shù)據(jù)元素O的過程中對O施用運算A，如果這個運算A會與外界交互（interact with outside world）如：文件、數(shù)據(jù)庫、網(wǎng)絡(luò)等的讀寫操作，那么這個Stream有數(shù)據(jù)元素I/O功能的需求。我們可以通過fs2 Stream的狀態(tài)機器特性（state machine）及F[A]與外界交互功能來編寫完整的數(shù)據(jù)處理（data processing）程序。如果能夠在數(shù)據(jù)庫程序編程中善用fs2的多線程運算模式來實現(xiàn)對數(shù)據(jù)庫存取的并行運算，將會大大提高數(shù)據(jù)處理的效率。我們將在本篇著重討論fs2在實現(xiàn)I/O程序中的有關(guān)方式方法。
首先，我們需要以整體Stream為程序運算框架，把與外界交互的運算A串聯(lián)起來，然后通過Stream的節(jié)點來代表程序狀態(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是通過運算F[A]獲取的：在一個數(shù)據(jù)庫程序應(yīng)用場景里這個A可能是個數(shù)據(jù)庫連接（connection），那么F[A]就是一個連接數(shù)據(jù)庫的操作函數(shù)，返回的A是個連接connection。這次我們來模擬一個對數(shù)據(jù)庫表進行新紀(jì)錄存儲的場景。一般來說我們會按以下幾個固定步驟進行：
1、連接數(shù)據(jù)庫，獲取connection連接
