FAQ
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。

Search Discussions

  • Caoyuan at Jan 1, 2014 at 4:12 pm
    因为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。
  • Xuefeng Wu at Jan 1, 2014 at 4:31 pm
    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/吴雪峰 敬上

    --
    您收到此邮件是因为您订阅了 Google 网上论坛的“Scala中文社区”论坛。
    要退订此论坛并停止接收此论坛的电子邮件,请发送电子邮件到 scalacn+unsubscribe@googlegroups.com
    要向此网上论坛发帖,请发送电子邮件至 scalacn@googlegroups.com
    要查看更多选项,请访问 https://groups.google.com/groups/opt_out。
  • Xuefeng Wu at Jan 1, 2014 at 4:31 pm
    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。
  • Caoyuan at Jan 1, 2014 at 4:40 pm
    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。
  • Xuefeng Wu at Jan 1, 2014 at 11:13 pm
    cool,thanks.


    Yours, Xuefeng Wu 吴雪峰 敬上
    On 2014年1月2日, at 上午12:40, Caoyuan wrote:

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

Related Discussions

Discussion Navigation
viewthread | post
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