#start_scalaz

しいたけ @yuroyoro

この話 |> 比較はモノイド - akihiro4chawonの日記 : http://t.co/mnj20kZ0 #start_scalaz

しいたけ @yuroyoro

Ordergin便利すぎておしっこ漏れそう #start_scalaz

ねこはる @halcat0x15a

OrderとOrderingの話。 #start_scalaz

しいたけ @yuroyoro

できた start_scalaz 2 — Gist : http://t.co/oGmCLs32 #start_scalaz

しいたけ @yuroyoro

こうですか? implicit object AkariShow extends Show[Akari]{ def show(a:Akari) = "＼ｱｯｶﾘｰﾝ／".toList } #start_scalaz

ねこはる @halcat0x15a

https://t.co/q59HoUn7 #start_scalaz

kxbmap @kxbmap

implicit val DateOrder = Order.fromScalaOrdering[Date] で楽しました #start_scalaz

Hirokazu NISHIOKA @nisshieeorg

あれ？7はshowByないの？ #start_scalaz

HARUYAMA Seigo @haruyama

Date.compareTo()使った #start_scalaz

Hirokazu NISHIOKA @nisshieeorg

orderByはあったのでこんな感じにしてみた implicit def DateOrder = Order.orderBy[Date, Long](_.getTime) #start_scalaz

Toshiyuki Takahashi @tototoshi

https://t.co/50WTbP6h #start_scalaz

co1row.jp @co1rowjp

比較結果そのものがモノイドだと、|+| で演算繋いで「複数の要素での比較結果」みたいなものがスマートに書き下せる、ということか。 #start_scalaz

病気の美少女 @lyrical_logical

#start_scalaz の内容 #start_yryr だったみたいなので安心しました

しいたけ @yuroyoro

Short.MaxValue.succ = -32768 #start_scalaz

kxbmap @kxbmap

scala> Short.MinValue.inverse res4: Short = -32768 ですよねー #start_scalaz

しいたけ @yuroyoro

scala> Multiplication(3) res18: scalaz.@@[Int,scalaz.Tags.Multiplication] = 3 #start_scalaz

gkojaxtheprogrammer @gkojax

(Dual("hello") |+| Dual("world"): String) assert_=== "worldhello" #start_scalaz

このアカウントはフィクションです @kiris

UnionTypesなんだこれ #start_scalaz

しいたけ @yuroyoro

typeメンバに#でアクセスすると、パス依存ではなく同一の型と見なせる。これ豆な #start_scalaz

ねこはる @halcat0x15a

https://t.co/QGazjELe #start_scalaz

しいたけ @yuroyoro

できた start_scalaz_3 — Gist : http://t.co/sIvUxICZ #start_scalaz

しいたけ @yuroyoro

これでもいけるがタルい def user(m: Map[String, String]): Option[User] = (m.get("id") <**> m.get("pass"))(User.apply) #start_scalaz

Hirokazu NISHIOKA @nisshieeorg

「手をかざすとスライドが次のページに移動する」というプレゼンスタイルは「kinectでやりたいなー」と昔夢想したけど、今ここに実現されている。ただし手動。 #start_scalaz

HARUYAMA Seigo @haruyama

#start_scalaz 帰る前に入館証に署名してもらわないと

ねこはる @halcat0x15a

拙い発表でしたが最後までありがとうございました。 #start_scalaz