Haskell中的数据库访问和SQL查询

Haskell是一个函数式编程语言，因此在Haskell中使用数据库访问和执行SQL查询的过程与传统的命令式编程语言可能略有不同。在Haskell中，可以使用一些库来与数据库进行交互，其中最常用的库是HDBC和persistent。

HDBC是一个通用的数据库连接库，它支持多种数据库，如MySQL，PostgreSQL等。下面是一个使用HDBC连接到MySQL数据库并执行SQL查询的例子：

import Database.HDBC
import Database.HDBC.MySQL

main :: IO ()
main = do
  -- 连接到数据库
  conn <- connectMySQL defaultMySQLConnectInfo {
    mysqlHost = "localhost",
    mysqlDatabase = "mydatabase",
    mysqlUser = "myusername",
    mysqlPassword = "mypassword"
  }

  -- 准备SQL查询
  stmt <- prepare conn "SELECT * FROM mytable"

  -- 执行查询
  execute stmt []

  -- 获取查询结果
  results <- fetchAllRows stmt

  -- 输出查询结果
  mapM_ print results

  -- 关闭连接
  disconnect conn

在上面的例子中，首先使用connectMySQL函数连接到MySQL数据库。然后，使用prepare函数准备SQL查询语句，可以使用问号占位符来表示参数。之后，使用execute函数执行查询，参数为空列表表示没有需要替换的参数。最后，使用fetchAllRows函数获取查询结果，并将结果打印出来。最后，使用disconnect函数关闭数据库连接。

HDBC还提供了其他操作数据库的函数，如插入、更新和删除等。此外，还可以使用HDBC作为输入/输出存储器，存储和读取数据到文件或内存中。

除了HDBC，还有另一个流行的数据库库叫做persistent。它是一个类型安全的数据库库，使用领域特定语言（DSL）来定义数据库模型和查询。下面是一个使用persistent库的例子：

{-# LANGUAGE QuasiQuotes, TemplateHaskell #-}
import Database.Persist
import Database.Persist.MySQL
import Database.Persist.TH

share [mkPersist sqlSettings, mkMigrate "migrateAll"] [persistLowerCase|
Person
  name String
  age Int
  deriving Show
|]

main :: IO ()
main = do
  -- 连接到数据库
  withMySQLConn (defaultConnectInfo { connectHost = "localhost", connectDatabase = "mydatabase", connectUser = "myusername", connectPassword = "mypassword" }) $ \conn -> do

    -- 迁移数据库模式
    runSqlConn (runMigration migrateAll) conn

    -- 插入数据
    insert_ conn $ Person "John Doe" 30
    insert_ conn $ Person "Jane Smith" 25

    -- 查询数据
    people <- runSqlConn (selectList [] []) conn

    -- 输出查询结果
    mapM_ (print . personName . entityVal) people

上面的例子中，首先使用share宏来定义数据库模型，表示一个名为"Person"的数据库表，包含名字和年龄两个字段。然后，可以使用withMySQLConn函数连接到MySQL数据库。接下来，使用runSqlConn函数运行数据库迁移，通过migrateAll参数表示迁移所有定义的表格和字段。之后，使用insert_函数插入两条数据到数据库。最后，使用runSqlConn函数查询数据库中的数据，并将结果打印出来。

总之，Haskell中可以使用HDBC和persistent这两个库来访问数据库和执行SQL查询。HDBC是一个通用的数据库连接库，支持多种数据库，而persistent是一个类型安全的数据库库，使用DSL来定义数据库模型和查询。以上例子只是简单介绍了如何使用这两个库来进行数据库访问和执行SQL查询，实际上可以进行更复杂的操作，如事务处理、连接池管理等。