Haskell IO函数接受来自另一个函数的返回值

Question

module PRO where 
average1 :: IO Float 
avarage1 = 
    do 
     putStrLn "Enter Marks in Form of a List" 
     marks <- getLine 
     let m = (read marks)::[Int] 
     x<-(sum' (m)) 
     avg <- x/length (m) 
     if(x/=[]) 
      then 
       putStrLn ("empty List") 
      else 
       putStrLn ("Your Avarage is " ++ show(avg)) 


sum' :: (Num a) => [a] -> a 
sum' xs = foldl (\acc x -> acc + x) 0 xs 

我的程序似乎不工作！我的问题是为什么我不能分配avgsum'函数的返回sum？

Answer 1

不能使用<-表示法来分配返回值sum' m和x/length m。当右手侧是一元表达式（在这种情况下，IO值），其没有一个是<-只能被使用，并且因此应使用let x = sum' m和let avg = x/fromInteger (length m)代替（fromInteger需要为转换由length m返回的Int到分数值，因此可以传递给/）。 （而且，你可能需要改变x /= []到m /= []）

Answer 2

module PRO where 

average1 :: IO() 
average1 = 
    do 
     putStrLn "Enter Marks in Form of a List" 
     marks <- getLine 
     let m = (read marks)::[Int] 
     let x = sum' m 
     let avg = (fromIntegral x)/(fromIntegral $ length m) 
     if(m==[]) 
      then 
       putStrLn ("empty List") 
      else 
       putStrLn ("Your Avarage is " ++ (show avg)) 

sum' :: (Num a) => [a] -> a 
sum' xs = foldl (\acc x -> acc + x) 0 xs 

I）的average1类型签名是不正确，该函数不返回值

II）[编辑：这一点是不正确]

III）的平均值是浮动，所以你需要转换整数参数

iv）您测试if (x/=[])是南辕北辙，应使用m不能x

V）大部分的线路都不在IO单子，因此应该使用let一个do块