第二種方法更為慣用。事實(shí)上，第二種方法在函數(shù)式編程中有一個(gè)名字。將共享靜態(tài)值作為輸入（又稱為環(huán)境）的函數(shù)稱為reader。
// Reader e a = e -> a
// ask : Reader e e
const ask = x => x;
// pure : a -> Reader e a
const pure = x => _ => x;
// bind : Reader e a -> (a -> Reader e b) -> Reader e b
const bind = f => g => x => g(f(x))(x);
// reader : Generator (Reader e a) -> Reader e a
const reader = gen => (function next(data) {
? ? const { value, done } = gen.next(data);
? ? return done ? value : bind(value)(next);
}(undefined));
// Environment = { foo : Number, bar : Number }
// function1 : Reader Environment Number
const function1 = reader(function* () {
? ? const { foo, bar } = yield ask;
? ? return pure(foo + bar);
}());
// function2 : Reader Environment Number
const function2 = reader(function* () {
? ? const { foo, bar } = yield ask;
? ? return pure(foo * bar);
}());
// myFunction : Reader Environment (Array Number)
const myFunction = reader(function* () {
? ? const res1 = yield function1;
? ? const res2 = yield function2;
? ? return pure([res1, res2]);
}());
// results : Array Number
const results = myFunction({ foo: 10, bar: 20 });
console.log(results);
在上面的示例中，我們使用一元表示法定義function1、function2、 和。myFunction請(qǐng)注意，myFunction沒有明確將環(huán)境作為輸入。它也沒有顯式地將環(huán)境傳遞給function1和function2。所有這些“管道”都是由pure和bind函數(shù)處理的。我們使用一元?jiǎng)幼髟L問一元上下文中的環(huán)境ask。
Reader然而，當(dāng)我們使用 monad 轉(zhuǎn)換器將 monad 與其他 monad結(jié)合起來(lái)時(shí)，真正的優(yōu)勢(shì)就會(huì)出現(xiàn)ReaderT。
編輯：如果您不想，則不必使用單子表示法。您可以按如下方式定義function1、function2、 和。myFunction
// Reader e a = e -> a
// Environment = { foo : Number, bar : Number }
// function1 : Reader Environment Number
const function1 = ({ foo, bar }) => foo + bar;
// function2 : Reader Environment Number
const function2 = ({ foo, bar }) => foo * bar;
// myFunction : Reader Environment (Array Number)
const myFunction = env => {
? ? const res1 = function1(env);
? ? const res2 = function2(env);
? ? return [res1, res2];
};
// results : Array Number
const results = myFunction({ foo: 10, bar: 20 });
console.log(results);
缺點(diǎn)是現(xiàn)在您明確地將環(huán)境作為輸入并將環(huán)境傳遞給子計(jì)算。不過，這可能是可以接受的。
編輯：這是另一種編寫方法，不使用一元符號(hào)，但仍然使用ask、pure和bind。
// Reader e a = e -> a
// ask : Reader e e
const ask = x => x;
// pure : a -> Reader e a
const pure = x => _ => x;
// bind : Reader e a -> (a -> Reader e b) -> Reader e b
const bind = f => g => x => g(f(x))(x);
// Environment = { foo : Number, bar : Number }
// function1 : Reader Environment Number
const function1 = bind(ask)(({ foo, bar }) => pure(foo + bar));
// function2 : Reader Environment Number
const function2 = bind(ask)(({ foo, bar }) => pure(foo * bar));
// myFunction : Reader Environment (Array Number)
const myFunction =
? ? bind(function1)(res1 =>
? ? ? ? bind(function2)(res2 =>
? ? ? ? ? ? pure([res1, res2])));
// results : Array Number
const results = myFunction({ foo: 10, bar: 20 });
console.log(results);
請(qǐng)注意，使用生成器的一元表示法只是上述代碼的語(yǔ)法糖。
