haskell - 在 Haskell 中使用中间多态类型组合函数

Question

我有以下文件:

module SimpleComposition where

class Intermediate a where
    f :: a -> Int
    g :: Char -> a

h :: Char -> Int
h = f . g

当尝试在 ghci 中加载它时，出现错误:

main.hs:8:5: error:
    * No instance for (Intermediate a0) arising from a use of `f'
    * In the first argument of `(.)', namely `f'
      In the expression: f . g
      In an equation for `h': h = f . g
  |
8 | h = f . g
  |     ^

我认为问题是有人可能在这个组合中使用了 2 种不同的类型，它们是 Intermediate 的实例。我如何保证我导出这个模块时是一样的？

PS:与我之前提出的问题 (How to compose polymorphic functions in Haskell?) 相比，这是我遇到的问题的一个更好的最小示例。

Answer 1

问题不在于无法推断出实例，而是编译器真的无法知道您可能需要什么类型。 g 可以产生任何类型的请求(假设它有一个 Intermediate 实例)，f 可以使用任何这样的类型......但是没有人指定哪个。

但这很容易解决:现在只需选择一种类型。当然，它需要是一个确实有实例的；例如如果你有

instance Intermediate Char where
  f = fromEnum
  g = id

然后你就可以使用了

h :: Char -> Int
h = (f :: Char -> Int) . g

修复类型选择的更简洁的方法是使用句法扩展:

{-# LANGUAGE TypeApplications #-}

h = f @Char . g

...或者，为了强调您只是在中间固定类型，

h = f . id @Char . g