Haskell：类型应用的快捷别名语法咨询

好问题！Haskell本身并没有直接支持你想象中那种type ??? = @'SomeX @'SomeY的类型应用序列别名语法，但我们有几种实用的替代方案来简化重复的类型应用调用，下面给你详细说说：

1. 定义包装函数（最常用也最直观） #

直接写一个包装函数，把你需要固定的类型参数提前应用好，只留下需要动态指定的类型参数。比如：

-- 先假设原函数的类型是这样的
someFunc :: forall a b c. (SomeConstraint a, SomeConstraint b) => ...

-- 固定@'SomeX和@'SomeY，只保留c作为可指定的类型参数
someFuncXY :: forall c. (SomeConstraint 'SomeX, SomeConstraint 'SomeY) => ...
someFuncXY = someFunc @'SomeX @'SomeY

之后调用的时候，直接用someFuncXY @'SomeZ就能代替原来冗长的someFunc @'SomeX @'SomeY @'SomeZ。这种方式清晰易懂，不需要额外的复杂扩展，只要开启TypeApplications就能用。

2. 用类型族模拟“应用别名” #

如果需要把同一组类型应用逻辑复用在多个函数上，可以用类型族来实现一个通用的“应用别名”：

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeApplications #-}

type family ApplyXY f where
  ApplyXY f = f @'SomeX @'SomeY

调用的时候写成ApplyXY someFunc @'SomeZ，效果和someFunc @'SomeX @'SomeY @'SomeZ完全一致。不过这种写法相对小众，可读性不如包装函数，适合批量处理多个函数的场景。

3. 用部分类型签名简化（依赖类型推断） #

如果编译器能够自动推导部分类型参数，你可以开启PartialTypeSignatures扩展，用下划线_省略那些能被推断的参数：

{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE TypeApplications #-}

-- 如果编译器能推断出a和b就是'SomeX和'SomeY，就可以这么写
someFunc @_ @_ @'SomeZ

不过这种方式依赖类型推断的能力，稳定性不如前两种，适合临时简化或者类型明确可推导的场景。

总的来说，最推荐的是第一种包装函数的方案，既符合Haskell的常规编码风格，又能清晰表达你的意图。

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