Haskell sử dụng loại phạm vi nào?

Question

Tôi đang cố gắng tìm hiểu xem Haskell có sử dụng phạm vi động hay tĩnh không. Tôi nhận ra rằng, ví dụ, nếu bạn xác định:

let x = 10 

sau đó xác định chức năng

let square x = x*x 

Bạn có 2 khác nhau "x", và điều đó có nghĩa nó là tự động scoped? Nếu không, nó sử dụng phạm vi nào và tại sao?

Ngoài ra, biến Haskell có thể có bí danh (tên khác cho cùng một vị trí/giá trị bộ nhớ) không?

Cảm ơn.

Answer 1

Có một số điều sai trong báo cáo của bạn ...

• không có biến có thể thay đổi trong Haskell chỉ định nghĩa (hoặc các biến không thay đổi)
• một vị trí nhớ biến là một khái niệm không tồn tại trong Haskell

Trong ví dụ của bạn, x là không 10 trong hàm chỉ là một cuộc tranh luận vuông, có thể lấy bất kỳ giá trị (bạn có thể chỉ định các loại sau) trong trường hợp này 10 nhưng chỉ trong trường hợp này.

Dưới đây là một ví dụ về bí danh được cung cấp bởi Curt Sampson:

import Data.IORef 

main :: IO() 
main = do x <- newIORef 0   -- write 0 into x 
      readIORef x >>= print -- x contains 0 
      let y = x 
      readIORef y >>= print -- y contains 0 
      writeIORef x 42   -- write 42 into x 
      readIORef y >>= print -- y contains 42 

Answer 2

Sử dụng Haskell (nói rộng) chính xác cùng phạm vi từ vựng giống như hầu hết các ngôn ngữ khác.

ví dụ:

x = 10 

Kết quả trong một giá trị tham chiếu thông qua x trong phạm vi toàn cầu, trong khi

square x = x * x 

sẽ dẫn đến x được lexically scoped đến hàm vuông. Nó có thể giúp đỡ nếu bạn nghĩ về mẫu ở trên là một tính tinh vi cú pháp cho:

square = \ x -> x * x 

Như cho câu hỏi khác của bạn tôi không chắc chắn những gì bạn có ý nghĩa bởi aliasing

Answer 3

trả lời chỉ là phần thứ hai của câu hỏi:

Bạn có thể có một vài bí danh cho cùng một "bộ nhớ vị trí", nhưng vì họ tất cả đều không thay đổi, nó không quan trọng phần lớn thời gian.

Dumb dụ:

foo x y = x * y 
bar z = foo z z 

Khi trong foo gọi từ bar, cả x và y rõ ràng giá trị như nhau. Nhưng vì bạn không thể sửa đổi hoặc là x hoặc y, bạn thậm chí sẽ không nhận thấy.

Answer 4

Như phần đầu tiên của câu hỏi đã được trả lời bởi những người khác, đây là phần thứ hai:

tôi giả bởi aliasing bạn có nghĩa là one name for another. Như Haskell là một ngôn ngữ chức năng, và các chức năng xử định danh như bình thường trong mọi trường hợp, bạn có thể làm điều đó như thế này:

y = x 

đó sẽ xác định một bí danh y cho hàm x. Lưu ý rằng mọi thứ đều là một hàm. Ngay cả khi nó trông giống như một "" biến ", nó chỉ là một hàm vô giá trị không có đối số. Bí danh với nhiều loại giống như thế này:

type Function = Double -> Double 

đó sẽ xác định một bí danh Function cho các loại Double -> Double

Answer 5

Trong ví dụ của bạn, định nghĩa toàn cầu của x bị che bởi những nét địa phương của x. Trong Haskell, phạm vi của biến được xác định bằng cách đọc tĩnh mã nguồn - điều này được gọi là phạm vi từ vựng, nhưng có thể nhận được một cái gì đó tương tự với phạm vi động với các tham số ngầm định (nhưng điều đó có thể dẫn đến một số hành vi không mong muốn (tôi đã đọc; cố gắng 'em bản thân mình)).

Answer 6

Tổng hợp các câu trả lời khác ngắn gọn:

1. phạm vi từ vựng
2. răng cưa là dễ dàng như x = 1; y = x nhưng thường không thành vấn đề bởi vì điều này là không thay đổi.

Cú pháp let bạn sử dụng trong ví dụ của bạn có vẻ như nó ở dấu nhắc tương tác ghci>. Tất cả mọi thứ trong chế độ tương tác xảy ra trong đơn nguyên IO vì vậy mọi thứ có thể xuất hiện dễ biến đổi hơn so với bình thường.

Answer 7

Vâng, như tôi nghĩ mọi người đã nói rồi, Haskell không có bất kỳ biến nào như được tìm thấy trong hầu hết các ngôn ngữ khác, nó chỉ có biểu thức. Trong ví dụ của bạn let x = 10 x là một biểu thức luôn luôn ước lượng đến 10. Bạn không thể thay đổi giá trị của x sau này, mặc dù bạn có thể sử dụng các quy tắc phạm vi để ẩn nó bằng cách xác định x là một biểu thức khác.

Answer 8

Haskell sử dụng phạm vi lồng nhau tĩnh. Điều gì hơi khó hiểu so với các ngôn ngữ khác có phạm vi lồng nhau tĩnh là phạm vi của tên là một khối bao gồm các bài kiểm tra trước định nghĩa của nó. Ví dụ:

evens = 0 : map (+1) odds 
odds = map : (+1) evens 

ở đây tên 'tỷ lệ' nằm trong định nghĩa 'evens', mặc dù thực tế đáng ngạc nhiên là 'tỷ lệ cược' chưa được xác định. (Ví dụ xác định hai danh sách vô hạn các số chẵn và lẻ.)

Ngôn ngữ chết có quy tắc phạm vi tương tự là Modula-3. Nhưng Haskell là một chút phức tạp hơn trong đó bạn có thể cố gắng 'xác định lại' một biến trong phạm vi tương tự nhưng thay vào đó bạn chỉ giới thiệu một phương trình đệ quy khác. Đây là một cái bẫy cho những người học ML hoặc Đề án thứ nhất:

let x = 2 * n 
    x = x + 1 -- watch out! 

này là hoàn toàn tốt ML hay Scheme phép *, nhưng Haskel có kế hoạch letrec ngữ nghĩa, mà không có sự hạn chế các giá trị lambda. Không có thắc mắc đây là thứ khó!

Answer 9

Có, Haskell có bí danh. Hãy thử chương trình nhỏ này:

import Data.IORef 

main :: IO() 
main = do x <- newIORef 0   -- write 0 into x 
      readIORef x >>= print -- x contains 0 
      let y = x 
      readIORef y >>= print -- y contains 0 
      writeIORef x 42   -- write 42 into x 
      readIORef y >>= print -- y contains 42