haskell - 判断一个值是否是 Haskell 中的函数

Question

是否可以编写一个函数isFunc :: a -> Bool来确定任意值是否是（任何类型的）函数，使得

foo :: Int -> Int
bar :: Char -> Char -> Char    

> isFunc foo
True
> isFunc bar
True
> isFunc 3
False
> isFunc 'a'
False

我正在使用Data.Dynamic，所以我无法提前确定类型。

Answer 1

你要求什么和你需要做什么Data.Dynamic似乎是不同的事情。fromDyn在使用/提取值之前，您需要知道值的确切类型fromDynamic。要确定是否Dynamic包含您需要分析的函数值TypeRep：

isFuncDynamic x = typeRepTyCon (dynTypeRep x) == typeRepTyCon (typeOf2 id)

（如果这不是最简洁的实现，请原谅我。）

Answer 2

参数化说不。类型的唯一功能

a -> Bool

是常数函数。

但是，通过一些特殊的多态性和更多的胆量，您可以这样做：

{-# LANGUAGE OverlappingInstances, FlexibleInstances #-}

class Sick x where
  isFunc :: x -> Bool

instance Sick (a -> b) where
  isFunc _ = True

instance Sick x where
  isFunc _ = False

然后看起来你有

*Sick> isFunc 3
False
*Sick> isFunc id
True

但这似乎是一件很奇怪的事情。结果Bool对你有什么用？