[TOC] ## chain 函數 ``` // chain :: Monad m => (a -> m b) -> m a -> m b var chain = curry(function(f, m){ return m.map(f).join(); // 或者 compose(join, map(f))(m) }); ``` 實例1 ``` // map/join var firstAddressStreet = compose( join, map(safeProp('street')), join, map(safeHead), safeProp('addresses') ); // chain var firstAddressStreet = compose( chain(safeProp('street')), chain(safeHead), safeProp('addresses') ); // map/join var applyPreferences = compose( join, map(setStyle('#main')), join, map(log), map(JSON.parse), getItem ); // chain var applyPreferences = compose( chain(setStyle('#main')), chain(log), map(JSON.parse), getItem ); ``` 實例2 就能以一種純函數式的方式來表示*序列*（sequence） 和*變量賦值*（variable assignment） ``` // getJSON :: Url -> Params -> Task JSON // querySelector :: Selector -> IO DOM getJSON('/authenticate', {username: 'stale', password: 'crackers'}) .chain(function(user) { return getJSON('/friends', {user_id: user.id}); }); // Task([{name: 'Seimith', id: 14}, {name: 'Ric', id: 39}]); querySelector("input.username").chain(function(uname) { return querySelector("input.email").chain(function(email) { return IO.of( "Welcome " + uname.value + " " + "prepare for spam at " + email.value ); }); }); // IO("Welcome Olivia prepare for spam at olivia@tremorcontrol.net"); Maybe.of(3).chain(function(three) { return Maybe.of(2).map(add(three)); }); // Maybe(5); Maybe.of(null).chain(safeProp('address')).chain(safeProp('street')); // Maybe(null); ``` ## 炫耀 實例:讀取并上傳一個文件 聲明式代碼 ``` // readFile :: Filename -> Either String (Future Error String) // httpPost :: String -> Future Error JSON // upload :: String -> Either String (Future Error JSON) var upload = compose(map(chain(httpPost('/uploads'))), readFile); ``` 從類型簽名可以看出，我們預防了三個錯誤 1. `readFile`使用`Either`來驗證輸入（或許還有確保文件名存在）； 2. `readFile`在讀取文件的時候可能會出錯，錯誤通過`readFile`的`Future`表示； 3. 文件上傳可能會因為各種各樣的原因出錯，錯誤通過`httpPost`的`Future`表示 所有這些操作都是在一個從左到右的線性流中完成的，是完完全全純的、聲明式的代碼，是可以等式推導（equational reasoning）并擁有可靠特性（reliable properties）的代碼 命令式代碼 跟標準的命令式的實現對比一下 ``` // upload :: String -> (String -> a) -> Void var upload = function(filename, callback) { if(!filename) { throw "You need a filename!"; } else { readFile(filename, function(err, contents) { if(err) throw err; httpPost(contents, function(err, json) { if(err) throw err; callback(json); }); }); } } ```