トップページ
>
プログラム
>
2015年07月25日
>
Bvjhkxqq
書き込み順位＆時間帯一覧
26 位
/177 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
2
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
使用した名前一覧
書き込んだスレッド一覧
121
デフォルトの名無しさん
関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
書き込みレス一覧
関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
127 ：
121
[sage]：2015/07/25(土) 08:44:38.00 ID:Bvjhkxqq
>>122 >>123
強調点は「最低限」のところではなく「およそ（ふつうの）代数演算に共通」
というところにありました
関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
128 ：
121
[sage]：2015/07/25(土) 08:46:08.24 ID:Bvjhkxqq
だから、モナドの特質を表すものじゃないと
関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
131 ：
デフォルトの名無しさん
[sage]：2015/07/25(土) 09:34:33.91 ID:Bvjhkxqq
trace :: ((B, D) -> (C, D)) -> B -> C
trace f b = let (c, d) = f(b, d) in c
としたとき、このtraceってwell-defined？
※このページは、
『２ちゃんねる』
の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合は
メール
をしてください。対応します。