トップページ
>
プログラム
>
2016年02月02日
>
lBmePa6t
書き込み順位＆時間帯一覧
22 位
/188 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
1
0
0
0
0
0
0
0
0
0
1
1
0
0
3
使用した名前一覧
書き込んだスレッド一覧
デフォルトの名無しさん
関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
書き込みレス一覧
関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
978 ：
デフォルトの名無しさん
[sage]：2016/02/02(火) 10:15:13.59 ID:lBmePa6t
https://paiza.io/projects/6tuAv6EyXxyMfm4QkzUopg
まあこの程度のものを>>977みたいに書かれたらそりゃたまらんよな
関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
984 ：
デフォルトの名無しさん
[sage]：2016/02/02(火) 20:29:25.29 ID:lBmePa6t
>>983
１．つかないと型が合わないだろ
２．そもそも再帰的定義
「ある木に fmap f した結果は、根にfを適用し、葉の部分木にfmap fした木である」
が理解出来てるか？
関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
986 ：
デフォルトの名無しさん
[sage]：2016/02/02(火) 21:14:43.83 ID:lBmePa6t
>>985
たとえば整数の二分木（Tree Int）に
整数の偶奇性を判定する関数 even を fmap して
同じ形をしたブール値の二分木(Tree Bool)を得る場合を考えろ。
整数の（空でない）二分木は、根に値 x が収納され葉として部分木 left と right を持つので
Node x left right
という形をしている。
x の型は整数 Int で、 left と right の型は整数の二分木 Tree Int だ。
他方で、even の型は Int -> Bool なのだから、
even left とか even right という式は意味を成さない。
※このページは、
『２ちゃんねる』
の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合は
メール
をしてください。対応します。