相关疑难解决方法(0)

本页用法

$ ghci -XNoMonomorphismRestriction

启动haskell解释器.

XNoMonomorphismRestriction切换是什么意思？

在ghci我身边玩耍时得到以下表达式:unlines . map (\(a,b) -> show a ++ " " ++ show b)

现在,当我检查它时,:t我得到:

> :t  unlines . map (\(a,b) -> show a ++ " " ++ show b)
unlines . map (\(a,b) -> show a ++ " " ++ show b)
  :: (Show a, Show a1) => [(a, a1)] -> String

完全如预期的那样.但现在,如果我尝试将其分配给某个名称,我会获得比原始名称更具体的签名:

> let f = unlines . map (\(a,b) -> show a ++ " " ++ show b)
> :t f
f :: …