scalaz xác nhận và danh sách đơn nguyên

Question

Tôi cố gắng để đưa ra một cái gì đó tương tự như sau:

val s: Validation[String, Int] = 1.success 
def s2(i: Int): Validation[String, Int] = i.success 

val result = for { 
    i <- s 
    j <- List(1, 2) 
    k <- s2(j) 
} yield "fine"; 

Đoạn mã trên không biên dịch và tôi hiểu, cú pháp nó không có ý nghĩa.

Tôi đang cố gắng thực thi danh sách xác thực theo cách đơn thuần. Làm thế nào để đạt được điều đó?

Answer 1

Nếu bạn có một danh sách kiểm chứng thực của A, bạn có thể biến nó thành một xác nhận danh sách của A sử dụng sequence:

List(1, 2).map(s2).sequence[({type l[a]=Validation[String, a]})#l, Int] 

(nếu tôi hiểu câu hỏi một cách chính xác). Vì vậy, bạn nhận được

val result = for { 
    i <- s 
    k <- List(1, 2).map(s2).sequence[({type l[a]=Validation[String, a]})#l, Int] 
} yield "fine" 

Answer 2

Bạn dường như đang sử dụng xác thực cho tác dụng phụ. Đây không phải là ý nghĩa của nó. Bạn sử dụng các giá trị trả về trong lập trình hàm.

Xác thực trong một sự hiểu biết tiếp tục với thành công, nhưng bị hỏng khi thất bại và trả về lỗi.

scala> def g(i: Int): Validation[String, Int] = { 
      println(i); if(i % 2 == 0) i.success else "odd".fail 
     } 
g: (i: Int)scalaz.Validation[String,Int] 

scala> val result = for { 
    | i <- g(1) 
    | j <- g(2) 
    | } yield (i,j) 
1 
result: scalaz.Validation[String,(Int, Int)] = Failure(odd) 

scala> val result = for { 
    | i <- g(2) 
    | j <- g(1) 
    | } yield (i,j) 
2 
1 
result: scalaz.Validation[String,(Int, Int)] = Failure(odd) 


scala> val result = for { 
    | i <- g(2) 
    | j <- g(2) 
    | } yield (i,j) 
2 
2 
result: scalaz.Validation[String,(Int, Int)] = Success((2,2)) 


scala> val result = for { 
    | i <- g(1) 
    | j <- g(1) 
    | } yield (i,j) 
1 
result: scalaz.Validation[String,(Int, Int)] = Failure(odd)