Haskell - Có phải xác định thứ tự có hiệu lực trong trường hợp Áp dụng không?

Question

Khi thực hiện hành động IO được xác định bởi someFun <$> (a :: IO()) <$> (b :: IO()), việc thực thi các hành động a và b có được yêu cầu không? Tức là, tôi có thể dựa vào số a đó được thực thi trước b không?

Đối với GHC, tôi có thể thấy IO được thực hiện bằng cách sử dụng trạng thái, và cũng xem here rằng nó là một thể hiện áp dụng, nhưng không thể tìm thấy nguồn gốc của khai báo cá thể thực tế. Việc triển khai thực hiện thông qua Nhà nước cho thấy rằng các hiệu ứng IO khác nhau cần phải được tuần tự, nhưng không cần thiết xác định thứ tự của chúng.

Chơi xung quanh trong GHCi có vẻ như Appliative vẫn giữ lại trật tự hiệu lực, nhưng đó là một số đảm bảo phổ quát, hoặc GHC cụ thể? Tôi sẽ quan tâm đến chi tiết.

import System.Time 
import Control.Concurrent 
import Data.Traversable 
let prec (TOD a b) = b 
fmap (map prec) (sequenceA $ replicate 5 (threadDelay 1000 >> getClockTime)) 

[641934000000,642934000000,643934000000,644934000000,645934000000] 

Cảm ơn!

Answer 1

Chắc chắn là xác định, vâng. Nó sẽ luôn luôn làm điều tương tự cho bất kỳ trường hợp cụ thể nào. Tuy nhiên, không có lý do nào là vốn có của tài khoản cố định để chọn từ trái sang phải từ phải sang trái cho thứ tự hiệu ứng.

Tuy nhiên, từ the documentation for Applicative:

Nếu f cũng là một Monad, cần đáp ứng pure = return và (<*>) = ap (mà ngụ ý rằng pure và <*> đáp ứng các luật functor applicative).

Định nghĩa của ap là thế này, từ Control.Monad:

ap :: (Monad m) => m (a -> b) -> m a -> m b 
ap = liftM2 id 

Và liftM2 được định nghĩa theo cách rõ ràng:

liftM2 f m1 m2 = do { x1 <- m1; x2 <- m2; return (f x1 x2) } 

Điều này có nghĩa là, đối với bất kỳ functor đó là a Monad cũng như Applicative, dự kiến ​​(theo đặc điểm kỹ thuật, vì điều này không thể được thực thi trong mã), rằng Applicative sẽ hoạt động từ trái sang phải, để khối do trong liftM2 thực hiện tương tự như liftA2 f x y = f <$> x <*> y.

Vì trên, ngay cả đối với Applicative trường hợp không có tương ứng Monad, theo quy ước, các hiệu ứng thường được đặt hàng từ trái sang phải.

Thông thường hơn, vì cấu trúc của tính toán Applicative nhất thiết phải độc lập với "hiệu ứng", bạn thường có thể phân tích ý nghĩa của chương trình độc lập với hiệu ứng Applicative được giải trình tự. Ví dụ: nếu phiên bản cho [] được thay đổi thành chuỗi từ phải sang trái, bất kỳ mã nào sử dụng nó sẽ cho ra cùng một kết quả, chỉ với các phần tử danh sách theo một thứ tự khác.

Answer 2

Có, thứ tự được xác định trước bằng thư từ Đơn-Ứng.Đây là dễ dàng nhận thấy: Các (*>) combinator cần phải tương ứng với (>>) combinator trong một well-behaved Applicative dụ cho một đơn nguyên, và định nghĩa của nó là:

a *> b = liftA2 (const id) a b 

Nói cách khác, nếu b được thực hiện trước khi a, thể hiện Applicative sẽ hoạt động không tốt.

Edit: Như một mặt lưu ý: Đây không phải là quy định một cách rõ ràng bất cứ nơi nào, nhưng bạn có thể tìm thấy nhiều thư từ tương tự khác như liftM2 = liftA2 vv

Answer 3

Đối với IO applicative, điều này chắc chắn là như vậy. Nhưng hãy kiểm tra các async package cho một ví dụ về một ứng dụng trong đó trong f <$> a <*> b các tác động của a và b xảy ra song song.