Scala中难以理解的语法

发布时间：2020-12-16 09:49:58 所属栏目：安全来源：网络整理

导读：我在本文( http://hseeberger.wordpress.com/2010/11/25/introduction-to-category-theory-in-scala/)中找到了以下代码. trait GenericCategory[-[_,_]] { def id[A]: A - A def compose[A,B,C](g: B - C,f: A - B): A - C} 我无法弄清楚特征名称旁边的语法

我在本文( http://hseeberger.wordpress.com/2010/11/25/introduction-to-category-theory-in-scala/)中找到了以下代码.

trait GenericCategory[->>[_,_]] {
  def id[A]: A ->> A
  def compose[A,B,C](g: B ->> C,f: A ->> B): A ->> C
}

我无法弄清楚特征名称旁边的语法

[->>[_,_]]

解决方法

它是 higher-kinded type,在 this introduction和 research paper中很好地描述.

您可能会感到困惑的原因是 – >>是更高级别的类型的名称 – 它可能也被称为箭头.

（编辑：李大同）

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