FAQ
kinded这个词是生造的,Higher Kinded
Types与类型演算中类型的构造有关,甚至有时就是指从某些类型构造出新的类型。Scala的类型体系有很多学院的基础,因此越来越多的研究人员把对类型的研究放到Scala上来实现,就会出现越来越多的名词。对于一般的开发者而言,不需要想那么多。

其实Scala上还有一个现象,就是越来越多的函数编程领域的研究人员也开始把Scala作为实验平台。

这些都说明Scala语言在设计上有很好的理论基础,同时又是一门在JVM上取得实用效果的语言,这种语言的潜力是非常大的。


2014/1/2 Xuefeng Wu <benewu@gmail.com>
kind相当于类型构造器?


2014/1/2 Xuefeng Wu <benewu@gmail.com>
Scala 2.11 出了 :kind , kind和type 什么关系?



2014/1/2 Caoyuan <dcaoyuan@gmail.com>
因为kinded通常与constructor有关,Higher Kinded Types可以叫做“高类构类型”?


2014/1/1 Xuefeng Wu <benewu@gmail.com>
http://blogs.atlassian.com/2013/09/scala-types-of-a-higher-kind/


--

~Yours, Xuefeng Wu/吴雪峰 敬上

--
您收到此邮件是因为您订阅了 Google 网上论坛的“Scala中文社区”论坛。
要退订此论坛并停止接收此论坛的电子邮件,请发送电子邮件到 scalacn+unsubscribe@googlegroups.com
要向此网上论坛发帖,请发送电子邮件至 scalacn@googlegroups.com
要查看更多选项,请访问 https://groups.google.com/groups/opt_out。
--
您收到此邮件是因为您订阅了 Google 网上论坛的“Scala中文社区”论坛。
要退订此论坛并停止接收此论坛的电子邮件,请发送电子邮件到 scalacn+unsubscribe@googlegroups.com
要向此网上论坛发帖,请发送电子邮件至 scalacn@googlegroups.com
要查看更多选项,请访问 https://groups.google.com/groups/opt_out。


--

~Yours, Xuefeng Wu/吴雪峰 敬上

--

~Yours, Xuefeng Wu/吴雪峰 敬上

--
您收到此邮件是因为您订阅了 Google 网上论坛的“Scala中文社区”论坛。
要退订此论坛并停止接收此论坛的电子邮件,请发送电子邮件到 scalacn+unsubscribe@googlegroups.com
要向此网上论坛发帖,请发送电子邮件至 scalacn@googlegroups.com
要查看更多选项,请访问 https://groups.google.com/groups/opt_out。
--
您收到此邮件是因为您订阅了 Google 网上论坛的“Scala中文社区”论坛。
要退订此论坛并停止接收此论坛的电子邮件,请发送电子邮件到 scalacn+unsubscribe@googlegroups.com
要向此网上论坛发帖,请发送电子邮件至 scalacn@googlegroups.com
要查看更多选项,请访问 https://groups.google.com/groups/opt_out。

Search Discussions

Discussion Posts

Previous

Follow ups

Related Discussions

Discussion Navigation
viewthread | post
posts ‹ prev | 5 of 6 | next ›
Discussion Overview
groupscalacn @
postedJan 1, '14 at 3:57p
activeJan 1, '14 at 11:13p
posts6
users2

2 users in discussion

Xuefeng Wu: 4 posts Caoyuan: 2 posts

People

Translate

site design / logo © 2019 Grokbase