@ 符号在 Haskell 中的表达式中有什么作用？

Question

我试图弄清楚@ 在endpoint @"start" 这样的表达式中做了什么。它可能是语言扩展的一部分吗？

我看到该功能所在的模块启用了以下扩展。

{-# LANGUAGE DataKinds                  #-}
{-# LANGUAGE DeriveAnyClass             #-}
{-# LANGUAGE DeriveGeneric              #-}
{-# LANGUAGE DerivingStrategies         #-}
{-# LANGUAGE FlexibleContexts           #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE LambdaCase                 #-}
{-# LANGUAGE MultiParamTypeClasses      #-}
{-# LANGUAGE NoImplicitPrelude          #-}
{-# LANGUAGE OverloadedStrings          #-}
{-# LANGUAGE RecordWildCards            #-}
{-# LANGUAGE ScopedTypeVariables        #-}
{-# LANGUAGE TemplateHaskell            #-}
{-# LANGUAGE TypeApplications           #-}
{-# LANGUAGE TypeFamilies               #-}
{-# LANGUAGE TypeOperators              #-}

完整功能：

endpoints :: Contract () AuctionSchema Text ()
endpoints = (start' `select` bid' `select` close') >> endpoints
  where
    start' = endpoint @"start" >>= start
    bid'   = endpoint @"bid"   >>= bid
    close' = endpoint @"close" >>= close

Answer 1

有两个相关的扩展文档可供阅读：TypeApplications 和 DataKinds。来自类型应用程序文档的 sn-p：

TypeApplications 扩展允许您在表达式中使用可见类型应用程序。这是一个示例：show (read @Int "5")。 @Int 是可见类型应用程序；它指定read的类型中类型变量的值。

从数据种类文档中：

使用DataKinds，GHC 自动将每个数据类型提升为一种类型，并将其（值）构造函数提升为类型构造函数。

我猜你也必须了解Symbol，这是一种字符串的类型级表示，比类型级[Char] 更有效（但功能更少），但我找不到好地方在官方文档中阅读它。您可以在GHC.TypeLits haddocks 中了解它。