Resultados da pesquisa a pedido "type-variables"

1 a resposta

Como o GHCi escolhe nomes para variáveis de tipo?

Ao usar o intérprete interativo do GHC, é possível solicitar o tipo inferido de uma expressão: Prelude> :t map map :: (a -> b) -> [a] -> [b] Parece que leva os nomes das variáveis de tipo da assinatura desdemap ...