気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
qiita.com/tezca686エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
[Haskell] FunctorクラスはHask圏からHask圏への関手 - Qiita
タイトルは、[Haskell] FunctorクラスはHask圏からHask圏への関手となっていますが、 もっと正確には、[... タイトルは、[Haskell] FunctorクラスはHask圏からHask圏への関手となっていますが、 もっと正確には、[Haskell] FunctorクラスはHask圏からHask圏の部分圏への関手のほうが、より適切かもしれません。 もともとこの記事はHaskellアドベントカレンダー(その3)の、12/14に登録した「とびだせ！Hask圏」という記事の前半部分として書いていたものです。 。 ただ、その記事がクソ長くなってしまいそうだったので、前半を分離して一つの記事にしたのがこの記事になります。 基本的な用語 圏とは 圏の公理を書こうかと思ったんですが、結構面倒くさいので省略します。 忘れちゃダメなポイントは、 すべての対象に恒等射が存在する。 射の合成は結合則を満たす。 という点です。 Hask圏とは 対象はHaskellの、カインドが*である型 射はHaskellの関数 射の始
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
qiita.com/tezca686
qiita.com/tezca686
qiita.com/tezca686
qiita.com/tezca686
anond.hatelabo.jp
findy-code.io
www.nikkei.com
mainichi.jp
www.47news.jp
zenn.dev/awesome_kou
pc.watch.impress.co.jp
gigazine.net
engineers.ntt.com
www.hotpepper.jp
levtech.jp
levtech.jp
2017/12/12 リンク