Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
    pocketberserker
    @pocketberserker
    そういえばscalaにおける型クラスという言葉の出典(か資料?)とかってあるのでしょうか?
    Shun Yanaura
    @yanana
    Poor Man's Type Classesではなく?
    pocketberserker
    @pocketberserker
    あれにはtype classについての説明はなかったような?
    見落としているだけだろうか…
    seraph
    @seraphr
    Type Classes as Objects and Implicits とか?
    pocketberserker
    @pocketberserker
    お、読んでみます
    Shun Yanaura
    @yanana
    そういうことか
    kenji yoshida
    @xuwei-k
    その論文、3年前になんやかんやあって名古屋に行って発表したやつか http://d.hatena.ne.jp/xuwei/20121023/1350950624
    pocketberserker
    @pocketberserker
    なんか見覚えあるとおもったらScala基礎のときか…
    kenji yoshida
    @xuwei-k
    もみあげさんに会った(というか初めて話した?)のそのときでは、という疑惑
    pocketberserker
    @pocketberserker
    はい
    kenji yoshida
    @xuwei-k
    https://github.com/scalaz/scalaz/issues/1029#issuecomment-158707028 さてもうすぐ自分が勝手に決めた期限なわけですが
    pocketberserker
    @pocketberserker
    milestoneが7.2になっているやつ、7.3とかにずらしたほうがよいのでは?
    milestone自体消すという手もありますが
    kenji yoshida
    @xuwei-k
    そうですねー。milestoneほとんど有効活用されてないし、一旦全部外すか
    kenji yoshida
    @xuwei-k
    もう放置され過ぎで謎だったり、scalaz関わらなくなった人が作ったissueも閉じるか
    kenji yoshida
    @xuwei-k
    あまりScalaの会社って感じしないな https://github.com/stripe
    あっ、でもspireのコミット数2位の人がいるところか https://github.com/tixxit
    そういえばなんかあった(なんのライブラリかはよくわかってない) https://github.com/stripe/brushfire
    kenji yoshida
    @xuwei-k
    scalaz/scalaz#1067 猫を観察していた甲斐があった
    kerr
    @hepin1989
    @xuwei-k don't have a scalaz/scalaz gitter channel?
    kenji yoshida
    @xuwei-k
    scalaz/scalaz#1063 誰かJava 8のtime詳しい人いないですかね・・・。反応無いけどそろそろ勝手にmergeするかな
    Tsukasa Kitachi
    @kxbmap
    普通に使ってはいたけど詳しくはない
    YearLocalDateEnumのインスタンスになってるけど、テストはorder.lawsでいいのかな?
    kenji yoshida
    @xuwei-k
    おっ、よくない気がする。直そう。ありがとうございます
    Tsukasa Kitachi
    @kxbmap
    YearMonthplus/minusMonthsEnumにできそう
    kenji yoshida
    @xuwei-k
    なるほど?それもやってみるか
    Tsukasa Kitachi
    @kxbmap
    あれ?EnumLawみるとsucc(pred(x))とかできなきゃいけないのか
    としたら、↑のやつはみんな例外吐いちゃうな
    kenji yoshida
    @xuwei-k
    Arbitraryもしっかり作ろうとすると面倒だった。本当はscalacheckがJava7サポート切り捨てれば、scalacheck側に存在してていいやつ・・・
    scalacheckがJava7サポート切り捨てない間、あの数十行を「scalacheck-java8」みたいな独立したライブラリにしてもいいのだけど、流石に面倒だしなぁ
    kenji yoshida
    @xuwei-k
    たしかに、このあたり https://github.com/scalaz/scalaz/blob/16c51d6ddda443a0faf0deea6eb9a4e6a31a1b45/core/src/main/scala/scalaz/Enum.scala#L196-L200 満たせそうにないから、テスト側修正じゃなくて、YearとかはEnumにするの諦めたほうが良い気がしてきた
    もしくはminやmaxをNoneのままにしておけばいいのか?
    Tsukasa Kitachi
    @kxbmap
    HaskellのEnumはsucc maxBoundは実行時エラーなのか
    Tsukasa Kitachi
    @kxbmap

    もしくはminやmaxをNoneのままにしておけばいいのか?

    これでいい気もする
    Year.MAX_VALUEでsuccが例外なのはBigIntがメモリ一杯まで使ったらsuccで例外になるのと同じだという理屈でいけば……

    あるいは諦める
    kenji yoshida
    @xuwei-k
    Noneにした
    HaskellのEnumとscalazのEnumが微妙に違ってるのとか、そもそもEnumのlawあれでいいのか、型クラスもっと細かく分けることも可能では?みたいな細かい論点あると個人的に思ってるけど、
    面倒なので議論してない
    Tsukasa Kitachi
    @kxbmap
    あと細かいとこいえばMonth.of(x).maxLengthとかMonth.of(x).length(Year.of(y).isLeap)でdayの最大値取れるよとか
    前にjava.timeのArbitrary書いたことあるの思い出した。pushし忘れててOSクリーンインストールしたときにプロジェクトごと消しちゃったけど
    kenji yoshida
    @xuwei-k
    https://twitter.com/mandubian/status/678237503074279425 Idrisの移植だったの・・・!?
    kenji yoshida
    @xuwei-k
    argonautがissue整理してるし、そろそろscalaz7.2に依存したやつが出る予感
    kenji yoshida
    @xuwei-k
    etorreborre/specs2@1dcb392 specs2にeff入った
    kenji yoshida
    @xuwei-k
    つよいなー。猫がますます広まるのか(?)
    Kazunari Mori
    @kazzna
    ドワンゴで口の悪い人を雇うしか(?)
    kenji yoshida
    @xuwei-k
    scalaz 7.2 をリリースしたらあまりやることなくて、若干やる気が消失している・・・。scala-js対応でも真面目にやるか否か・・・
    Mathias Sulser
    @suls
    失礼しますがScalazのFree Applicativeの例がありますか?
    Sanshiro Yoshida
    @halcat0x15a
    @suls Scalazではないですが私の記事にFree ApplicativeによるOption Parserの例を書いています。
    http://halcat.org/scala/freeap/index.html