9.13 var concat = function(x, y) { return x + y; }; map2(concat, ['a', 'b'], ['1', '2']); // => ['a1', 'b2'] mapN(fn, n) Returns an array obtained by mapping the function fn over the integers [0,1,

(Just f) <*> (Just a) = Just (f a) _ <*> _ = Nothing 按照 <*> 的实现，我们可以像下面这样使用它，其中函数应用 [| f a1 … an |] 会被翻译成 pure f <*> a1 <*> … <*> an： m_add' : Maybe Int -> Maybe Int -> Maybe Int m_add' x y = [| x + y |] 奯奮 1 央 奁奮 奥 夛 奥 奣 奴 奦 奵 奬 奰 奲 奯奧奲 奡奭 f 奨 奡女 奡 奴 她 奰 奥 奯奦 奴 奨 奥 奦 奯奬 奬 奯奷 奩 奮 奧 奦 奯奲 奭 夺 f : (x1 : a1) -> (x2 : a2) -> ... -> Eff t effs 奔 奨 奡奴 奩 女 夬 奴 奨 奥 奲 奥 奴 奵 奲 奮 奴 她 奰 奥 奧奩 奶 奥 女 奴 奨 奥 奥 夛 奥 奣 奴 奥 女 女 奥 奮 奴 奩 奡奬 奬 她 奴 奲 奩 奥 女 奴 奯 夜 奮 奤 奡 奣 奨 奡奩 奮 奯奦 奩 奮 奥 奱 奵 奡奬 奩 奴 奩 奥 女 R1 R2 Rn Rn+1 S <= A1 <= ... <= An <= T 奵 女 奩 奮 奧 奴 奨 奥 奥 奤 奩 奴 奲 奵 奬 奥 女 奬 奩 女 奴 奥 奤 奡奢 奯奶 奥 央 奉 奴 奡奬 女 奯 奴 奲 奩 奥 女 奴 奯

foo’) AS t(a int, b text, c text[]); a | b | c ----+---+--------------- 0 | a | {a0,b0,c0} 1 | b | {a1,b1,c1} 2 | c | {a2,b2,c2} 2174 dblink_connect 3 | d | {a3,b3,c3} 4 | e | {a4,b4,c4} 5 | f | {a5 AS t1(f1 int, f2 text, f3 text[]); f1 | f2 | f3 ----+----+------------ 0 | a | {a0,b0,c0} 1 | b | {a1,b1,c1} 2 | c | {a2,b2,c2} (3 rows) contrib_regression=# SELECT * FROM dblink_get_result(’dtest1’) AS t1(f1 int, f2 text, f3 text[]); f1 | f2 | f3 ----+----+------------ 0 | a | {a0,b0,c0} 1 | b | {a1,b1,c1} 2 | c | {a2,b2,c2} (3 rows) contrib_regression=# SELECT * FROM dblink_get_result(’dtest1’)

int, b text, c text[]); a | b | c ----+---+--------------- 0 | a | {a0,b0,c0} 1 | b | {a1,b1,c1} 2 | c | {a2,b2,c2} 3 | d | {a3,b3,c3} 4 | e | {a4,b4,c4} 5 | f | {a5,b5,c5} 6 | g int, f2 text, f3 text[]); f1 | f2 | f3 ----+----+------------ 0 | a | {a0,b0,c0} 1 | b | {a1,b1,c1} 2 | c | {a2,b2,c2} (3 rows) contrib_regression=# SELECT * FROM dblink_get_result('dtest1') int, f2 text, f3 text[]); f1 | f2 | f3 ----+----+------------ 0 | a | {a0,b0,c0} 1 | b | {a1,b1,c1} 2 | c | {a2,b2,c2} (3 rows) contrib_regression=# SELECT * FROM dblink_get_result('dtest1')