2012-03-04 の Scalaz

ねこはる @halcat0x15a

だからDualとかFirstとかLastとかを合わせることはできないと思われる。

ねこはる @halcat0x15a

アニメタイムに入るか。

Kenji Yoshida @xuwei_k

よくわからないけど、解決してアニメタイムに入るらしいので、きっとそのうちblogに書いてくれるんだろう

Kenji Yoshida @xuwei_k

えっ、つまりそもそもscalaz6だとFirstに対して(ネストするとはいえ) dual が呼べてLastっぽいものが返ってきたのに、そもそも(現状のscalaz-sevenだと)コンパイルエラーになるのか・・・

Kenji Yoshida @xuwei_k

ねこはる先生応募すればいいんじゃ https://t.co/51XkmIFZ

ねこはる @halcat0x15a

なんか本が出るの？

Kenji Yoshida @xuwei_k

#Scala repl crash :( https://t.co/mYjqQ24U

ssmylh @ssmylh

FirstのSemigroupのインスタンスはどこにあるのか探してたのだけどstd以下にあるんだ。

Kenji Yoshida @xuwei_k

これ https://t.co/tECune6d なんのためにあるんだろう、もしかしてさっき出来なかったやつこれ使えばできるんじゃないか・・・？と思って色々試しているが、偶然コンパイラをクラシュさせた以外なにも成果なし・・・(´・ω・｀)

ねこはる @halcat0x15a

.firstとかはじめて知った。

ねこはる @halcat0x15a

val hoge: Name[Option[Int] @@ Tags.First] = Tag.subst(Name(100.some))

ねこはる @halcat0x15a

複数のTagを付けるのは無理なんじゃないだろうかー

Kenji Yoshida @xuwei_k

substは、コンテナ自体は変えずに、コンテナに包まれているものの中身にだけTagを付けたい場合につかうって感じだろうか。これじゃないな

Kenji Yoshida @xuwei_k

First と Dual を継承した新しいTraitを作ればなにかできるんじゃないか？と思いついたが、当たり前のようにsealedェ・・・

ねこはる @halcat0x15a

Tag[Option[String], t[Dual]#t[First]]("foo".some) |+| Tag[Option[String], t[Dual]#t[First]]("bar".some)

ねこはる @halcat0x15a

new Monoid[A @@ t[B]#t[C]]を定義すればいいの。

ねこはる @halcat0x15a

うわあ、めんどくさい・・・

Kenji Yoshida @xuwei_k

そもそも最初の目的と色々ずれているが、どうしてこうなった・・・

ねこはる @halcat0x15a

というかUnionTypesはちゃんと3つ以上の型が取れるようになってるのか。 素晴らしい。

ねこはる @halcat0x15a

２つしか合わせられないと思ってた。

ssmylh @ssmylh

うーん、IdentityやMAで定義されていた|+|とかの記号は、scalaz-sevenではsyntax以下に定義されてるのかぁ。随分変わったなぁ。

ねこはる @halcat0x15a

val i = Lens.lensId[Int] val s = for { _ <- i := 0 _ <- i += 1 _ <- i += 1 x <- i += 1 } yield x s.evalZero が-3になるのだけどナンデ？

ねこはる @halcat0x15a

・・・・・ナンデ？

ねこはる @halcat0x15a

def +=(that: N): State[S, N] = lens %= (num.minus(_, that)) うわあああ・・・・

ねこはる @halcat0x15a

issue送ればいいの。