普通程序员转行Haskell指南（共43集）

[kalxd]

B站视频，我觉得不错，concurrency haskell竟然看懂了。

视频地址：https://www.bilibili.com/video/BV1uG411u76W/

[adoyle-h]

一直觉得看视频学编程效率很低。不如看书。

• Learn You a Haskell for Great Good!
• Real World Haskell

[kalxd]

你这两本是基础中的基础，只能叫纯haskell。

要写点实际应用，还要额外学好多东西，甚至连书都没有，只有博客或论文。

[adoyle-h]

好机会啊，你写一本，造福社会。

[kalxd]

这样的书好像已经了，《魔力Haskell》，还有一本忘记啥名，都是国人写的，我也都看完了。

但不管怎么说，Haskell真是太抽象了，学起来是有些吃力。

[adoyle-h]

那为何还有那么多人用？是因为表达能力很强，自由度很高？
也是，vim 都有那么多人用。

[kalxd]

实际上，用的人并不多，你问一下身边的人，很多人基本都没听过这个名字。Haskell总的来说是一门学术语言，你可以认为是为了解决工业界问题而规定使用的一门通用性纯函数式语言，所以在它身上做的研究特别多。

对于我而言，从初学到现在刚抬脚准备入门，它改变了我以往的解题方式，从始至终我都认为好的、正确的程序就应该像Haskell那种方式写出。另一个影响就是特别关注类型，认为好的类型能够让我们写出更健壮、更正确的程序，把所有问题在编译期指出，而不是运行时崩溃时抓耳挠腮，所以更加钟爱rust而排斥go。

刚刚写了一段servant的扩展API：

{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Ralts.Server.Auth (AuthRequest) where

import Network.Wai (Request)
import Servant (BasicAuthResult(..), HasServer(..), HasContextEntry, (:>), ServerT, getContextEntry, err401)
import Servant.Server.Internal.Delayed (addAuthCheck)
import Servant.Server.Internal.DelayedIO (withRequest, DelayedIO, delayedFail)
import Data.Typeable (Typeable)
import GHC.Generics (Generic)
import Data.Proxy (Proxy(..))
import Control.Monad.IO.Class (liftIO)

data Auth (userData :: *) deriving (Typeable)

newtype AuthRequest userData = AuthRequest { runAuthRequest :: Request -> IO (BasicAuthResult userData)
                                           }
                             deriving (Typeable, Generic, Functor)

runAuth :: Request -> AuthRequest userData -> DelayedIO userData
runAuth req (AuthRequest f) = do
    auth <- liftIO $ f req
    case auth of
        Authorized user -> pure user
        _ -> delayedFail err401

instance ( HasServer api context
         , HasContextEntry context (AuthRequest userData)
         ) => HasServer (Auth userData :> api) context where
    type ServerT (Auth userData :> api) m = userData -> ServerT api m

    route Proxy context subserver = route (Proxy :: Proxy api) context (subserver `addAuthCheck` authCheck)
        where authContext = getContextEntry context
              authCheck = withRequest $ \req -> runAuth req authContext

    hoistServerWithContext _ pc nt s = hoistServerWithContext (Proxy :: Proxy api) pc nt . s

用起来大概这样子：

type Api  = Auth :> "hello" :> Get '[JSON] Text -- router API 体操，只有验证成功的请求才能访问后面的hello路由

api :: Server Api
api user = pure user.name

这样的类型体操，只有haskell能做，rust得靠宏，而这些，全靠类型设计得出来。
同时你也看到了，文件头部顶着一堆扩展，这是只看那两本书完全看不到的东西。