Scala'nın monadik zincirleme deneyini deneyin

Question

Monadik kavrayışları kullanarak aşağıdaki f, g ve h işlevlerini göz önünde bulundurun. f, g ve h tüm imzaya sahip

for { 
    x <- List (11, 22, 33, 44, 55) 
    y <- f (x) 
    z <- g (y) 
    a <- h (z) 
    } yield a 

ise:

Int => Option [ Int ] 

sonra amaçlı anlama ince derler. Ben Try [ Int ] tarafından Option [ Int ] yerine Ancak eğer Scala'nın tip inferencer hattı aşağıdaki hata iletisiyle

y <- f (x) 

şikayetçi.

error: type mismatch; 
    found : scala.util.Try[Int] 
    required: scala.collection.GenTraversableOnce[?] 
     y <- f (x) 

Neden? Hem Option [ _ ] ve Try [ _ ], monadlardır (ya da olmalıdır) ve kabataslak olarak düzgün çalışmalıdır.

Answer 1

Sadece aynı türdeki monadları kavramak için kullanabilirsiniz. Bu durumda, birincisi, tüm değerlerinizin GenTraversableOnce olması gerekir. Option'dan Seq'a dolaylı bir dönüşüm olduğu için Option ile çalışır, ancak bu Try için mümkün değildir.