第二種方法更為慣用。事實上，第二種方法在函數式編程中有一個名字。將共享靜態值作為輸入（又稱為環境）的函數稱為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請注意，myFunction沒有明確將環境作為輸入。它也沒有顯式地將環境傳遞給function1和function2。所有這些“管道”都是由pure和bind函數處理的。我們使用一元動作訪問一元上下文中的環境ask。
Reader然而，當我們使用 monad 轉換器將 monad 與其他 monad結合起來時，真正的優勢就會出現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);
缺點是現在您明確地將環境作為輸入并將環境傳遞給子計算。不過，這可能是可以接受的。
編輯：這是另一種編寫方法，不使用一元符號，但仍然使用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);
請注意，使用生成器的一元表示法只是上述代碼的語法糖。
