haskell - 在 Haskell 中，列表 ( '[Something] ) 前面的撇号是什么意思？

Question

我在看仆人 documentation并遇到了这条线:

type UserAPI = "users" :> QueryParam "sortby" SortBy :> Get '[JSON] [User]

什么是 '对那个 list 做什么？

Answer 1

引号用于区分类型级构造函数与提升类型的术语级构造函数。

例如:

{-# LANGUAGE DataKinds #-}

data Which = One | Two

myPick :: Which -- Type
myPick = One

type MyPick :: Which -- Kind
type MyPick = 'One

对了，实物批注 type MyPick :: Which不是有效的 Haskell，但它让您了解术语和类型级别之间的对应关系。最接近这一点需要打开另一个扩展:

{-# LANGUAGE TypeFamilies #-}

type family MyPick :: Which where
  MyPick = 'One