Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
    Kaz FUNAKOSHI
    @imunolion
    shapelessを使った,コンパイル時型検査を応用したライブラリを書いています.Javaからこの作ったライブラリを使う場合の制約って何だろう,と考えはじめたのですが,このあたりの経験をおもちの方っていらっしゃいますか?特に,再帰的implicitを使った定義に対して,その呼び出し側に対してjavacがどう反応するのかがわかりません.
    kenji yoshida
    @xuwei-k
    ScalaのimplicitはJavaからはimplicitついてないのと同じなので、詳細聞いてみないとなんとも言えないですが、Javaから使うの色々無理があると思いますが、そもそもなぜJavaから使いたいんでしょうか
    Kaz FUNAKOSHI
    @imunolion
    @xuwei-k ありがとうございます.
    なるほど,そういう意味だとJavaから呼び出すには明示的implicitパラメータを補完してやる必要があるわけですね.つまり証明そのものを書かなくてはいけなくなる,と….具体的には,自作のライブラリ側で,型レベル自然数の制約を使いたかったのです.Javaから使いたい動機は,Javaしかわからない開発者を,開発するライブラリの受益者に入れてよいか,を判断することが目的です.そういう開発者はきっと明示的に証明を書くことはできないと思えば,ほぼスコープから外れますね.
    Dermot Haughey
    @hderms
    is Scala popular in Japan?
    KAWACHI Takashi
    @tkawachi
    I guess it's not so different from other countries/regions.
    Dermot Haughey
    @hderms
    Yeah I suppose that is what I would expect. Was just curious because I randomly stumbled on this room while searching
    @tkawachi does ruby have increased popularity due to Matz being Japanese?
    forgive me if my questions are a bit off-topic, I'm sorry
    KAWACHI Takashi
    @tkawachi
    yes, I feel it gives positive impact on ruby's polpularity.
    Yuta Okamoto
    @okapies
    but we also have @xuwei-k :)
    KAWACHI Takashi
    @tkawachi
    :)
    Dermot Haughey
    @hderms
    looking at @xuwei-k he has quite a lot of github activity :)
    Yuta Okamoto
    @okapies
    And he is one of core developer of scalaz.
    Dermot Haughey
    @hderms
    ahh cool
    hope that improves the popularity of Scala!
    Japan is really an amazing country to visit. If I can find a plane ticket for 400 USD again this year I will visit again
    Kazuhiro Sera
    @seratch
    How about coming to Japan for ScalaMatsuri 2017 in Feb? http://2017.scalamatsuri.org/index_en.html
    Dermot Haughey
    @hderms
    @seratch I only speak very very rudimentary Japanese. Also I still have so much to see in Japan last time I was only there for 10 days
    Yuta Okamoto
    @okapies
    We provide Japanese-to-English interpreter service in most sessions and support for participants from other country. I and Kawachi-san are member of ScalaMatsuri committee.
    Dermot Haughey
    @hderms
    Wow that is a very nice service
    I sometimes feel bad that conferences in America don't provide translations for other languages
    @okapies congratulations on the conference
    Yuta Okamoto
    @okapies
    Thanks!
    Naoki Aoyama
    @aoiroaoino
    shapeless に 2.10 系のサポート残して欲しい人は反応したほうがよいかも?
    milessabin/shapeless#655
    kenji yoshida
    @xuwei-k
    個人的にはいいけど、specs2あたりが依存してるからspecs2が新しいshapeless使えなくなって、2.10対応終わる可能性はあるな。いずれにせよspecs2依存を減らしていきたいって言ってたから、shapeless自体に依存しなくなる可能性もあるが
    Naoki Aoyama
    @aoiroaoino
    わいわい :tada:
    julien-truffaut/Monocle#418
    sc6l6d3v
    @sc6l6d3v
    Hi, has anyone run across an implementation of an inorder traversal of the scalaz Tree? Code provides PRE and BFS but not in order. https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/Tree.scala
    Ghost
    @ghost~5b8a94aed73408ce4fa690fd

    (sorry, English) I would like somebody to translate #fpmortals into Japanese. We are working on versions for French, Spanish, Italian, Russian and Bahasa.

    You can keep all profits! More details at fommil/fpmortals#21

    (to begin, please translate this :laughing: )