快速用 Haskell 构建超级简单的 Web 技术栈！

如何用标准化的，通用的纯函数编程语言Haskell来构建Web？Haskell构建的Web拥有着什么样的优点呢？让我们来看看构建的过程吧。作者|William Yao译者 |弯月，责编 | maozz出品 | CSDN（ID：CSDNnews）以下为译文：Haskell有大量的库可用于满足基本的后台需求，从日志输出到数据库访问，再到Web服务器的定义和路由，应有尽...

CSDN资讯

2986人浏览 · 2019-11-28 09:44:24

CSDN资讯 · 2019-11-28 09:44:24 发布

如何用标准化的，通用的纯函数编程语言Haskell来构建Web？Haskell构建的Web拥有着什么样的优点呢？让我们来看看构建的过程吧。

作者 | William Yao

译者 |弯月，责编 | maozz

出品 | CSDN（ID：CSDNnews）

以下为译文：

Haskell有大量的库可用于满足基本的后台需求，从日志输出到数据库访问，再到Web服务器的定义和路由，应有尽有。

拥有选择的自由固然很好，但如果你刚刚接触这个领域，那么大量的选择可能会让你目不暇接。也许你没法自信地判断出这些选择之间的区别。例如，你需要查询数据库。

那么，你需要Squeal提供的列名强保证，以及深度SQL嵌入功能吗？还是青睐Opaleye在保证类型安全的前提下的简单性？或者只是使用简单的postgresql-simple就好？还是使用Selda？或者……

我用最简单的库写了一个Web应用程序，一方面是想告诉你，你不需要担心技术栈是否足够先进，另一方面也是我自己的学习过程。

如果你不知道怎样用Haskell构建真正的应用程序，为什么不去学习呢？我会尽可能保持代码的简单性。

点击此处可查看源代码（https://gitlab.com/williamyaoh/haskell-web-stack）。

下面我们来看一看我选择的这些库，以及它们的功能，还有这个应用程序的功能。

这个Web应用程序究竟是什么呢？

它是一个网站，用户可以在这个网站上创建定时器和做笔记。

我举个例子说明该网站的用途：某人想设置多个定时器来跟踪多个反应物的过程，同时用笔记来记录他们需要关心的事情、下次制作配方时需要改进的事情，等等。

再举一个例子，某个人在玩MOBA游戏，比如英雄联盟或者刀塔2，他们可以在另一台显示器上打开一个页面来跟踪关键技能的冷却时间，同时用笔记记录宏操作、对手的组合，以及团战时需要关注技的冷却等。

在这个应用程序中我将演示：

会话，用户可以刷新页面，或者关闭页面后再打开，但在打开之后应该看到相同的内容。
持久化和数据库访问，我们需要将每个用户的定时器和笔记保存下来。另一个需求是定时器需要维持剩余的时间（用户设置了一个30分钟的定时器，然后不小心关闭了页面，应该如何？）
运行时的配置，因为我们不能把数据库连接的信息硬编码到代码里。
日志。日志对于Web应用的作用不言而喻。

我用到了哪些库？

路由和Web服务器：Spock

最终我选择了Spock，因为它易于使用。如果你用过Ruby的Sinatra，那么Spock应该不会陌生。Spock也自带了会话管理，这一点非常好。

例如，定义一个拥有几条路由的服务器，返回HTML和JSON，代码大致如下：

