您如何在Haskell中指定任何类型？

Question

我必须将一个列表分成两半，从而得到列表前半部分和列表后半部分的元组（half1，half2）。 当此列表的长度为奇数时，我想使half1包含比half2更多的元素。 如果给出一个空列表，我想要一个（[[]，[]）的元组。 但是，以下代码给我一个错误。

 halve :: [a] -> ([a],[a])
 halve [] = ([],[])
 halve xs =
    if (((length(xs) `mod` 2)==1))
    then(take (ceiling(toRational(length(xs) `div` 2))) xs, drop(ceiling(toRational(length(xs) `div` 2))) xs)
    else ((take (floor(toRational(length(xs) `div` 2))) xs, drop (floor(toRational(length(xs) `div` 2))) xs))
 main = do
 putStrLn(show (halve [1,2,3])) 
 putStrLn(show (halve [])) gives me an error

我认为，对于putStrLn（show（halve []））的错误，解释器不知道该数组是由什么组成的，但是我该怎么做，以便该类型无关紧要，因此该行可以给我（[[ ]，[]）。

Answer 1

问题是[]是多态的吗？ 它的类型是[] :: [a] 。 加上我们使用Show的事实，意味着我们的类型为Show a => [a] 。

现在Haskell有不知道哪a我们想要的，而选择的问题！ 如果a是一个大于此Char ("", "") ，如果a不是，则可能Char ([], []) 。 因此，我们必须决定要使用哪种类型。

一个简单的技巧是[] :: String只是"" 。 所以

putStrLn (show (halve ""))

由于print是相同的行为

print (halve "")

如果我们不想使用Char ，那么我们可以写

print (halve ([] :: [SomeType]))

Answer 2

你做不到 您必须指定列表的内容。 ghc必须在编译时知道这种静态键入的工作方式。 所以你必须有这样的东西。

main = do                                                                           
    print (halve [1,2,3])                                                           
    print (halve ([] :: [Int]))

另外，我还清理了您的一半功能。

halve :: [a] -> ([a],[a])                                                           
halve [] = ([],[])                                                                  
halve xs                                                                            
    | odd l         = splitAt ((l `div` 2) + 1) xs                                  
    | otherwise     = splitAt (l `div` 2) xs                                        
  where l = length xs 

Answer 3

halve ，您的halve函数编写得有些糟糕。 您可以使该函数更短，如下所示：

halve :: [a] -> ([a], [a])
halve xs = (take n xs, drop n xs) 
  where n = ceiling . (/2) . toRational . length $ xs

这取决于take n [] == drop n [] == []的事实。

同样，在Haskell中，不需要在函数调用f(a,b) == fab加上括号，并且g(f(x))可以写为g . f $ x g . f $ x 。

最后，正如其他人提到的那样，您需要指定[] no的类型，编译器才能找到合适的show实例。

（一个巧妙的技巧是print = putStrLn . show ）

main = do
  print $ halve [1,2,3]
  print $ halve ([] :: [Integer])