我想要一个功能f作为增量Ints 并作为所有其他类型的标识。我尝试启用TypeApplications扩展并以最直接的方式执行此操作：
f :: forall a. a -> a
f @Int x = x + 1
f @_ x = x
但扩展不启用此类模式：
<interactive>:6:1: error: Parse error in pattern: f @Int
Haskell 中是否有类型模式匹配（或类似机制）？
如上所述，这在 Haskell 中是不可能实现的，因为它会违反参数多态性的基本属性之一，称为“参数性”，它确保任何多态函数满足称为“自由定理”的特定属性。
特别是，类型的终止函数forall a. a -> a必须是身份。没有其他可能的实现。
话虽这么说，如果我们允许对类型进行约束a，这成为可能。通常，运行时类型测试是通过 Haskell 完成的Typeable类型类别：
f :: forall a. Typeable a => a -> a
f x = case eqT @a @Int of -- Is a ~ Int ?
Just Refl -> x + 1 -- If it is, we can add one.
Nothing -> x -- Otherwise, return x as-is.
这需要一堆 GHC 扩展，并导入Data.Typeable https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Typeable.html.
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
