如何在Haskell中计算类型

Question

让我们说

  flip :: (a->b->c) ->b->a->c
  const ::d->e->d

(翻转const)的类型

  a=d,b=e,c=d

在

  b->a->c

所以类型会是

  e->d->d

但是(地图拍摄)它

  [Int]->[[a]]->[[a]]

所以我不明白这个ghci是如何计算的.我理解[[a]] - > [[a]]但是为什么以及如何[Int]？

编辑:例如,如果我们写ghci

  :t flip const 


it would return b->c->c

和ghci会像我一样计算出来.

但

 map :: (a->b)->[a]->[b]
 take :: Int->[c]->[c]

那么为什么地图需要

  [Int]->[[a]->[a]]

为什么[Int] ghci是如何计算出来的

Answer 1

我们做同样的分析:

map :: (a -> b) -> [a] -> [b]

和

take :: Int -> [x] -> [x]

但这实际上意味着

take :: Int -> ([x] -> [x])

因此,与a=Int和b=([x] -> [x]) 你

map take :: [Int] -> [ [x] -> [x] ]

列表函数列表!

Answer 2

您应该复制并粘贴您看到的类型,而不是将它们重新输入到问题中.原因是你看错了.类型map take是:

map take :: [Int] -> [[a] -> [a]]

换句话说,统一就是这样的:

:t map
map :: (a -> b) -> [a] -> [b]
:t take
take :: Int -> [c] -> [c]

所以在申请时take作为第一个参数map你a ~ Int和b ~ [c] -> [c](注意这是一个功能).在map类型中执行这些替换并应用第一个参数:

map take :: [a] -> [b]        (for some specific 'a' and 'b')
-- recall a ~ Int
map take :: [Int] -> [b]      (for some specific 'b')
-- recall b ~ [c] -> [c]
map take :: [Int] -> [[c] -> [c]]

耶,map take正是你所期望的.一个在Ints列表上运行的函数,它产生一个函数列表,这些函数将从列表的开头获取一些元素.