Tại sao numCapabilities là một hàm thuần túy?

Question

Trong thư viện đồng thời GHC.Conc, có một hàm gọi là numCapabilities. Loại của nó là numCapabilities :: Int và nó thực sự trả lại một số bạn đã vượt qua bằng cờ dòng lệnh (ví dụ: 5 nếu các tùy chọn là +RTS -N 5).

Tuy nhiên, getArgs (loại: IO [String]) về cơ bản giống nhau (nó trả về các đối số không có thời gian không được phân bổ) nhưng không phải là hàm thuần túy.

Nếu lý do duy nhất là numCapabilities thường là cần thiết trong mã thuần túy, theo cách nào không phải là các tùy chọn dòng lệnh khác không cần trong mã thuần túy?

Tôi có thiếu gì đó hoặc hoặc là numCapabilities một lỗi thiết kế hoặc tôi có được phép viết con quái vật sau đây không?

myGetArgs = unsafePerformIO getArgs 

Answer 1

Tôi đã nhìn thấy rất nhiều quan điểm khác nhau về những việc cần làm trong các tình huống như thế này. Một số người nghĩ rằng các giá trị có thể khác nhau giữa biên dịch không được thuần túy và một số nghĩ rằng miễn là giá trị không thay đổi trong thời gian chạy của chương trình (tức là sau khi một số "cấu hình" đã được "thiết lập" main), nó phải tinh khiết.

Gói base dường như đã được giải quyết trên nền tảng trung bình. numCapabilitiessẽ không (theo như tôi biết) thay đổi trong thời gian chạy, nhưng getArgscó thể.

Điều này là do có chức năng withArgs thay đổi số arg bạn nhận được qua getArgs. Vì vậy, câu trả lời đó.

Answer 2

Tôi muốn nói đó là một sai lầm, nhưng nó phụ thuộc vào điều mà người ta nghĩ là sự thuần khiết. Xem bài viết Notions of purity in Haskell và thảo luận của nó. Đơn giản chỉ cần đặt, đối số của bài viết là các loại có ý nghĩa, và không có chỗ theo ý nghĩa của Int cho một cái gì đó như numCapabilities, phụ thuộc vào ngữ cảnh thực thi.

Answer 3

Oh thân yêu. Nếu bạn nhìn vào định nghĩa của numCapabilities, bạn có thể nhìn thấy nó chỉ là:

numCapabilities :: Int 
numCapabilities = unsafePerformIO $ getNumCapabilities 

và các buổi ghci sau minh họa cho vấn đề:

[ben@euler ~]$ ghci 
GHCi, version 7.4.2: http://www.haskell.org/ghc/ :? for help 
Loading [...] 
ghci> :m +GHC.Conc 
ghci> numCapabilities 
1 
ghci> setNumCapabilities 2 
ghci> numCapabilities 
1 
ghci> :q 
Leaving GHCi. 

[ben@euler ~]$ ghci 
GHCi, version 7.4.2: http://www.haskell.org/ghc/ :? for help 
Loading [...] 
ghci> :m +GHC.Conc 
ghci> setNumCapabilities 2 
ghci> numCapabilities 
2 

Đây là chắc chắn xấu - giá trị của numCapabilities tùy thuộc vào thời điểm được đánh giá liên quan đến bất kỳ cuộc gọi nào có thể tồn tại trong chương trình của bạn theo số setNumCapabilities. Lưu ý rằng trong phiên đầu tiên, numCapabilities vẫn nhất quán, vì IO chỉ được thực hiện trong lần đầu tiên được đánh giá. Tuy nhiên, trong sự hiện diện của nội tuyến (tên không được đánh dấu NOINLINE hoặc bất cứ điều gì), thậm chí điều đó có thể không đúng - bạn có thể về nguyên tắc có hai giá trị khác nhau từ hai lần xuất hiện của numCapabilities (mặc dù trong thực tế tôi đã không thể thực hiện điều này xảy ra).

Vì vậy, câu trả lời là numCapabilitieskhông một chức năng thuần túy, nhưng sai lầm đánh dấu như vậy bởi cửa sau khét tiếng của unsafePerformIO.

Answer 4

numCapabilities cho giá trị ban đầu là getNumCapabilities, thời gian hoặc không có đối số cờ RTS -N hiện diện, vì vậy loại phải giống nhau.

Bạn đã thử số này cao hơn số máy tính của bạn chủ đề đồng thời?

$ ghci +RTS -N99 
GHCi, version 7.4.2: http://www.haskell.org/ghc/ :? for help 
Prelude> :m +GHC.Conc 
Prelude GHC.Conc> numCapabilities 
99 
Prelude GHC.Conc> getNumCapabilities 
99 !!!