[B! functor][Set] nsyeeのブックマーク

nsyee id:nsyee

functorとSetに関するnsyeeのブックマーク (2)

SetはFunctorである - think and error
Haskell Advent Calendar 2013 9日目です。概要 SetはFunctor。 Categorical Programming for Data Types with Restricted Parametricity rmonad: Restricted monad library なぜSetはFunctorになっていないのか Setを要素が重複しないデータ構造とします。Setはその性質のため、要素には比較出来ることが要求されます。Haskellで言うとEq制約です。まあ本来重複しないことだけを要求するならEq制約だけでいいはずですが、SetがOrd制約を要求しているのは効率の良い実装にするためでしょう。containersパッケージのData.Setはバランス二分木で実装されています。本来SetはFunctorにすることが出来るはずです。しかし現状(GHC7.6
nsyee 2013/12/16
haskell

Set

functor
リンク
SetはFunctorではない - xuwei-k's blog
SetがFunctorではない理由を延々と説明します。最初これ http://failex.blogspot.jp/2013/06/fake-theorems-for-free.html を訳そうとしましたが、英語力と理解力のなさにより断念し、中途半端な翻訳になるなら、自分なりに書き下そうという結論になりました。内容は上記の記事と半分以上被ると思います。あと、上記の記事書いた人は「Scalazのコミッターであり、おそらくekmettの同僚であり、ermine-languageのコミッター」な人です。よってオススメなので、そっちも読みましょう。*1 以下、Scala以外の言語でも大概は当てはまると思いますが、一応Scala(というか、Scalaz)を念頭において書いていきます。さて、プログラミングにおいて、Setとは一体何でしょうか？とりあえず「要素の重複を持たないデータ構造」といえるで
nsyee 2013/09/17
Scala

functor

Set
リンク
1