Haskell - không trong phạm vi

Question

Các đoạn dưới đây của mã là một phần của một nỗ lực nhằm tạo ra một hàm generateUpTo mà tạo ra một danh sách pAllSorted mà phụ thuộc vào nmax và do đó Rmax.

nmax = rmax `div` 10 

pass = rmax `elem` mot 
fail = rmax `notElem` mot 

generateUpTo rmax = check rmax 
where 
     check pass = pAllSorted 
     check fail = error "insert multiple of 10!" 

Tuy nhiên, khi cố gắng để biên dịch, trình biên dịch đưa ra một thông báo lỗi "Không có trong phạm vi" về Rmax trong (những gì là ở đây) dòng 1,3 và 4.

(Làm thế nào) tôi có thể để lại rmax không xác định cho đến khi sử dụng chức năng generateUpTo?

Answer 1

Nếu bạn muốn sử dụng rmax bên nmax, pass, và fail mà không đi qua nó như một đối số, bạn sẽ cần phải bao gồm nó trong where khối generateUpTo. Nếu không, nó theo nghĩa đen, "không nằm trong phạm vi". Ví dụ:

generateUpTo rmax = check rmax 
    where 
     check pass = pAllSorted 
     check fail = error "insert multiple of 10!" 
     nmax = rmax `div` 10 
     pass = rmax `elem` mot 
     fail = rmax `notElem` mot 

Nếu bạn muốn các chức năng này sẽ được sử dụng ở nhiều nơi, bạn có thể chỉ accect Rmax như một đối số:

nmax rmax = rmax `div` 10 
pass rmax = rmax `elem` mot 
fail rmax = rmax `notElem` mot 

Lưu ý - có vẻ như bạn cũng có một số vấn đề với định nghĩa của bạn của check ... giá trị pass và fail chỉ có các tranh cãi là check và không phải là các hàm bạn đã xác định ở trên.

Cập nhật

sử dụng nmax (phạm vi phiên bản bên ngoài-the-nơi-block), bạn sẽ cần phải vượt qua giá trị của Rmax với nó. Cũng giống như vậy: tuy nhiên,

nmax rmax -- function application in Haskell is accomplished with a space, 
      -- not parens, as in some other languages. 

Lưu ý, tên rmax trong định nghĩa của nmax không còn đáng kể. Các chức năng này đều giống hệt nhau:

nmax rmax = rmax `div` 10 
nmax a = a `div` 10 
nmax x = x `div` 10 

Tương tự như vậy, bạn không cần phải gọi nó với một giá trị mang tên rmax.

nmax rmax 
nmax 10 -- this is the same, assuming rmax is 10 
nmax foo -- this is the same, assuming foo has your 'rmax' value. 

Answer 2

Chỉ cần đặt các định nghĩa của nmax, pass và fail vào where khoản của generateUpTo, cũng giống như bạn đã làm với check.

Answer 3

nmax rmax = rmax `div` 10 

pass rmax = rmax `elem` mot 
fail rmax = rmax `notElem` mot 

generateUpTo rmax = check rmax 
where 
    check pass = pAllSorted 
    check fail = error "insert multiple of 10!" 

Các Rmax là một tham số chức năng nó là undefined bên ngoài của hàm mà nó được khai báo. Trong ví dụ này, rmax trong hàm nmax hoàn toàn không liên quan đến rmax trong generateUpTo.