do は >>= の構文糖衣です。do構文の中では、<- という記号が使えるので、あたかも代入しているような形でプログラムを書いてゆくことができます。 Haskellプログラミングに少し慣れてくると、do構文を使わなくても書けるようになり、そのほうが簡潔でわかりやすいと思えることもあります(主観)。 do構文で書かれたプログラムをdoを使わない形に書き換える手順をまとめてみました。 この記事で使う、書き換えるための道具一式です。==>の左は右に置き換えられるという意味です。 -- | ---------------------------------------------------- -- | (1) do { m1 } ==> m1 -- | (2) do { m1; m2 } ==> m1 >> do { m2 } -- | (3) do { let s1; m1 s1 } ==>
![[Haskell] do構文をdoを使わない形に書き換える手順 - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/db5f20b5e72f02822c3439732896a65d478d322e/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-9f5428127621718a910c8b63951390ad.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9JTVCSGFza2VsbCU1RCUyMGRvJUU2JUE3JThCJUU2JTk2JTg3JUUzJTgyJTkyZG8lRTMlODIlOTIlRTQlQkQlQkYlRTMlODIlOEYlRTMlODElQUElRTMlODElODQlRTUlQkQlQTIlRTMlODElQUIlRTYlOUIlQjglRTMlODElOEQlRTYlOEYlOUIlRTMlODElODglRTMlODIlOEIlRTYlODklOEIlRTklQTAlODYmdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT01NiZ0eHQtY2xpcD1lbGxpcHNpcyZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPTI3MmQ3MjMzOGMxMjA0ZmZlMGYwMzFkN2ZhMzZhM2I0%26mark-x%3D142%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTYxNiZ0eHQ9JTQwc2FsdGhlYWRzJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz0xZGMyNTVlZDNjNjk5Y2NjMjg3ZjdiNzVhZTkxN2I4NA%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3D395f9f716f52347e5a229b2da2719408)