Тип ошибки, связанной с долями

Question

Im пытается выяснить, в чем проблема. Кажется, что-то не так с типами, но одно и то же выражение работает отлично.

Вот код:

a = [9, 4, 12, 0, -6, 16] :: [Int] 

qsort:: [Int] -> [Int] 
qsort [] = [] 
qsort [x] = [x] 
qsort xs = (qsort l)++(qsort r) 
    where m = (realToFrac(sum xs))/(realToFrac(length xs)) 
      l = filter (<=m) xs 
      r = filter (>m) xs 

main::IO() 
main = do 
     print (show (qsort a)) 

Он бросает:

main.hs:7:36: 
    No instance for (Fractional Int) 
     arising from a use of `/' 
    Possible fix: add an instance declaration for (Fractional Int) 
    In the expression: (realToFrac (sum xs))/(realToFrac (length xs)) 
    In an equation for `m': 
     m = realToFrac (sum xs)/(realToFrac (length xs)) 
    In an equation for `qsort': 
     qsort xs 
      = (qsort l) ++ (qsort r) 
      where 
       m = realToFrac (sum xs)/(realToFrac (length xs)) 
       l = filter (<= m) xs 
       r = filter (> m) xs 

Но что хорошо работает:

a = [9, 4, 12, 0, -6, 16] :: [Int] 
main::IO() 
main = do 
    print (show ( (realToFrac(sum a))/(realToFrac(length a)) )) 

Answer 1

Ваше m определение дает ряд типов Fractional. Однако вы сравниваете m с Int в определении l и r, что смешивает компилятор. Ниже будет делать трюк:

a = [9, 4, 12, 0, -6, 16] :: [Int] 

qsort:: [Int] -> [Int] 
qsort [] = [] 
qsort [x] = [x] 
qsort xs = (qsort l)++(qsort r) 
    where m = realToFrac(sum xs)/(realToFrac(length xs)) 
      l = filter ((<=m) . fromIntegral) xs 
      r = filter ((>m) . fromIntegral) xs 

main::IO() 
main = do 
     print (show (qsort a)) 

Answer 2

realToFrac(sum xs)/(realToFrac(length xs)) делает работу, но его результатом является дробным числом. Таким образом, в вашем коде m есть дробное число. Но вы сравниваете m с элементами в своем списке, которые являются Интс. Поскольку вы можете сравнивать только значения одного типа, а Ints - не дробные числа, это вызывает ошибку типа.

Для устранения проблемы вы можете использовать целочисленное деление (div) или преобразовать целые числа в список в дробные числа, прежде чем сравнивать их с m.

Answer 3

Вы можете использовать x в качестве стержня. Совместимость списка образцов «qsort (x: xs)» здесь очень помогает.

a = [9, 4, 12, 0, -6, 16] :: [Int]                      

qsort:: [Int] -> [Int]                         
qsort [] = []                           
qsort (x:xs) = (qsort l) ++ [x] ++ (qsort r)                   
    where l = filter (<=x) xs                      
      r = filter (>x) xs                       

main::IO()                            
main = putStrLn $ show $ qsort a 

-- *Main> main                           
-- [-6,0,4,9,12,16] 

Альтернативный синтаксис, а также: http://hpaste.org/81793