notaenotae のブックマーク 2017/11/14 12:44

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

Contravariant なんて要らんかったんや! - Qiita

    -- 標準の Data.Functor.Functor では反変関手を包括できないので Contravariant とい -- う別の種類の関手が定義されてる。でも当はそんな余分な定義は要らないんだ。 -- 全部 Functor に一元化できる。そう、...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう