はじめに 2016/2/14 開催の hs.hs 勉強会で以下の発表をしてきました。 これから Haskell を書くにあたって さて、この内言語拡張の 1 つである Bang Patterns の説明について、誤りが発覚したため、ここで訂正も込みで再度説明しようと思います。 Bang Pattern とは 関数の引数を正格評価させるためにデザインされた言語拡張です。 使い方 特に難しい書き方や考え方が必要なわけではなく、LANGUAGE プラグマに Bang Pattern を記述し、関数の引数の直前に ! を付け加えるだけで適用できます。よく書かれる階乗計算を例にとってみましょう。 階乗計算から考える値の評価の仕方とスタック 何の変哲もない計算に見えます。しかし、気をつけなければならないことがあります。 引数の中身はパターンマッチが始まるまで評価されない 末尾再帰ではないので、このまま
![Bang Patternsについての訂正 @ 第一回 hs.hs 勉強会 - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/8d060ecfb2af399b35f3663580b22242e988d685/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-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9QmFuZyUyMFBhdHRlcm5zJUUzJTgxJUFCJUUzJTgxJUE0JUUzJTgxJTg0JUUzJTgxJUE2JUUzJTgxJUFFJUU4JUE4JTgyJUU2JUFEJUEzJTIwJTQwJTIwJUU3JUFDJUFDJUU0JUI4JTgwJUU1JTlCJTlFJTIwaHMuaHMlMjAlRTUlOEIlODklRTUlQkMlQjclRTQlQkMlOUEmdHh0LWFsaWduPWxlZnQlMkN0b3AmdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT01NiZzPWJmNGI5OWMwNWRhYzU2MzhmNGYxMDM2M2U0MGRmNjk2%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDBmdW5jLWhzJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz1lOTRkN2I4ODEwYWJiZWZkNzhjMGI1NzE5YjVjMjA3Mw%26blend-x%3D142%26blend-y%3D486%26blend-mode%3Dnormal%26s%3D5bc1a1dda42f9a348af594b1bbd4245c)