Scala Ring and Field typeclass

Yasushi Abe @yasushia

http://t.co/nTjJrThi ついったーも代数ライブラリ書いてたんだ。

Yasushi Abe @yasushia

http://t.co/Iim3OGPD JavaのクラスのMonoidインスタンスが。あれ？Ring？

Kenji Yoshida @xuwei_k

MonoidはともかくRing(環) http://t.co/vc92w2rh を実装してるライブラリはそんなに見かけないなぁ。これ https://t.co/ylx4xOEh とかあるけど。しかしtwitterが公式でなんでそんなことやってるんだろ？どこで実用するのか

Yasushi Abe @yasushia

Group Ring Fieldまであった。すごいな

Kenji Yoshida @xuwei_k

「ScalazにRingのtypeclass入れようぜ！」とかいう人も全然聞かないし。そういう数学系のtypeclass実装するのは楽しそうだけど、実用する場面があまり思いつかない

Yasushi Abe @yasushia

@xuwei_k scaldingというhadoopのcascadingラッパーで使っているようです。

Kenji Yoshida @xuwei_k

おぉほんとだ使ってる https://t.co/s10B2qn6

Yasushi Abe @yasushia

hadoopだと代数便利かもしれないけどまさかほんとにやっちゃうとは思わなかった

Kenji Yoshida @xuwei_k

そもそもREADME読めばそのあたりの依存ライブラリとか、「なぜScalazのMonoid使わずに独自実装したか？」とかわかりやすく書いてありますね https://t.co/csjM4k4K

ねこはる @halcat0x15a

でも代数のライブラリとかわざわざ作るならScalaz使って欲しいものですね！

Yasushi Abe @yasushia

algebirdは2000行か。ちっちゃいな

Kenji Yoshida @xuwei_k

Twitter のライブラリに対抗して(?)ScalazにもRing のtype classを追加しようぜ運動 https://t.co/URuKXKfk

Kenji Yoshida @xuwei_k

個人的には、Scalaz にRing とかField のtypeclassあってもいいとは思うけど、Scalaz 全体としてもっとモジュール細かく分けて、jarが大きくなりすぎないようにはしてほしい

Kenji Yoshida @xuwei_k

おそらくコミッターではないけど、最近Scalazに結構機能追加のpull requestを送ってる(さっきのRing https://t.co/URuKXKfk とかも)人のgithubのアイコンが、(日本人じゃないのに)涼宮ハルヒのキョンな件について

Kenji Yoshida @xuwei_k

まぁしかし、数学系の typeclass 「環」や「体」以外にも、作ろうと思えば「半群」なりなんなりいっぱい作れそうだし、キリがない感はある