泛型 – 在Scala中,是否有缩小通用类型的优势的速记？

发布时间：2020-12-16 19:08:14 所属栏目：安全来源：网络整理

导读：我想打电话给 Scalaz的纯粹方法,把价值纳入国家monad.以下作品： 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

我想打电话给 Scalaz的纯粹方法,把价值纳入国家monad.以下作品：

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,a)

但这是非常笨重的.是否有较短的合成类型的方法？像函数文字的占位符语法一样,有什么像：

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

解决方法

对于Scala中简明的部分类型应用程序(arity-2),可以使用以下类型符号.

键入！[F [_,_],X] = TF {type！[Y] = F [X,Y]}

“a”.pure [(State！Int)#！]

请注意,我们可以为两个arity类型构造函数(或类型别名)中缀符号.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!