स्केलज़

Question

के साथ आवेदकों को फ़ंक्शन कैसे लिखें स्केलज़ 6 सीखते समय, मैं टाइप-सुरक्षित पाठकों को सत्यापन वापस करने की कोशिश कर रहा हूं। यह मेरा नया प्रकार हैं:

type ValidReader[S,X] = (S) => Validation[NonEmptyList[String],X] 
type MapReader[X] = ValidReader[Map[String,String],X] 

और मैं (*) दो ints और तार के लिए नक्शे-पाठकों बनाने कार्यों:

def readInt(k: String): MapReader[Int] = ... 
def readString(k: String): MapReader[String] = ... 

निम्न मानचित्र को देखते हुए:

val data = Map("name" -> "Paul", "age" -> "8") 

मैं नाम और उम्र को पुनः प्राप्त करने के लिए दो पाठकों को लिख सकते हैं:

val name = readString("name") 
val age = readInt("age") 

println(name(data)) //=> Success("Paul") 
println(age(data)) //=> Success(8) 

सब कुछ ठीक काम करता है, लेकिन अब मैं दोनों पाठकों की रचना करने के एक Boy उदाहरण का निर्माण करना चाहते:

case class Boy(name: String, age: Int) 

मेरे सबसे अच्छा ले रहा है:

val boy = (name |@| age) { 
    (n,a) => (n |@| a) { Boy(_,_) } 
    } 
    println(boy(data)) //=> Success(Boy(Paul,8)) 

यह उम्मीद काम करता है के रूप में है, लेकिन अभिव्यक्ति के साथ अजीब है आवेदक बिल्डरों के दो स्तर। क्या काम करने के लिए निम्नलिखित वाक्यविन्यास प्राप्त करने का कोई तरीका है?

val boy = (name |@| age) { Boy(_,_) } 

(*) पूर्ण और में runnable कार्यान्वयन: https://gist.github.com/1891147

---

अद्यतन: यहाँ संकलक त्रुटि संदेश है कि मैं ऊपर या डैनियल सुझाव लाइन कोशिश कर मिलता है:

[error] ***/MapReader.scala:114: type mismatch; 
[error] found : scalaz.Validation[scalaz.NonEmptyList[String],String] 
[error] required: String 
[error] val boy = (name |@| age) { Boy(_,_) } 
[error]         ^

Answer 1

इस बारे में कैसे?

val boy = (name |@| age) { 
    (Boy.apply _).lift[({type V[X]=ValidationNEL[String,X]})#V] 
} 

या एक प्रकार उपनाम का उपयोग:

type VNELStr[X] = ValidationNEL[String,X] 

val boy = (name |@| age) apply (Boy(_, _)).lift[VNELStr] 

यह कंसोल पर निम्न त्रुटि संदेश पर आधारित है:

scala> name |@| age apply Boy.apply 
<console>:22: error: type mismatch; 
found : (String, Int) => MapReader.Boy 
required: (scalaz.Validation[scalaz.NonEmptyList[String],String], 
      scalaz.Validation[scalaz.NonEmptyList[String],Int]) => ? 

तो मैं सिर्फ Boy.apply उठाया आवश्यक प्रकार लेने के लिए।

Answer 2

ध्यान दें कि Reader और Validation (एक सेमिग्रुप ई के साथ) दोनों लागू हैं, उनकी रचना भी लागू है। scalaz 7 का उपयोग इस व्यक्त किया जा सकता है:

import scalaz.Reader 
import scalaz.Reader.{apply => toReader} 
import scalaz.{Validation, ValidationNEL, Applicative, Kleisli, NonEmptyList} 

//type IntReader[A] = Reader[Int, A] // has some ambigous implicit resolution problem 
type IntReader[A] = Kleisli[scalaz.IdInstances#Id, Int, A] 
type ValNEL[A] = ValidationNEL[Throwable, A] 

val app = Applicative[IntReader].compose[ValNEL] 

अब हम एक भी |@| आपरेशन रचना अनुप्रयोगी पर उपयोग कर सकते हैं:

val f1 = toReader((x: Int) => Validation.success[NonEmptyList[Throwable], String](x.toString)) 
val f2 = toReader((x: Int) => Validation.success[NonEmptyList[Throwable], String]((x+1).toString)) 

val f3 = app.map2(f1, f2)(_ + ":" + _) 

f3.run(5) should be_==(Validation.success("5:6"))