Come rompere | pausa | ritorno in una comprensione di lista Haskell

Question

Voglio restituire tutti i cubi (x^3) che sono meno di un parametro Int utilizzando una comprensione di lista. Ho il seguente:

cubesLessThanN :: Int -> [Int] 
cubesLessThanN int = [if x * x * x <= int then x else * | x <- [0..int]] 

L'asterisco è dove sto avendo il problema. Voglio interrompere l'elaborazione del loop una volta che si verifica else. L'ultimo [list] dovrebbe avere solo i cubi, non gli altri valori di x. Non mi interessa davvero come succede, ma vorrei sapere le opzioni e quali sono le differenze (se ce ne sono).

Se provo a restituire null, Nothing, '' e alcuni altri. So che dovrei restituire un tipo di int se restituisco qualcosa.

Answer 1

di lista supportano guardie.

[x | x <- [0..int], x^3 <= int] 

Dal list comprehension sono lo zucchero per la lista Monade, questo equivale a utilizzare la funzione guard in un do blocco:

do 
    x <- [0..int] 
    guard (x^3 <= int) 
    return x 

Se desugar questo in >>= e InLine le definizioni di >>= e guard:

concatMap (\x -> if x^3 <= int then [x] else []) [0..int] 

Questo è simile a un filt ER.

filter (\x -> x^3 <= int) [0..int] 

Controllo dello stato continuerà (pigramente) anche dopo il valore della x^3 supera il valore di int. Per evitare ciò, puoi usare takeWhile perché sai che la tua funzione è monotona.

takeWhile (\x -> x^3 <= int) [0..int] 

Answer 2

Uso takeWhile:

cubesLessThanN :: Int -> [Int] 
cubesLessThanN int = takeWhile ((<= int) . (^3)) [0..] 

Answer 3

Prendere una radice cubica

[ x^3 | x <- [ 1 .. ceiling (fromIntegral int ** (1/3)) ], x^3 < int ] 

Ad esempio:

λ let int = 1000 in [ x^3 | x <- [ 1 .. ceiling (fromIntegral int ** (1/3)) ], x^3 < int ] :: [Int] 
[1,8,27,64,125,216,343,512,729]