Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
    Taisuke Oe
    @taisukeoe
    〜確認してもらえる? 眠すぎて今ちょっと無理だから後でやるよ みたいな会話もされていて面白いですねw
    Naoki Aoyama
    @aoiroaoino
    view bounds でたw
    Taisuke Oe
    @taisukeoe
    このドタバタ感がいかにもrelease直後っぽくて楽しいw
    pocketberserker
    @pocketberserker
    fs2のmain branchがtopic/redesignになってる
    kenji yoshida
    @xuwei-k
    https://github.com/scalaz/scalaz/issues/1029#issuecomment-158707028 このままだと結局長引いてしまいそうなので、「今週末(特に強い根拠ない日付)締め切りにするよ!」と書くなどした
    kenji yoshida
    @xuwei-k
    sschaef/ide-research@a54ecae なんか使われてた。なるほど、なんのプロジェクトだこれ
    kenji yoshida
    @xuwei-k
    えっ
    Naoki Aoyama
    @aoiroaoino
    (macro関連の実装は大抵他の人のPRやら提案だったので)あんまりmacro詳しくないんだろうなーって印象はありました(ぇ
    自分も全然詳しくないので言える立場ではないですけれど(´・ω・`)
    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クリーンインストールしたときにプロジェクトごと消しちゃったけど