twitter の bijection というライブラリの名前問題
なんでBijectionなんてつけたんだろう。。。逆がpartial functionでしかないことはわかりきってるはずなのに。。。。
2013-01-09 16:16:31@halcat0x15a どうにかして全単射を作ることはできるはずですが(文字列の辞書順とか。。。) それにしてもあのapply/unapplyがbijectionにあるのはヒドス^^;;;
2013-01-09 16:17:46@halcat0x15a 無理でした。。。できるのは双方ともに無限の時だけですね。コンピュータみたいに有限だとできないですね。
2013-01-09 16:18:52@halcat0x15a 機能的にはあると便利なのは分かるんですけど、やっぱり名前が、、、ですよね。プログラマとして「ネーミングセンス」ってのも大切ってのを思い知らされる一件というところでしょうか。
2013-01-09 16:32:53Bijection が "全単射" なら、この https://t.co/ydjOV2tX PartialBijectionっていう提案は「部分的全単射」という意味になってしまって、「なんのために単射とか全射って言葉が存在すると思ってるんだよアホか!」っていう気持ちになってくる
2013-01-09 23:29:01たぶん PartialFunction + Bijection なんだろうけど, それ単なる injection の retract だしなぁ.
2013-01-09 23:57:23bijection の話題はどうしようかな? bijection という単語の使用場面なんて、数学くらいしかないはずだしなぁ。その意味で function の例を出すのはなんか違うし。
2013-01-10 01:57:03それと "programming isn't math" という主張はなんか引っ掛かる。全面否定はしないけど。
2013-01-10 01:59:13I had to look twice at the name on this—it says @dibblego, but the strongest language is the phrase "very misleading"? https://t.co/qAcaOeol
2013-01-10 03:29:52https://t.co/feTye5Pq "Programming isn't math." Yes, it is. What do you think it is, interpretive dance?
2013-01-10 03:33:33@xuwei_k 案の定 marius さんが”Programming isn’t math.”とか言ってて、これ案件なのだなぁと思いました。 http://t.co/IiBQ2bvI
2013-01-10 03:36:04@aloiscochard @larsr_h Oh dear ... I retweeted an announce of that approvingly ... maybe I should have actually looked at the code.
2013-01-10 03:36:17@milessabin @aloiscochard @larsr_h I have a creeping sense of dread that I'm actually responsible for this particular abuse of the term.
2013-01-10 03:40:59@milessabin @aloiscochard @larsr_h or, at least, that my early boneheaded use of Bijection in BlueEyes was, er, inspirational. :P
2013-01-10 03:44:44数学の世界のアイデアを、状態とか例外とか部分関数とかを頻繁に扱う世界に適用した時にどういうAPIであるべきか、ということに対するコンセンサスがまだ無いんだろうな、というようなことを思った。 #scalaz #scalajp
2013-01-10 03:57:45とりあえず、「数学的定義に沿わないものに数学っぽい名前をつけるな!」みたいなのは、まぁそうですねという感じではあるので、適当な名前をつけるのが落とし所なのかなぁ。そういや、mapもflatMapも、fmapや>>=だとは一言も言ってないわけで。 #scalaz #scalajp
2013-01-10 04:04:26一方、そういう「理論の実践の場での応用」の体系化みたいな所こそ、専門家に提案して欲しいなという気が凄くするんですがね。「分かってない奴」を moron 呼ばわりして片付けるのは、単純にコミュニティの断絶しか産んでないよね、と。 #scalaz #scalajp
2013-01-10 04:13:36あと「monad こそ数学の実践応用のための API なのだ」という感じなのかもしれないけど、ぶっちゃけ本何冊も読まないとコンセプトが理解できない API って、外部公開インタフェースとして、決して出来の良いものとは言えない気が。 #scalaz #scalajp
2013-01-10 04:21:29