Tính toán không đồng bộ với Xác thực trong Scala bằng Scalaz

Question

Đang viết thư viện hoàn toàn không đồng bộ để truy cập dịch vụ từ xa (sử dụng Play2.0), tôi đang sử dụng Promise và Validation để tạo cuộc gọi không chặn, có loại trình bày không thành công và kết quả hợp lệ cùng một lúc.

Promise đến từ Play2-scala, trong đó Validation xuất phát từ scalaz.

Vì vậy, đây là loại ví dụ về các chức năng như vậy

• f :: A => Promise[Validation[E, B]]
• g :: B => Promise[Validation[E, C]]

Cho đến nay, tốt như vậy, bây giờ nếu tôi muốn soạn chúng , Tôi có thể đơn giản sử dụng thực tế là Promise trình bày một flatMap, vì vậy tôi có thể làm điều đó với một hiểu biết

for (
    x <- f(a); 
    y <- g(b) 
) yield y 

Ok, tôi đã thực hiện một lối tắt cho vấn đề của mình ở đây vì tôi không sử dụng lại kết quả Validation trong phạm vi hiểu. Vì vậy, nếu tôi muốn sử dụng lại x trong g, đây là làm thế nào tôi có thể làm

for (
    x <- f(a); // x is a Validation 
    y <- x.fold(
     fail => Promise.pure(x), 
     ok => g(ok) 
    ) 
) yield y 

Hội chợ đủ, nhưng loại này của soạn sẵn sẽ đi đến gây ô nhiễm mã của tôi hơn và hơn nữa. Vấn đề ở đây là tôi có một loại cấu trúc Monadic hai cấp như M[N[_]].

Ở giai đoạn này, là có bất kỳ cấu trúc trong f ° lập trình mà cho phép làm việc với cấu trúc như vậy bằng cách bỏ qua một cách dễ dàng mức secong:

for (
    x <- f(a); //x is a B 
    y <- g(b) 
) yield y 

Bây giờ, dưới đây là cách tôi đã đạt được một cái gì đó tương tự.

Tôi tạo ra loại cấu trúc monadic rằng kết thúc tốt đẹp mức hai trong một, chúng ta hãy nói ValidationPromised mà pimped loại Promise với hai phương pháp:

def /~> [EE >: E, B](f: Validation[E, A] => ValidationPromised[EE, B]): ValidationPromised[EE, B] = 
    promised flatMap { valid => 
     f(valid).promised 
    } 

def /~~>[EE >: E, B](f: A => ValidationPromised[EE, B]): ValidationPromised[EE, B] = 
    promised flatMap { valid => 
     valid.fold (
      bad => Promise.pure(KO(bad)), 
      good => f(good).promised 
     ) 
    } 

Điều này cho phép tôi làm những việc như vậy

 endPoint.service /~~>         //get the service 
     (svc =>             //the service 
     svc.start /~~> (st =>         //get the starting elt 
      svc.create(None) /~~>        //svc creates a new elt 
      (newE =>           //the created one 
      newEntry.link(st, newE) /~~>      //link start and the new 
      (lnk => Promise.pure(OK((st, lnk, newE))))  //returns a triple => hackish 
     ) 
     ) 
    ) 

Như chúng ta có thể thấy /~~> là khá giống với flatMap nhưng bỏ qua một cấp. Vấn đề là sự rầm rộ (đó là lý do tại sao "cho hiểu" tồn tại trong Scala và "làm" trong Haskell).

điểm khác, tôi đã là /~> mà đứng như một map cũng nhưng hoạt động trên cấp độ thứ hai (thay cho loại hợp lệ - thứ ba mức)

Vì vậy, câu hỏi thứ hai của tôi là hệ quả tất yếu để các cựu ... Tôi có chấp thuận một giải pháp bền vững với công trình này không?

xin lỗi để được lâu

Answer 1

Khái niệm bạn đang tìm kiếm ở đây là monad transformers. Nói tóm lại, máy biến áp đơn nguyên bù cho monads not composing bằng cách cho phép bạn "xếp chồng" chúng.

Bạn đã không đề cập đến phiên bản Scalaz bạn đang sử dụng, nhưng nếu bạn nhìn vào scalaz-seven branch, bạn sẽ tìm thấy ValidationT. Điều này có thể được sử dụng để bọc bất kỳ F[Validation[E, A]] nào vào ValidationT[F, E, A], trong trường hợp của bạn là F = Promise. Nếu bạn thay đổi f và g trở ValidationT, sau đó bạn có thể để lại mã của bạn như

for { 
    x ← f(a) 
    y ← g(b) 
} yield y 

này sẽ cung cấp cho bạn một ValidationT[Promise, E, B] như một kết quả.