トップページ
>
プログラム
>
2015年06月04日
>
yrg33OPn
書き込み順位＆時間帯一覧
20 位
/173 ID中
時間
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Total
書き込み数
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
1
0
2
使用した名前一覧
書き込んだスレッド一覧
デフォルトの名無しさん
関数型プログラミング言語Haskell Part28 [転載禁止]©2ch.net
書き込みレス一覧
関数型プログラミング言語Haskell Part28 [転載禁止]©2ch.net
436 ：
デフォルトの名無しさん
[sage]：2015/06/04(木) 21:25:30.08 ID:yrg33OPn
>Fの「ゼロ乗」に相当するものとしてηが与えられる。
ηと恒等関手の違いがさっぱりわからない
こんなの絶対おかしいよ
関数型プログラミング言語Haskell Part28 [転載禁止]©2ch.net
437 ：
デフォルトの名無しさん
[sage]：2015/06/04(木) 22:57:11.06 ID:yrg33OPn
ηは単位元
恒等関手も単位元
F^n ⇔ F ってことは F も単位元かな
1^n = 1 と同じように
※このページは、
『２ちゃんねる』
の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合は
メール
をしてください。対応します。