使用Haskell编写一个简单的数据库访问程序

Haskell是一种纯函数式编程语言，因此在编写数据库访问程序时，我们需要使用一些库来处理与外部世界的交互。其中一个常用的数据库库是persistent，可以用来访问关系型数据库。

首先，我们需要在Haskell项目中添加persistent库的依赖。可以在项目的package.yaml文件中添加以下内容：

dependencies:
  - persistent
  - persistent-postgresql
  - aeson

这样，我们就可以使用persistent库来连接和操作PostgreSQL数据库了。以下是一个简单的数据库访问程序的例子：

{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE OverloadedStrings #-}

import Database.Persist.Postgresql (withPostgresqlConn, runMigration, selectList, (==.))
import Database.Persist.Sql (SqlPersistT, runSqlConn)
import Control.Monad.IO.Class (liftIO)
import GHC.Generics (Generic)
import Data.Text (Text)
import Data.Time (UTCTime, getCurrentTime)
import System.Environment (getEnv)
import Control.Monad.Reader (ReaderT)

-- 数据库模型定义
data Person = Person
  { personName :: Text
  , personAge :: Int
  , personCreatedAt :: UTCTime
  } deriving (Show, Generic)

-- 数据库映射
instance Persistent.Person Person

-- 连接到数据库
connect :: IO Text
connect = do
  host <- getEnv "POSTGRES_HOST"
  port <- getEnv "POSTGRES_PORT"
  dbname <- getEnv "POSTGRES_DB"
  user <- getEnv "POSTGRES_USER"
  password <- getEnv "POSTGRES_PASSWORD"
  return $ "host=" ++ host ++ " port=" ++ port ++
           " dbname=" ++ dbname ++ " user=" ++ user ++
           " password=" ++ password

-- 创建表
migrate :: SqlPersistT IO ()
migrate = do
  runMigration $ Persistent.migrate (undefined :: Person)

-- 向数据库中插入记录
insertPerson :: ReaderT SqlBackend IO ()
insertPerson = do
  currentTime <- liftIO getCurrentTime
  _ <- insert $ Person "John Doe" 25 currentTime
  return ()

-- 从数据库中查询记录
queryPerson :: ReaderT SqlBackend IO [Entity Person]
queryPerson = selectList [PersonAge ==. 25] []

-- 主函数
main :: IO ()
main = do
  connStr <- connect
  runSqlConn (withPostgresqlConn connStr (runMigration migrate)) (\conn -> runReaderT insertPerson conn)
  runSqlConn (withPostgresqlConn connStr queryPerson) (\conn -> print =<< runReaderT queryPerson conn)

以上代码中，我们定义了一个Person数据类型，表示数据库中的一条记录。我们使用deriving关键字使得它成为Generic类型，这样我们可以方便地将其与数据库进行映射。接下来，我们使用Persistent.Person实例化了Person类型，在稍后的数据库映射中使用。

在connect函数中，我们读取了一些环境变量来获取数据库连接信息。在实际使用时，可以根据自己的需求进行修改。在migrate函数中，我们使用了Persistent.migrate函数来进行数据库迁移，以创建表。在insertPerson函数中，我们向数据库中插入一条记录。在queryPerson函数中，我们使用查询条件来查询数据库中的记录。

在main函数中，我们首先连接到数据库，并运行迁移脚本来创建表。然后，我们使用runReaderT函数在数据库连接的上下文中运行insertPerson函数和queryPerson函数，分别插入记录和查询记录，并将结果打印出来。

使用这个程序的时候，我们需要设置一些环境变量，包括POSTGRES_HOST、POSTGRES_PORT、POSTGRES_DB、POSTGRES_USER和POSTGRES_PASSWORD，以便连接到数据库。可以使用以下命令来运行程序：

POSTGRES_HOST=localhost POSTGRES_PORT=5432 POSTGRES_DB=mydatabase POSTGRES_USER=myuser POSTGRES_PASSWORD=mypassword stack run

注意，上述代码中的数据库连接方式是使用了PostgreSQL数据库作为示例，如果你使用其他数据库，需要对代码进行相应的修改。

通过这个例子，我们可以看到使用Haskell编写简单的数据库访问程序的方式。我们可以通过定义数据库模型，进行数据库迁移和操作等操作，来实现对数据库的访问。