5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

関数型プログラミング言語Haskell Part22

399 :デフォルトの名無しさん:2013/05/12(日) 20:34:45.73
>>398
せっかく例を説明していただいたのに、申し訳ないです。
よく分かりません。

> Trueはforall b.bでないので

前者の関数も b について forall なのに何故? と疑問に思ってしまいます。
(b だけではないのですが)

forall は全称量化で、全ての〜について、という意味ですよね。
後者の関数で、全ての〜について、と言っているのは a も b も(c も) だと思うのですが、
なぜ a に対する「全ての〜について」の「全て」の中には True が含まれていて、
b に対する「全ての〜について」の「全て」の中には True が含まれないのでしょうか。

225 KB
★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)