- 85 名前：デフォルトの名無しさん mailto:sage [2012/01/05(木) 00:22:26.47 ]
- >>82
> だがそれはその式を単にそのまま読んだだけだと思うんだ。
> なにが言いたいんだこの式は？
全く逆だ
「x に対して2個の変換 son と father をこの順で適用したものは x と同等である」
という、たまたま今は日本語で表された 「意味」 が何よりも先に先にある
（この意味を人に伝えるには何かの言語で表す以外ないから、たまたま日本語で表した）
この意味を数式という言語で表せば father(son(x)) = x となる
この意味を英語という言語で表せば・・・
この意味をヒンドゥー語という言語で表せば・・・お任せする
モナド則も意味が先にあって、それをHaskellの式で表す方法のひとつとして >>59 がある
他にも >>68 の様に表す方法もあるし、もしその意味を日本語で表すなら・・・
ということだ
