Поймите возвращаемого значение функции ошибок Типа

Question

:t error 

показывает,

error :: [Char] -> a 

Чтобы понять, что тип а, я написал этот тестовый код,

import Data.Typeable 
custom = error "hello how are you" 

main = do 
    let a = custom 
    putStrLn $ show (typeOf a) 

Он получает возвращаемое значение error функции в и пытается распечатать его, используя функцию show . Он бросает ошибку, как,

ab.hs:6:20: 
    No instance for (Typeable a0) arising from a use of ‘typeOf’ 
    The type variable ‘a0’ is ambiguous 
    Note: there are several potential instances: 
     instance [overlap ok] Typeable() 
     -- Defined in ‘Data.Typeable.Internal’ 
     instance [overlap ok] Typeable Bool 
     -- Defined in ‘Data.Typeable.Internal’ 
     instance [overlap ok] Typeable Char 
     -- Defined in ‘Data.Typeable.Internal’ 
     ...plus 14 others 

Как я могу сделать typeOf для переменной и распечатать его в виде строки?

Answer 1

Вы не можете использовать typeOf с полиморфным выражением, так как это невозможно было бы ввести в Haskell и потому, что нет переменных типа TypeRep. Конечно, последнее было бы достаточно легко исправить, если бы можно было определить typeOf таким образом, чтобы в результате его можно было получить переменную типа, а это не так.

Обратите внимание, что если typeOf может представлять переменные типа и принимать полиморфные аргументы, typeOf (error "") просто напечатает что-то вроде «a» или «forall a. A», поэтому я не уверен, что это вам поможет.

Для того, чтобы использовать typeOf на error, вы должны дать ему мономорфический типа, как этот typeOf (error "" :: String) или typeOf (error "" :: Int), который будет печатать «String» и «Int» соответственно.

Answer 2

a - нижний регистр, что означает, что это переменная типа. Он может принимать любой тип. Вы можете подставить результат error для любого выражения, и ваш код будет вводить проверку. Это полезно для частичных функций, которые не определены для всех возможных аргументов. Например:

head :: [a] -> a 
head [] = error "empty list" 
head (x:_) = x 

Учитывая пустой список, вы не можете создать первый элемент, потому что его не существует. error заставляет типы работать, но взрывается во время выполнения при оценке.

Per user5402's comment ниже:

error "add" может иметь любой тип в части, потому что он никогда не возвращается.