08/05/31 22:31:41
>>145
えっとねそれじゃあ
Maybe aと関数を引数に取るために
(a -> Maybe b)、この２つを与えてますよね？
関数渡すためにこう記述するしか方法がないから
そのようになっていると理解したてみたのですが
どうやら上の人曰く間違っているようで何が違うのでしょうか
Haskellはグラフ簡約によって1度に１つのTermを解釈していくだけ
なので、最終的な結果は高々１つになるはずだと思っていたのですが
どうやら違うようで混乱してきました。困った、不勉強だ困った