Haskell:检查是否为整数,或检查变量的类型

Question

所以假设你有一个变量n.

你想检查它是否是一个整数,或者更好,但检查它是什么类型.

我知道haskell中有一个函数,isDigit检查它是否是一个char.

但是,是否有一个函数检查n是否为整数,或者甚至更好,给出n的类型？

Answer 1

import Data.Typeable
isInteger :: (Typeable a) => a -> Bool
isInteger n = typeOf n == typeOf 1

但是你应该考虑你的代码,这与Haskell应该是不一样的,它可能不是你想要的.

Answer 2

如果您正在使用交互式Haskell提示符(如GHCi),则可以键入:t <expression>,这将为您提供表达式的类型.

例如

Prelude> :t 9

给

9 :: (Num t) => t

或者例如

Prelude> :t (+)

给

(+) :: (Num a) => a -> a -> a