diff options
Diffstat (limited to 'chapter18/README.ja.md')
| -rw-r--r-- | chapter18/README.ja.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter18/README.ja.md b/chapter18/README.ja.md index ad078163..e8025c92 100644 --- a/chapter18/README.ja.md +++ b/chapter18/README.ja.md @@ -86,7 +86,7 @@ val fact = { int n -> return fact(arg); ``` -パーサーは、本体をパースする前に関数の入口を登録します。`fact` への前方参照は、宣言がその関数値を受け取ると解決されます。それによって再帰呼び出しも、外からの呼び出しと同じ入口を見つけられます。この章では戻り値の型推論はまだ悲観的です。相互再帰する定義には、[第24章](../chapter24/README.ja.md)の SCCP で導入する、より強力な解析が必要なことがあります。 +パーサーは、本体をパースする前に関数の入口を登録します。`fact` への前方参照は、宣言がその関数値を受け取ると解決されます。それによって再帰呼び出しも、外からの呼び出しと同じ入口を見つけられます。この章では戻り値の型推論はまだ悲観的です。相互再帰する定義には、[第24章](../chapter24b/README.ja.md)の SCCP で導入する、より強力な解析が必要なことがあります。 ## グラフ内の関数 |