haskell - Haskell中类型的计算是怎样的

Question

让我们说

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

(flip const) 的类型是

  a=d,b=e,c=d

在

  b->a->c

所以类型是

  e->d->d

但是对于( map 拍摄)它

  [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]

那为什么要取 map

  [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] ]

列表函数列表!