- 234 名前：デフォルトの名無しさん mailto:sage [2012/04/29(日) 18:17:44.38 ]
- >>233
……infixl 1と宣言しておきながら、事実上は右結合なんですか？
右結合って短絡可能なんですよね？
Maybeモナドでは
左にNothingなら問答無用でNothing
ってなってるけど
処理が右結合で、途中Nothingに出逢ったら
Real World Haskellではそのまま最後までNothing伝播処理が続くって書いてあった
でも僕の考える限りでは、右結合では右側が判明するまでの必要最低限の努力をするのが遅延評価だから
途中でNothingに出逢った瞬間からスタック巻き戻しのようになると思うのですが……
／＼
／＼
／＼
N ／＼
／＼
：
／＼
／＼
／＼
／＼
N
／＼
N
Nothing
