4、路由与处理器：构建高效Web应用的核心

最新推荐文章于 2025-11-23 03:08:05 发布

oo7890

最新推荐文章于 2025-11-23 03:08:05 发布

阅读量45

点赞数

CC 4.0 BY-SA版权

分类专栏：深入浅出Haskell与Yesod：Web开发的新范式文章标签： Yesod 路由定义处理器函数

本文链接：https://blog.youkuaiyun.com/oo7890/article/details/148830425

深入浅出Haskell与Yesod：Web开发的新范式专栏收录该内容

45 篇文章 ¥499.90

订阅专栏¥69.90

会员秒杀 ¥9.9 重磅福利

超级会员免费看

路由与处理器：构建高效Web应用的核心

1. 路由定义

在构建Web应用时，路由定义是至关重要的一步。它决定了用户请求如何映射到具体的处理器函数，从而执行相应的业务逻辑。Yesod通过简洁且类型安全的方式实现了这一点。

使用 `mkYesod` 函数

mkYesod 是Yesod中用于定义路由的核心函数。它不仅简化了路由定义，还确保了路由的类型安全性。下面是一个简单的例子：

{-# LANGUAGE QuasiQuotes, TypeFamilies, TemplateHaskell #-}

import Yesod

data App = App

mkYesod "App" [parseRoutes|
/ HomeR GET
/link1 Link1R GET
/link2 Link2R GET
/link3 Link3R GET
/link4 Link4R GET
|]

instance Yesod App where

getHomeR :: Handler Html
getHomeR = defaultLayout $ do
    setTitle "Redirects"
    [whamlet|
        <p>
            <a href=@{Link1R}>Click to start the redirect loop!
    |]

getLink1R, getLink2R, getLink3R :: Handler ()
getLink1R = redirect L