Divisible型クラスやそのメソッドの名前の由来 - xuwei-k's blog

数日前にDivisibleなどのことを書きましたが、その名前の由来について、気がついたことをメモ。 ContravariantやInvariantなApplicativeとscalaz.Equal, Orderとscalaprops.Cogenと各種シリアライザ―(scodec, argonaut, play-json, msgpack4z) そもそもContravariantなApplicativeなら「ContravariantApplicative」と呼べばいいだろ、とも思わなくないですね？それだと長いですが。 実際ekmettせんせーが最初に入れたときはDivisibleではなく、そういった違う名前だったようです。 以下、関連コミット 最初にCoapplicativeとして入れたコミット https://github.com/ekmett/contravariant/commit/

[lotz84]

Coapplicative -> ContravariantApplicative -> Dvisible ってなったのか