Was ist los in diesem Ausdruck?

Question

Ich lese durch diese blog post über das Schreiben einer API in Haskell mit Scotty, und ich stieß auf den Abschnitt über Monade Transformatoren. Ich verstehe das Konzept der Monade Transformatoren, aber ich kann nicht meinen Kopf wickeln um das, was hier vor sich geht:

let r m = runReaderT (runConfigM m) c 

Wie kann der Ausdruck Referenz m wenn m in der gleichen let Ausdruck deklariert wird, die es verwendet? Was geht hier vor sich? Was ist m?

Answer 1

Das ist eine (lokale) Funktionsdeklaration mit dem Namen r. m ist der Parameter der Funktion. Es entspricht:

let r = \m -> runReaderT (runConfigM m) c