स्कैला में, क्या सामान्य प्रकार की धैर्य को कम करने के लिए एक शॉर्टेंड है?

Question

मैं राज्य मोनैड में मूल्य लगाने के लिए स्कालज़ की pure विधि को कॉल करना चाहता हूं। निम्नलिखित काम करता है:

type IntState[A] = State[Int, A] 
val a = "a".pure[IntState] 
a(1) 
    (Int, java.lang.String) = (1,a) 

मैं भी प्रकार उर्फ ​​समाप्त कर सकते हैं (धन्यवाद Scalaz के Pure.scala):

val a = "a".pure[({type T[A]=State[Int,A]})#T] 
a(1) 
    (Int, java.lang.String) = (1,a) 

लेकिन वह बेहद भद्दा है। क्या इस तरह के एक प्रकार को संश्लेषित करने का एक छोटा रास्ता है? समारोह शाब्दिक के लिए प्लेसहोल्डर वाक्य रचना की तरह, वहाँ की तरह कुछ है:

"a".pure[State[Int, *]] 

Answer 1

संक्षिप्त आंशिक प्रकार आवेदन (arity -2) स्काला में के लिए, आप निम्नलिखित के रूप में प्रकार अंकन इन्फ़िक्स कर सकते हैं।

type ![F[_, _], X] = TF { type ![Y] = F[X, Y] } 

"a".pure[(State!Int)# !] 

ध्यान दें कि हम दो arity प्रकार कन्स्ट्रक्टर (या उपनाम टाइप) के लिए संकेत को infix कर सकते हैं।

Answer 2

सुनिश्चित नहीं हैं कि अगर यह बेहतर रूप में उत्तीर्ण, लेकिन यहाँ एक दृष्टिकोण है कि दूसरे दिन ट्वीट किया @kmizu है:

scala> trait TF { 
    | type Apply[A] 
    | } 
defined trait TF 

scala> type Curried2[F[_, _]] = TF { 
    | type Apply[X] = TF { 
    |  type Apply[Y] = F[X, Y] 
    | } 
    | } 
defined type alias Curried2 

scala> "a".pure[Curried2[State]#Apply[Int]#Apply] 
res7: scalaz.State[Int,java.lang.String] = scalaz.States$$anon$1@1dc1d18 

आप कर सकते हैं यह प्रतीकात्मक प्रकार उपनामों का उपयोग करके थोड़ा अच्छा दिखता है।

scala> type ![F[_, _]] = TF { 
    | type ![X] = TF { 
    |  type ![Y] = F[X, Y] 
    | } 
    | } 
defined type alias $bang 

scala> "a".pure[![State]# ![Int]# !] 
res9: scalaz.State[Int,java.lang.String] = scalaz.States$$anon$1@1740235 

Answer 3

धर्मार्थ को कम करने का सबसे लोकप्रिय तरीका दयालु प्रोजेक्टर (https://github.com/non/kind-projector) प्लगइन है जिसका उपयोग बिल्लियों पुस्तकालय में भी किया जाता है।

val a = "a".pure[State[Int, ?]] 

नोट:: द्वारा यह आपके उदाहरण प्लगइन को सक्रिय करने के लिए परिवर्तित किया जा सकता इस वाक्य डिफ़ॉल्ट रूप से Dotty में सक्षम हो जाएगा।