Haskell: verifica se numero intero o controlla il tipo di variabile

Question

Quindi supponiamo di avere una variabile n.

Si desidera verificare se è un numero intero o, meglio ancora, controllare di che tipo si tratta.

So che esiste una funzione in haskell, isDigit che controlla se si tratta di un carattere.

Tuttavia esiste una funzione che verifica se n è in numero intero o, meglio ancora, restituisce il tipo di n?

Answer 1

Se si utilizza un prompt Haskell interattivo (come GHCi), è possibile digitare :t <expression> e questo darà il tipo di espressione.

ad es.

Prelude> :t 9 

dà

9 :: (Num t) => t 

o ad esempio

Prelude> :t (+) 

dà

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

Answer 2

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

Ma si dovrebbe pensare di codice, questo non è molto simile a Haskell dovrebbe essere, e probabilmente non è quello che volete.