Haskell中($)的类型签名解析：TYPE的含义与必要性

我尝试重新实现Haskell中的($)运算符，代码如下：

($) :: (a -> b) -> a -> b
f $ a = f a

该实现与官方定义几乎完全一致，仅存在一处差异：官方定义使用了带TYPE的类型签名：

($) :: forall r a (b :: TYPE r). (a -> b) -> a -> b
f $ x =  f x

请问TYPE是什么类型？它在该定义中的必要性体现在哪里？

什么是TYPE？ #

TYPE是GHC Haskell的扩展特性（依赖PolyKinds等扩展），它是一种种类（Kind）——用来描述"类型的类型"。

在标准Haskell中，所有普通运行时类型（比如Int、Bool）都属于*种类，但GHC为了支持更多高级特性，引入了TYPE r这个通用种类框架：其中r是运行时表示参数，用来区分不同类型的底层实现方式，比如：

• TYPE 'LiftedRep等价于标准的*种类，对应支持惰性求值、允许底值（⊥）的普通类型；
• TYPE 'UnliftedRep对应底层原生的严格求值类型（如ByteArray#）；
• TYPE 'TupleRep [r1, r2]、TYPE 'SumRep [r1, r2]则分别对应元组、和类型的专用表示。

简单来说，TYPE是GHC用来统一描述所有类型（包括普通类型、底层特殊类型）的通用种类。

TYPE在($)定义中的必要性 #

你手写的($)在标准Haskell场景下完全可用，但它只能处理a、b都是*种类（普通运行时类型）的情况。官方定义引入TYPE r，是为了让($)具备全种类通用性，适配GHC扩展带来的非标准类型场景：

• 支持Unlifted类型：如果函数返回的是ByteArray#这类底层unlifted类型，普通的($)会因类型种类不匹配报错，而带TYPE r的定义允许b是任意运行时表示的类型，让($)能正常作用于这类函数。
• 适配高级类型特性：在使用RankNTypes、PolyKinds等高级特性时，函数的返回值可能不属于*种类，TYPE r让($)保持完全多态，无需为特殊场景重新定义运算符。
• 保持运算符的通用性：作为Haskell中最常用的"消除括号"工具，($)需要适配所有合法的函数调用场景，包括底层原生类型和高级类型编程，确保用户在任何场景下都能使用同一个运算符。

举个实际例子，当你使用底层unlifted类型时：

import GHC.Exts (ByteArray#, mkByteArray#)
foo :: Int -> ByteArray#
foo n = mkByteArray# n

用官方的($)可以直接写foo $ 42，但用你手写的($)会因ByteArray#不属于*种类而报错。

内容的提问来源于stack exchange，提问作者Futarimiti