更喜欢 Reader monad 而不是直接将环境作为参数传递

Question

我在 Haskell 中编写了一个基本的 CRUD 应用程序，使用库 Servant 和 Opaleye。

Servant 设置 API 端点，Opaleye 将数据存储在 DB 中。

假设有一个端点GET /users 返回数据库中所有用户的列表，另一个端点POST /user 创建一个新用户并将其保存在数据库中。

程序通过启动与 DB 的连接，然后将此连接作为参数传递给这些 API 端点函数（使用 Servant 设置）作为参数。

有人向我推荐了一个更好的方法是使用 Reader Monad 并将连接存储在环境中。

我能够做到，但我不明白为什么 Reader Monad 是共享环境的首选方式，而不是直接传递参数。

附： - 作为 Haskell 的初学者，我可以使用 Monads，按照教程运行我的程序，但我并不真正了解它们背​​后隐藏的美丽数学。这就是为什么，我想避免使用单子（直到我完全理解单子背后的想法）。

这是我的code，顺便说一句。

Answer 1

1. Monad Reader 更方便，当您想将参数传递到调用堆栈更深的几个级别时。

2. Monad Reader 便于代码更改/扩展。假设您想从数据库中获取一些Foo 类型的值，更新它（以不纯的方式）并将其存储回来。这里有两个版本，Reader 和显式参数传递。

   data Foo = ...
   modifyFoo :: Foo -> IO Foo
   type Handler a = Reader Connection IO a
   
   fetch1 :: Connection -> Int -> IO Foo
   fetch2 :: Int -> Handler Foo
   
   store1 :: Connection -> Foo -> IO ()
   store2 :: Foo -> Handler ()
   
   modify1 :: Connection -> Int -> IO ()
   modify1 conn key = do
     prev <- fetch1 conn key
     new  <- modify prev
     store1 conn new
   
   modify2 :: Int -> Handler ()
   modify2 key = do
     prev <- fetch2 key
     new  <- liftIO $ modify prev
     store2 new
   
   -- for brave souls
   modify2' :: Int -> Handler ()
   modify2' = fetch2 >=> liftIO . modify >=> store2
   

如果有一天 fetch2 和 store2 将参数从 Connection 更改为其他（或更大），您只需更新 Handler 类型别名，modify2 保持不变。 如果modify1、Connection 在类型签名中是显式的，您也必须更改它。

另一个使用Reader的例子 我建议xmonad 窗口管理器。某处有XConfig 数据类型 在X monad 的内部，但大多数时候我不想知道它，别管它了。