by shigemk2

当面は技術的なことしか書かない

2015-08-27から1日間の記事一覧

idとは

Haskell の id の使い方 - Block Rockin’ Codesjxck.hatenablog.com Prelude> [1,2,3] [1,2,3] Prelude> id [1,2,3] [1,2,3] Prelude> id 3 3 Prelude> :t id id :: a -> a 何かの型の値を受け取り、その値をそのまま返す という関数。そのまま。 これだけだ…

射ってなんだよ

結局それがなんなのかよくわからず。 morphism そのまんま射と訳される。ポリモーフィズムとはあんまり関係ない。 射 (圏論) - Wikipedia 東大 理学部情報科学科/大学院情報理工学系研究科|情報科学科NAVIgation あるモノについて調べるとき、そのモノの「…