Lecteur Monad et application partielle des fonctions

Question

Depuis que les fonctions partiellement appliquées are instances of the MonadReader, pourquoi le code suivant est-il incorrect?

runReader (\x -> x + 2) 4 

ou même

runReader (\x -> pure $ x + 2) 4 

Answer 1

est une instance de MonadReader vous permet d'utiliser les "opérations de lecture" (local, ask, asks), mais runReader est explicitement l'exécution d'un type de Reader.

Ainsi, par exemple, vous pouvez le faire à cause de monadReaderFun:

readerFunction :: Int -> Int 
readerFunction = do 
    x <- ask 
    pure (x + 2) 

Mais il n'y a pas besoin de « courir », la façon dont vous le faites avec un Reader ou ReaderT valeur saisie.