これはGHCが式を評価していたら無限ループを発生させてしまうことを検出して投げる例外なのですが、勿論全ての無限ループを検出することはできません。 またHaskellでは次のような「無限ループ」は"合法"です : というわけで、どんな無限ループなら「合法なのか」「検出できるのか」、また「どういう機構でこれを実現しているのか」という話を、GHCの実際の評価機構をJavaScriptで1作りながら適当にまとめてみようとおもいます。半分くらいは自分用メモかもしれないです。 情報源としてはSTG論文が主で、それを更に単純化したモデルを考えているため現行のGHCとはかなり異なる処理をしています。ご了承ください。 これを読むことでHaskellコードからCPUの歓声が聞こえるようになるといいなとおもいます。 値の表現 Haskellは遅延評価を行うため、「値」そのものの表現が自明な形では定まりません。遅
![Blackhole : 無限再帰停止機構 - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/efa292d8dcd5a8020a5871d884eb183919e239fa/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Fadvent-calendar-ogp-background-7940cd1c8db80a7ec40711d90f43539e.jpg%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9QmxhY2tob2xlJTIwJTNBJTIwJUU3JTg0JUExJUU5JTk5JTkwJUU1JTg2JThEJUU1JUI4JUIwJUU1JTgxJTlDJUU2JUFEJUEyJUU2JUE5JTlGJUU2JUE3JThCJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnR4dC1jb2xvcj0lMjMzQTNDM0MmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9NTYmcz0wODQwZDcwM2I4OWNkODQ1YjY4MDY1MzEzMWI5NmU4Yw%26mark-x%3D120%26mark-y%3D96%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9OTcyJnR4dD0lNDBwaGkxNiZ0eHQtY29sb3I9JTIzM0EzQzNDJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9ODIyNTFkZWY3YmJjYjU5MWZkM2Q1MzBlYWY0Njc1NDI%26blend-x%3D120%26blend-y%3D500%26blend-mode%3Dnormal%26s%3D7c84bdaf2dd3923fffad94c7230cac69)