[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part19 (1001ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

964(1): 2012/10/10(水)20:19 AAS
>>963
(fst $) の型は (a, b) -> a だ。
これは、(fst $) は (a, b) 型の値に適用して a 型の値を返す、という意味だ。

あなたのプログラムでは、(fst $) を runWriter に適用している。

では、runWriter の型は (a, b) なのか？

違うよね。
runWriter の型は Writer x y -> (y, x) だ。

(fst $) は (a, b) 型の値に適用することが期待されているのに、
実際のプログラムソースでは (Writer x y -> (y, x)) 型の値に適用しようとしている。
マッチしないよ。

というのがエラーの内容だ。

で、あなたがやりたいことが getValue の型の通りだとするなら、
そこは fst $ runWriter ではなく fst . runWriter なのでは？

---

上下前次1-新書関写板覧索設栞歴

---

あと 37 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.014s