haxis_fx https://blog.hatena.ne.jp/haxis_fx/ haxis_fxの日記 https://haxis-fx.hatenadiary.org/ 学習/備忘 Haskell/Category theory 今後も使う予定なのでメモしとく。 詳細は↓の文章を参照してください： http://en.wikibooks.org/wiki/Haskell/Category_theoryHaskellの型システムが圏であり、ここでHaskと名をつける。 Haskの要素は下表通り： Category Hask objects 型の集合{Int, Double, String...} morphisms 関数: f:: a -> b domain 上記fの型a codomain 上記fの型b composition 関数の結合: f . g → (f . g) . h = f . (g . h) id id … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhaxis-fx.hatenadiary.org%2Fentry%2F20110707%2F1310005998" title="Haskellの型システムについて - haxis_fxの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-07-07 11:33:18 rich https://haxis-fx.hatenadiary.org/entry/20110707/1310005998 1.0 100%