Làm thế nào để phá vỡ | phá vỡ | trở lại trong một danh sách Haskell hiểu

Question

Tôi muốn trả về tất cả các khối (x^3) ít hơn một tham số Int bằng cách sử dụng một danh sách hiểu. Tôi có những điều sau đây:

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

Dấu hoa thị là nơi tôi gặp sự cố. Tôi muốn ngừng xử lý vòng lặp khi xảy ra else. Cuối cùng [list] chỉ nên có các hình khối, không phải các giá trị khác của x. Tôi không quan tâm thực sự nó xảy ra như thế nào, nhưng muốn biết các lựa chọn, và sự khác biệt là gì (nếu có).

Nếu tôi cố gắng trả lại null, Nothing, '' và một số khác. Tôi biết tôi phải trả lại một loại int nếu tôi trả lại bất cứ thứ gì.

Answer 1

Danh sách comprehensions hỗ trợ lính gác.

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

Kể từ danh sách comprehensions là đường cho danh sách các đơn nguyên, điều này tương đương với việc sử dụng guard chức năng trong một khối do:

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

Nếu chúng ta desugar này vào >>= và nội tuyến các định nghĩa của >>= và guard:

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

Đây là một phần của lọc er.

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

Kiểm tra tình trạng này sẽ tiếp tục (uể oải) thậm chí sau khi giá trị của x^3 vượt quá giá trị của int. Để ngăn chặn điều đó, bạn có thể sử dụng takeWhile vì bạn biết rằng chức năng của bạn là đơn điệu.

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

Answer 2

Sử dụng takeWhile:

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

Answer 3

Hãy căn bậc ba

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

Ví dụ:

λ 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]