Divisione in Haskell

Question

Sto facendo una funzione in Haskell che dimezza solo le variabili in una lista e sto riscontrando un problema. Quando eseguo il compilatore si lamenta che non è possibile eseguire la divisione di un int e che ho bisogno di una dichiarazione di tipo int frazionale. Ho provato a cambiare la dichiarazione del tipo in float, ma questo ha generato solo un altro errore. Ho incluso il codice della funzione qui sotto e speravo in qualsiasi forma di aiuto.

halfEvens :: [Int] -> [Int] 
halfEvens [] = [] 
halfEvens (x:xs) | odd x = halfEvens xs 
       | otherwise = x/2:halfEvens xs 

Grazie per la lettura.

Answer 1

Uso div, che svolge divisione intera:

halfEvens :: [Int] -> [Int] 
halfEvens [] = [] 
halfEvens (x:xs) | odd x = halfEvens xs 
       | otherwise = x `div` 2 : halfEvens xs 

La funzione (/) richiede argomenti cui tipo è rappresentato nella classe Fractional, ed esegue la divisione standard. La funzione div richiede argomenti il ​​cui tipo è nella classe Integral ed esegue la divisione integer.

Più precisamente, div e mod rotondo verso l'infinito negativo. I loro cugini, quot e rem, si comportano come integer division in C e arrotondano verso lo zero. div e mod di solito sono corretti quando si esegue l'aritmetica modulare (ad esempio quando si calcola il giorno della settimana in base a una data), mentre quot e rem sono leggermente più veloci (credo).

Giocando un po 'intorno a GHCi:

> :t div 
div :: Integral a => a -> a -> a 
> :t (/) 
(/) :: Fractional a => a -> a -> a 
> 3/5 
0.6 
> 3 `div` 5 
0 
> (-3) `div` 5 
-1 
> (-3) `quot` 5 
0 
> [x `mod` 3 | x <- [-10..10]] 
[2,0,1,2,0,1,2,0,1,2,0,1,2,0,1,2,0,1,2,0,1] 
> [x `rem` 3 | x <- [-10..10]] 
[-1,0,-2,-1,0,-2,-1,0,-2,-1,0,1,2,0,1,2,0,1,2,0,1] 

Answer 2

Vorrei aggiungere che utilizzando map semplificherebbe il codice.

HalfIfEven n 
    | even n = n `div` 2 
    | otherwise = n 

halfEvens = map halfIfEven