函数可以是Haskell中类的实例吗

Question

class A a
instance A (Int -> Float)

不起作用，并且

class B b
instance B Int

如果Haskell中的函数被视为第一类并且（Int-> Float）无疑是一种类型，尽管它不是（*）具体类型，为什么函数不能成为类的实例

Answer 1

是的，函数类型在Haskell中不是很特殊：

module Test where

instance Show (a -> b) where
    show _ = "(function)"

正如shk在他的回答中所指出的那样，如果您想修复域或范围的类型，则将需要像FlexibleInstances这样的扩展名-但这与函数类型无关，并且其他类型构造函数应用程序（例如， Maybe Int还有Maybe Int 。

Answer 2

使用FlexibleInstances扩展，您可以执行以下操作：

{-# LANGUAGE FlexibleInstances #-}

module TestFlexibleInstances where

class A a

instance A (Int -> Float)