{-# LANGUAGE OverloadedStrings #-}

import Web.Spock as Spock
import Web.Spock.Config as Spock
import Data.Aeson as A

main :: IO ()
main = do
  spockCfg <- defaultSpockCfg () PCNoDatabase ()
  runSpock 3000 $ spock spockCfg $ do
    get root $ do
      Spock.html "<div>Hello world!</div>"
    get "users" $ do
      Spock.json (A.object [ "users" .= users ])
    get ("users" <//> var <//> "friends") $ \userID -> do
      Spock.json (A.object [ "userID" .= (userID :: Int), "friends" .= A.Null ])

  where users :: [String]
        users = ["bob", "alice"]
数据库访问：postgresql-simple
postgresql-simple基本上只允许您对数据库运行原始SQL查询，而没有多余的装饰，例如防止注入攻击。它可以实现您的期望，仅此而已。

{-# LANGUAGE OverloadedStrings #-}

import Database.PostgreSQL.Simple

userLoginsQuery :: Query
userLoginsQuery =
  "SELECT l.user_id, COUNT(1) FROM logins l GROUP BY l.user_id;"

getUserLogins :: Connection -> IO [(Int, Int)]
getUserLogins conn = query_ conn userLoginsQuery

数据库访问：postgresql-simple

postgresql-simple可以让你在数据库上运行原始的SQL查询，它只提供最基本的额外处理，比如防止注入攻击等。它仅完成你需要的东西，没有任何额外的功能。

{-# LANGUAGE OverloadedStrings #-}

import Database.PostgreSQL.Simple

userLoginsQuery :: Query
userLoginsQuery =
  "SELECT l.user_id, COUNT(1) FROM logins l GROUP BY l.user_id;"

getUserLogins :: Connection -> IO [(Int, Int)]
getUserLogins conn = query_ conn userLoginsQuery

配置：configurator

configurator能够从文件中读取配置，并解析成Haskell数据类型。与普通的配置文件读取器相比它的功能要多一些。

如果你习惯了直接读取配置文件，那么configurator还有一些额外功能。例如，配置项可以嵌套分组，configurator还提供了热重载来监视配置文件变化。

# An example config file.

app_name = "The Whispering Fog"

db {
  pool {
    stripes = 4
    resource_ttl = 300
  }

  username = "pallas"
  password = "thefalloflatinium"
  dbname = "italy"
}

{-# LANGUAGE OverloadedStrings #-}

import Data.Configurator as Cfg
import Database.PostgreSQL.Simple

data MyAppConfig = MyAppConfig
  { appName :: String
  , appDBConnection :: Connection
  }

getAppConfig :: IO MyAppConfig
getAppConfig = do
  cfgFile <- Cfg.load ["app-configuration.cfg"]
  name <- Cfg.require cfgFile "app_name"
  conn <- do
    username <- Cfg.require cfgFile "db.username"
    password <- Cfg.require cfgFile "db.password"
    dbname <- Cfg.require cfgFile "db.dbname"
    connect $ defaultConnectInfo
      { connectUser = username
      , connectPassword = password
      , connectDatabase = dbname
      }
  pure $ MyAppConfig
    { appName = name
    , appDBConnection = conn
    }

日志：fast-logger

fast-logger提供了一个相对简单易用的日志解决方案。在Web应用程序的示例中，我只输出到了stderr，但它还可以支持输出日志到文件。虽然它支持许多类型，但绝大多数情况下，你需要定义一个辅助函数，接收一个LoggerSet，以及需要记录的信息。

import System.Log.FastLogger as Log

logMsg :: Log.LoggerSet -> String -> IO ()
logMsg logSet msg =
  Log.pushLogStrLn logSet (Log.toLogStr msg)

doSomething :: IO ()
doSomething = do
  logSet <- Log.newStderrLoggerSet Log.defaultBufSize
  logMsg logSet "message 1"
  logMsg logSet "message 2"

HTML生成：blaze-html

尽管本项目的后台并不需要生成太多HTML，但值得一提的是，blaze-html正是我需要的。

基本上它就是将HTML浅层嵌入到了Haskell DSL中。如果你会编写HTML，那你就会使用这个库。

{-# LANGUAGE OverloadedStrings #-}

import Data.ByteString.Lazy

import Text.Blaze.Html5 as HTML
import Text.Blaze.Html5.Attributes as HTML hiding ( title )
import Text.Blaze.Html.Renderer.Utf8 as HTML

dashboardHTML :: HTML.Html
dashboardHTML = HTML.html $
  HTML.docTypeHtml $ do
    HTML.head $ do
      HTML.title "Timers and Notes"
      HTML.meta ! HTML.charset "utf-8"
      HTML.script ! HTML.src "/js/bundle.js" $ ""
    HTML.body $ do
      HTML.div ! HTML.id "content" $ ""

dashboardBytes :: ByteString
dashboardBytes = HTML.renderHtml dashboardHTML

构建前端：make + npm

没错，它们并不是库。但我们依然需要某种JavaScript前端，因为定时器需要实时更新。Webpack能够生成JS包，而Make能够组装最终的应用程序。

这些东西无需我多说，网上有很多相关的资源。